integrate x cos(x^2) dx, x=0..sqrt(pi)