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