Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

How to simplify 1-cos(u)^2.

I have tried

sage: assume(0<u<pi/2)

But I still get

sage: simplify(1-cos(u)^2)
-cos(u)^2 + 1