6.23.9  Transforming arcsin into arccos: asin2acos

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

• asin2acos takes one argument:
  expr, an expression containing inverse trigonometric functions.
• asin2acos(expr) returns expr with any asins replaced by the appropriate acoss.

Example.
Input:

Output (after simplification):