[(x--1)^2=1-y^2,(x-2)^2=4-y^2,(x^2--y^2)^2=-4*((x-12)*y^2--(x--2)^3-(x--2)^2--12)]