erf(1 / sqrt(2))