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