integral e^(-x^2/2) from -inf to z expand at -inf