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