((x^2-4*y^2)^2=32*(x^2--4*(y^2-2)))&(x^2--12*y^2-12=0)