El profesor se sorprenderá mucho al ver tu solución correcta😉
2 cos (x) = 2*(cos(x) - cos(3*x))*(cos(x) + cos(3*x))