Revision history [back]

Sage cannot simplify arccos, but can simplify arcsin?

I am using Sage 5.7. It can simplify expressions involving arcsin, but not arccos, why?

Thanks

assume(x > 0)
assume(x < pi/2)
acos(cos(x)).simplify_full()

output: arccos(cos(x))

asin(sin(x)).simplify_full()

output: x

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.