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