integrate erf(x)