What is the antiderivative of #cos(x^2)#?