Думаю, проще заменить

cos(x)*sin(x)=(1/2)*sin(2x),
потом по частям