integral of sin(x^2) haunts me