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