cos(x)*(sin(x))^2*d(sin(x))
=cos(x)^2*(sin(x))^2*d(x)
=1/4*(sin(2x))^2*d(x)
=1/8*(sin(2x))^2*d(2x)
化简到这,自己可以算了吧