WolframAlpha computational knowledge AI
solve x^2=9