\int_{0}^\infty \sin(x^2)dx