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