int (exp(x^2/2) dx