Transformer avec des fonctions trigonométriques inverses en logarithmes : atrig2ln

atrig2ln réécrit l’expression contenant des fonctions trigonométriques inverses avec des logarithmes.
On tape :

atrig2ln(asin(x))

On obtient :

i*ln(x+sqrt(x^2-1))+pi/2