1

2

3

4

5

6

7

1

2

1

7

7

2

2

3

3

3

3

4

4

4

5

5

6

6

6

6

7

7

A = Intersect(xAxis, yAxis)
B = Point(yAxis)
f = Segment(A, B)
g = OrthogonalLine(B, f)
C = Point(g)
h = OrthogonalLine(C, g)
i = OrthogonalLine(A, f)
D = Point(f)
c = Circle(A, D)
E = Point(i)
d = Circle(A, E)
F = Point(c)
e = Circle(E, 4.5)
j = Segment(A, F)
k = Line(E, j)
l = OrthogonalLine(F, j)
G = Intersect(k, l)
m = Segment(F, G)
n = Segment(G, E)
H = Intersect(h, i)
p = Segment(E, H)
q = Segment(H, C)
r = Segment(C, B)
s, t = AngularBisector(p, q)
a_{2}, b = AngularBisector(n, m)
f_1 = Line(F, a_{2})
I = Intersect(b, f_1)
g_1 = Segment(F, I)
h_1 = Segment(I, G)
i_1 = Line(I, n)
j_1, k_1 = AngularBisector(n, p)
l_1, m_1 = AngularBisector(f, j)
J = Intersect(i_1, l_1)
n_1 = Segment(A, J)
p_1 = Segment(I, J)
q_1 = Line(C, s)
r_1 = Line(B, t)
K = Intersect(t, q_1)
s_1 = Segment(C, K)
t_1 = Segment(K, H)
a_1 = Line(K, r)
b_1 = Line(A, s_1)
L = Intersect(r_1, a_1)
c_1 = Segment(K, L)
d_1 = Segment(L, B)
M = Intersect(k_1, b_1)
e_1 = Segment(L, M)
f_2 = Segment(M, E)
g_2 = Segment(M, J)
N = Point(n)
h_2 = OrthogonalLine(N, n)
i_2 = OrthogonalLine(I, m)
O = Point(j)
j_2 = OrthogonalLine(O, j)
P = Point(f)
k_2 = OrthogonalLine(P, f)
Q = Point(r)
l_2 = OrthogonalLine(Q, r)
R = (4.269599532450893, 0.030120405297318756)
m_2 = OrthogonalLine(R, p)
S = Point(m_2)
T = Point(m_2)
u = Vector(S, T)
U = Point(k_2)
V = Point(k_2)
v = Vector(U, V)
W = Point(l_2)
Z = Point(l_2)
w = Vector(W, Z)
A_1 = Point(k_2)
B_1 = Point(k_2)
u_1 = Vector(A_1, B_1)
C_1 = Point(h_2)
D_1 = Point(h_2)
v_1 = Vector(C_1, D_1)
E_1 = Point(j_2)
F_1 = Point(j_2)
w_1 = Vector(E_1, F_1)
G_1 = Point(i_2)
H_1 = Point(i_2)
u_2 = Vector(G_1, H_1)
a = 0 (slider from 0 to 8, step 1)
I_1 = Intersect(f, j)
J_1 = Intersect(f, r)
n_2 = Line(I_1, J_1)
K_1 = Intersect(n, p)
L_1 = Intersect(m, n)
p_2 = Line(K_1, L_1)
M_1 = Intersect(n_2, p_2)
q_2 = Segment(L_1, M_1)
r_2 = Segment(M_1, I_1)
N_1 = Intersect(n_1, p_1)
s_2 = Segment(N_1, M_1)
O_1 = Intersect(q_2, r_2)
P_1 = Point(q_2)
c_2 = Circle(O_1, P_1)
Q_1 = Intersect(c_2, r_2, 1)
d_2 = CircleArc(O_1, P_1, Q_1)