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 :