integral of sin(x^2)