WolframAlpha computational knowledge AI
(x^2-y^2-7/2)^2=(1-y^2)*(9/2-2*x)^2