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