acos2asin a comme argument une expression trigonométrique. acos2asin transforme cette expression en remplaçant : arccos(x) par π/2−arcsin(x). On tape :
On obtient après simplification :