What is the integral of x^2 cos(2x)