Transformer cos(x) en sin(x)/tan(x) : cos2sintan

6.25.16 Transformer cos(x) en sin(x)/tan(x) : cos2sintan

cos2sintan a comme argument une expression trigonométrique.
cos2sintan transforme cette expression en remplaçant :
cos(x) par sin(x)/tan(x).
On tape :

cos2sintan(cos(2*x))

On obtient :

sin(2*x)/tan(2*x)