e^-1/2x^2的原函数是什么?