integral of cos(x^2)