int sin(t^2) dt, t=0..pi/2