sqrt(x^2+(y - 3)^2) - sqrt(x^2+(y+3)^2) == 1