\int_0^1 exp(-\frac{x^2}{2}) dx