β = 0.5 (slider from 0 to 1, step 0.01)
γ: 1 / sqrt(1 - β^(2))
A: (((-β) * γ), γ)
B = Point(yAxis)
C = Point(yAxis)
D = Intersect(xAxis, yAxis)
f = Ray(D, A)
g: y = y(C)
h: y = y(B)
E = Intersect(f, g)
i = OrthogonalLine(E, f)
F = Intersect(i, h)
E' = Mirror(E, h)
c = CircleArc(F, E', E)
j = Segment(D, E)
D' = Mirror(D, h)
G = Mirror(E, h)
j' = Segment(D', G)
t = 5.720243539857784 (slider from y(E) to y(G) - 0.001, step 0.01)
H = Intersect(c, y = t)
l = Segment(F, H)
m = OrthogonalLine(H, l)
bet: 1 / Slope[m]
gam: 1 / sqrt(1 - bet^(2))
I: ((gam * bet), gam)
J: H + I
K: (gam, (bet * gam))
L: H + K
n = 3 (slider from 1 to 20, step 1)
L_1 = Sequence(H + (n * I) + (nn * K), nn, (-n), n)
L_2 = Sequence(H - (n * I) + (nn * K), nn, (-n), n)
L_3 = Sequence(H + (n * K) + (nn * I), nn, (-n), n)
L_4 = Sequence(H - (n * K) + (nn * I), nn, (-n), n)
M = Point(L_4)
N = Point(L_4)
k = Segment(M, N)
O = Point(L_1)
P_2 = Point(L_2)
p = Segment(O, P_2)
Q = Point(L_1)
R = Point(L_2)
q = Segment(Q, R)
S = Point(L_1)
T = Point(L_2)
r = Segment(S, T)
U = Point(L_1)
V = Point(L_2)
s = Segment(U, V)
W = Point(L_1)
A_1 = Point(L_3)
B_1 = Point(L_3)
b = Segment(A_1, B_1)
d = Segment(M, A_1)
C_1 = Point(L_4)
D_1 = Point(L_3)
e = Segment(C_1, D_1)
F_1 = Point(L_4)
G_1 = Point(L_4)
H_1 = Point(L_3)
g_1 = Segment(G_1, H_1)
I_1 = Point(L_3)
J_1 = Point(L_4)
h_1 = Segment(I_1, J_1)
K_1 = Point(L_4)
M_1 = Point(L_3)
i_1 = Segment(K_1, M_1)
j_1 = Segment(B_1, N)
Z = Point(L_2)
a = Segment(W, Z)
E_1 = Point(L_3)
f_1 = Segment(E_1, F_1)
N_1 = Point(L_2)
O_1 = Point(L_1)
u = Vector(N_1, O_1)
P_1 = Point(L_4)
Q_1 = Point(L_3)
v = Vector(P_1, Q_1)
P = (-0.7551330955842581, 6.084389829610954)
p_1(x) = x - x(H) + y(H)
q_1(x) = (-(x - x(H))) + y(H)