O = (1.00137042778262, 1.0314218132273392)
A = (1.4904674045331034, 1.2658270841818262)
c = Circle(O, A)
C = (2.1427570468217767, 1.5828968590823338)
B' = Rotate(C, 120°, A)
f_{1} = Ray(A, B')
B = Intersect(c, f_{1}, 2)
D = Rotate(C, 60°, B)
l2 = Line(D, A)
d = Circle(O, C)
e = Circle(A, Segment[B, C])
E = Intersect(d, e, 2)
P = Point(c)
h_{2} = Circle(P, Segment[B, C])
Q = Intersect(d, h_{2}, 2)
Q' = Rotate(Q, 60°, P)
P' = Rotate(P, 60°, A)
i = Line(Q', A)
j = Line(Q, P')
R = Intersect(i, j)
F = Rotate(E, 60°, A)
l1 = Line(A, F)
k = Segment(A, R)
r = OrthogonalLine(A, l1)
l_{1} = OrthogonalLine(O, r)
M = Intersect(r, l_{1})
p = Circle(A, E, F)
N = Intersect(p, r, 2)
l = Tangent(A, p)
m = Tangent(A, c)
J = Point(m)
n = Line(J, l1)
K = Intersect(l, n)
s = Segment(J, K)
AJ = Distance(A, J)
AK = Distance(A, K)
NF = Distance(N, F)
OA = Distance(O, A)
S: (((AJ / AK * NF / OA) * M) + N) / ((AJ / AK * NF / OA) + 1)
g = Circle(A, O)
U = Mirror(S, g)
b = Line(U, l1)
R' = Mirror(R, g)
f = OrthogonalLine(A, l2)
t = OrthogonalLine(O, f)
W = Intersect(f, t)
Z = Point(f)
a = Line(Z, l2)
Y = Intersect(m, a)
g_1 = Segment(Z, Y)
AY = Distance(A, Y)
AZ = Distance(A, Z)
X: (((W * AY / AZ) * NF / OA) + A) / (1 + (AY / AZ * NF / OA))
I = Mirror(X, g)
h = Line(I, l2)