integrate sin(x)*(cos(x))^3 dx