antiderivative of cos(x^2)