9.2.9 Transforming arcsin into arccos
The asin2acos command
transforms any asins in an expression to acoss,
using the identity arcsin(x)=π/2−arccos(x).
-
asin2acos takes
expr, an expression containing inverse trigonometric functions.
- asin2acos(expr) returns
expr with any asins replaced by the appropriate acoss.
Example
asin2acos(acos(x)+asin(x)) |
Output (after simplification):