WolframAlpha computational knowledge AI
solve e^x=1 over the reals