WolframAlpha computational knowledge AI
-x1^2+x2^2 =- 1