asin2acos takes as argument an expression containing inverse trigonometric functions. asin2acos replaces arcsin(x) by π/2−arccos(x) in this expression. Input:
Output after simplification: