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