1-int_{-3}^3 (e^{(-1/2)x^2})/sqrt(2pi)dx