2 корня из 2 sin2,5+sin3x=cos3x+корень из 2решить уравнение

Cos(2x)=2cos^2(x)-1,
cos(3x)=4cos^3(x)-3cos(x),
подставляем и получаем
32cos^6(x)-40cos^4(x)+12cos^2(x)-1=0.
Обозначим z=2cos^2(x), тогда
4z^3-10z^2+6z-1=0.
Сейчас обычной подстановкой разгадываем 1-й ответ: z=1/2, означает
(2z-1)(2z^2-4z+1)=0.
Означает,
z1=1/2, z2=1+Sqrt[1/2], z3=1-Sqrt[1/2