### 6.23.13 Transformer les exponentielles complexes en sin et en cos : `sincos exp2trig`

`sincos` ou `exp2trig` a comme argument une expression contenant des exponentielles complexes.
`sincos` ou `exp2trig` transforme cette expression en fonction de sin(x) et de cos(x).
On tape :

`sincos(exp(i*x))`

On obtient :

`cos(x)+(i)*sin(x)`

On tape :

`exp2trig(exp(-i*x))`

On obtient :

`cos(x)+(i)*(-(sin(x)))`

On tape :

`simplify(sincos(((i)*(exp((i)*x))```^```2-i)/(2*exp((i)*x))))`

Ou on tape :

`simplify(exp2trig(((i)*(exp((i)*x))```^```2-i)/(2*exp((i)*x))))`

On obtient :

`-sin(x)`