\int_{-\infty}^\infty e^{-t^2}\,dt=2\int_0^\infty e^{-t^2}\,dt