WolframAlpha computational knowledge AI
x^2+y^2 =2 , y=x