O = (0, 0)
A: (1, 0)
c = Circle(O, A)
C: (2, 0)
d = Circle(O, C)
C' = Rotate(C, 120°, A)
g = Ray(A, C')
B = Intersect(c, g, 2)
e = Circle(A, Segment[B, C])
G = Intersect(d, e, 2)
f = Segment(A, G)
h = Segment(B, C)
i = AngularBisector(B, A, G)
D = Rotate(C, 60°, B)
j = Segment(B, D)
k = Segment(D, C)
p = Circle(O, D)
E = Intersect(p, i, 2)
F = Intersect(p, i, 1)
q = Circle(D, B, C)
q' = Rotate(q, Angle[D, O, E], O)
q'_{1} = Rotate(q, Angle[D, O, F], O)
H = Intersect(q', i, 1)
I = Intersect(q'_{1}, i, 2)
J = Midpoint(H, I)
K = Point(c)
s = Circle(K, h)
L = Intersect(d, s, 2)
l = Segment(K, L)
R = TriangleCenter(A, K, L, 13)
n = Line(A, R)
r = OrthogonalLine(J, n)
M = Intersect(n, r)
t = Segment(M, J)
a = Segment(R, M)
m = Segment(H, J)
b = Segment(E, H)
f_1 = Segment(J, F)
g_1 = Segment(M, A)
h_1 = Segment(O, C)
eq1: -4 + (8 * x) + (3 * x^(2)) - (14 * x^(3)) + (7 * x^(4)) - (((2 * sqrt(3)) * x) * y) + (((2 * sqrt(3)) * x^(2)) * y) - (3 * y^(2)) - ((14 * x) * y^(2)) + ((14 * x^(2)) * y^(2)) + ((2 * sqrt(3)) * y^(3)) + (7 * y^(4)) = 0
i_1 = Line(A, Vector[(1, sqrt(3))])
j_1 = Line(A, Vector[(1, -1 / sqrt(3))])
c_1 = Circle(A, 1)
R' = Mirror(R, c_1)
eq2: -4 + (8 * x) + (3 * x^(2)) + (((2 * sqrt(3)) * x) * y) - (3 * y^(2)) = 0