What is the integral of #int [x * cos(x^2)](dx)#?