WolframAlpha computational knowledge AI
solve x^2 + (x-1)^2 = 3