Λημνίσκος

eq1: x^(2) - y^(2) = 1
eq2: x^(2) + y^(2) = 1
eq1' = Mirror(eq1, eq2)