What is the integral of int x^3 cos(x^2) dx ?