Previous Up Next

5.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