antiderivative of e^((-x^2)/2)??

That integral is related to a special function called the error function, sometimes called erf(x). In your case it would be (sqrt 2)*erf(x/sqrt2)