integrate 2sin(x)(cos(x))^3 wrt x