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