Integral of x^2 cos(pi*x) dx