I noticed that GiNaC does not apply the simplification:
cos(x)^2+sin(x)^2 = 1 for any x in R
Is there any way for me to force this substitution in my expressions? That would greatly simplify them...