Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Works for me (Sagemath 8.7):

sage: (cos(x)^2-1).simplify_trig()
-sin(x)^2

similarly :

sage: (sin(x)^2/(1-cos(x)^2)).simplify().simplify_trig()
1
sage: (sin(x)^2/(1-cos(x)^2)).simplify_trig()
1

Note that:

sage: (cos(x)^2-1).trig_reduce()
1/2*cos(2*x) - 1/2

might be more useful...

What are you using ?