integrate sin(pi*t^2/2) dt, t= 0..x