WolframAlpha computational knowledge AI
solve x^2 + x - 1 = 0 for x