WolframAlpha computational knowledge AI
solve li(x)=erf(x)