Спасибо за помощь. Решил.
Второй вариант
(преобразование sin(a)*cos(b ) = 1/2*(sin(a-b )+sin(a+b )) оказался гораздо лучше.
В первом пришлось бы делать большие преобразование выражения
cos8x = 8(cos2x)^4 - 8cos(2x)^2 + 1 и вычислять его.