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