integral sin(pi x^2) from 0 to 1