O = Intersect(xAxis, yAxis)
B = Point(yAxis)
a = Ray(O, B)
A = Point(a)
A' = Mirror(A, xAxis)
C = Point(xAxis)
b = Ray(O, C)
D = Point(xAxis)
c = Ray(O, D)
E = Point(c)
F = Point(b)
d = OrthogonalLine(A, yAxis)
G = Point(d)
e = Ray(A, G)
H = Point(e)
I = Point(d)
f = Ray(A, I)
J = Point(f)
H' = Mirror(H, xAxis)
J' = Mirror(J, xAxis)
g = Segment(J, H)
h = Segment(J', H')
i = Segment(H, F)
K = Midpoint(i)
j = OrthogonalLine(K, i)
L = Intersect(j, xAxis)
k = CircleArc(L, H', H)
p = CircleArc(L, H, H')
l = Segment(E, J)
M = Midpoint(l)
m = OrthogonalLine(M, l)
N = Intersect(m, xAxis)
q = CircleArc(N, J, J')
r = CircleArc(N, J', J)
Index = 1.5 (slider from 1 to 3, step 0.05)
P: (x(E) - 1.0, 0.0)
n = Ray(E, P)
Q = Point(n)
s = OrthogonalLine(Q, xAxis)
R = Intersect(s, d)
R' = Mirror(R, xAxis)
t = Segment(R', R)
S = Point(t)
T: (x(Q) - 1.0, 0.0)
a_1 = Ray(Q, T)
U = Point(a_1)
b_1 = OrthogonalLine(U, xAxis)
V = Point(b_1)
c_1 = Ray(V, S)
W, D_1 = Intersect(q, c_1)
Z, A_1 = Intersect(r, c_1)
d_1 = Segment(V, W)
e_1 = Segment(V, Z)
f_1 = Line(N, W)
g_1 = Circle(W, S)
B_1, C_1 = Intersect(g_1, f_1)
α = Angle(C_1, W, S)
E_1 = Rotate(B_1, asin(sin(α) / Index), W)
β = Angle(B_1, W, E_1)
h_1 = Ray(W, E_1)
F_1 = Intersect(k, h_1)
i_1 = Segment(W, F_1)
G_1 = Intersect(p, h_1)
j_1 = Segment(W, G_1)
k_1 = Line(N, Z)
p_1 = Circle(Z, S)
H_1, I_1 = Intersect(p_1, k_1)
γ = Angle(S, Z, H_1)
J_1 = Rotate(I_1, -asin(sin(γ) / Index), Z)
δ = Angle(J_1, Z, I_1)
l_1 = Ray(Z, J_1)
K_1 = Intersect(k, l_1)
m_1 = Segment(Z, K_1)
L_1 = Intersect(p, l_1)
n_1 = Segment(Z, L_1)
q_1 = Line(L, F_1)
r_1 = Circle(F_1, W)
M_1, N_1 = Intersect(r_1, q_1)
ε = Angle(W, F_1, M_1)
O_1 = Rotate(N_1, -asin(sin(ε) * Index), F_1)
ζ = Angle(O_1, F_1, N_1)
s_1 = Ray(F_1, O_1)
t_1 = Line(L, K_1)
c_2 = Circle(K_1, Z)
P_1, Q_1 = Intersect(c_2, t_1)
η = Angle(Z, K_1, P_1)
R_1 = Rotate(Q_1, -asin(sin(η) * Index), K_1)
θ = Angle(R_1, K_1, Q_1)
a_2 = Ray(K_1, R_1)
b_2 = Line(L, G_1)
d_2 = Circle(G_1, W)
S_1, T_1 = Intersect(d_2, b_2)
ι = Angle(T_1, G_1, W)
U_1 = Rotate(S_1, asin(sin(ι) * Index), G_1)
κ = Angle(S_1, G_1, U_1)
e_2 = Ray(G_1, U_1)
f_2 = Line(L, L_1)
g_2 = Circle(L_1, Z)
V_1, W_1 = Intersect(g_2, f_2)
λ = Angle(W_1, L_1, Z)
Z_1 = Rotate(V_1, asin(sin(λ) * Index), L_1)
μ = Angle(V_1, L_1, Z_1)
h_2 = Ray(L_1, Z_1)