solve erf(x)+2x=1