how to construct a ex in GiNaC