Previous Up Next

6.23.7  Transforming arccos into arcsin: acos2asin

The acos2asin command transforms any acoss in an expression to asins, using the identity arccos(x) = π/2 − arcsin(x).


Example.
Input:

acos2asin(acos(x)+asin(x))

Output (after simplification):

π
2

Previous Up Next