Objectif se débarrasser de la fonction arctan. On pose donc

On a donc :

La décomposition de la fraction rationnelle correspondante conduit à l'égalité :

(ce qui revient à prendre comme variable).

D'où