solve (1 + erf(1/(x * sqrt(2))))/2 = 0.8