asked 7 years ago
I have tried
sage: assume(0<u<pi/2)
But I still get
sage: simplify(1-cos(u)^2) -cos(u)^2 + 1