x√(π/2)erf(x/√2)-∫√(π/2)erf(x/√2)dx
=x√(π/2)erf(x/√2)-√(π/2)xerf(x/√2)-e^(-x^2/2)+C
=-e^(-x^2/2)+C