int_0^sqrt{pi/2} cos(t^2) dt