antiderivative of sin(x^2)