integrate cos(a*x^2) dx from 0 to infty