integrate cos(x^2), x=0..1