O = (0, 0)
c = Circle(O, 1)
A = Point(c)
C = Mirror(A, O)
D = Mirror(C, yAxis)
x_1: x(A)
y_1: y(A)
B = Mirror(A, yAxis)
x_2: x(B)
y_2: y(B)
x_3: x(C)
y_3: y(C)
x_4: x(D)
y_4: y(D)
eq1: x^(4) - (x_1 * x^(3)) - (x_2 * x^(3)) - (x_3 * x^(3)) - (x_4 * x^(3)) + ((2 * y^(2)) * x^(2)) + ((x_1 * x_2) * x^(2)) + ((x_1 * x_3) * x^(2)) + ((x_2 * x_3) * x^(2)) + ((x_1 * x_4) * x^(2)) + ((x_2 * x_4) * x^(2)) + ((x_3 * x_4) * x^(2)) - ((y * y_1) * x^(2)) - ((y * y_2) * x^(2)) + ((y_1 * y_2) * x^(2)) - ((y * y_3) * x^(2)) - ((y_1 * y_3) * x^(2)) + ((y_2 * y_3) * x^(2)) - ((y * y_4) * x^(2)) + ((y_1 * y_4) * x^(2)) - ((y_2 * y_4) * x^(2)) + ((y_3 * y_4) * x^(2)) - ((y^(2) * x_1) * x) - ((y^(2) * x_2) * x) - ((y^(2) * x_3) * x) - (((x_1 * x_2) * x_3) * x) - ((y^(2) * x_4) * x) - (((x_1 * x_2) * x_4) * x) - (((x_1 * x_3) * x_4) * x) - (((x_2 * x_3) * x_4) * x) + ((((2 * y) * x_3) * y_1) * x) + ((((2 * y) * x_4) * y_2) * x) - (((x_3 * y_1) * y_2) * x) - (((x_4 * y_1) * y_2) * x) + ((((2 * y) * x_1) * y_3) * x) + (((x_2 * y_1) * y_3) * x) + (((x_4 * y_1) * y_3) * x) - (((x_1 * y_2) * y_3) * x) - (((x_4 * y_2) * y_3) * x) + ((((2 * y) * x_2) * y_4) * x) - (((x_2 * y_1) * y_4) * x) - (((x_3 * y_1) * y_4) * x) + (((x_1 * y_2) * y_4) * x) + (((x_3 * y_2) * y_4) * x) - (((x_1 * y_3) * y_4) * x) - (((x_2 * y_3) * y_4) * x) + y^(4) + ((y^(2) * x_1) * x_2) - ((y^(2) * x_1) * x_3) + ((y^(2) * x_2) * x_3) + ((y^(2) * x_1) * x_4) - ((y^(2) * x_2) * x_4) + ((y^(2) * x_3) * x_4) + (((x_1 * x_2) * x_3) * x_4) - (y^(3) * y_1) - (((y * x_2) * x_3) * y_1) + (((y * x_2) * x_4) * y_1) - (((y * x_3) * x_4) * y_1) - (y^(3) * y_2) + (((y * x_1) * x_3) * y_2) - (((y * x_1) * x_4) * y_2) - (((y * x_3) * x_4) * y_2) + ((y^(2) * y_1) * y_2) + (((x_3 * x_4) * y_1) * y_2) - (y^(3) * y_3) - (((y * x_1) * x_2) * y_3) - (((y * x_1) * x_4) * y_3) + (((y * x_2) * x_4) * y_3) + ((y^(2) * y_1) * y_3) - (((x_2 * x_4) * y_1) * y_3) + ((y^(2) * y_2) * y_3) + (((x_1 * x_4) * y_2) * y_3) - (((y * y_1) * y_2) * y_3) - (y^(3) * y_4) - (((y * x_1) * x_2) * y_4) + (((y * x_1) * x_3) * y_4) - (((y * x_2) * x_3) * y_4) + ((y^(2) * y_1) * y_4) + (((x_2 * x_3) * y_1) * y_4) + ((y^(2) * y_2) * y_4) - (((x_1 * x_3) * y_2) * y_4) - (((y * y_1) * y_2) * y_4) + ((y^(2) * y_3) * y_4) + (((x_1 * x_2) * y_3) * y_4) - (((y * y_1) * y_3) * y_4) - (((y * y_2) * y_3) * y_4) + (((y_1 * y_2) * y_3) * y_4) = 0
eq2: x^4 + 2x^2 y^2 - 1.4142135623730951x^2 + y^4 + 1.4142135623730951y^2 = 0
eq2: (x^(2) + y^(2))^(2) = (sqrt(2) * (x^(2) - y^(2)))