Можно так. Домножить обе части на sinx, потом синус двойного угла, потом опять обечасти на cos2x, опять синус двойного угла. В итоге у меня получилось (проверьте, не уверена):
sin(8x)*cos(5x)=sinx*cos(2x).
Потом произведения преобразовываем в суммы, и дальше уже просто.