WolframAlpha computational knowledge AI
x^2-x-ln(2)=0