WolframAlpha computational knowledge AI
real solve x^2-1=lnx