antiderivative of x^2*cos(x) dx