C = (10, 0)
A = (0, 0)
ee = Segment(A, C)
E = Point(ee)
dis = Distance(A, E)
a = 0 (slider from 0 to 5, step 0.01)
i: (1 + sgn(4 - a + 0.001)) / 2
f: (1 + sgn(1 - a + 0.001)) / 2
g: (1 + sgn(2 - a + 0.001)) / 2
h: (1 + sgn(3 - a + 0.001)) / 2
d3: (1 - f) * (1 - g) h i
d1: f g h i
d5: (1 - f) * (1 - g) * (1 - h) * (1 - i)
d2: (1 - f) g h i
d4: (1 - f) * (1 - g) * (1 - h) i
c: d2 * (a - 1) + d3 + d4 + d5
d: d3 * (a - 2) + d4 + d5
B: A + (0, dis)
hh = Segment(A, B)
D = Point(hh)
P, e_1, a_1, d_1 = Polygon(A, D, E)
F: A - (e_1, 0)
G: F + (0, e_1)
Q, d_2, g_1, f_1, a_2 = Polygon(D, G, F, A)
H: A - (0, d_1)
I: E - (0, d_1)
J = Midpoint(E, H)
ii = Line(D, E)
j = OrthogonalLine(J, ii)
k = OrthogonalLine(J, j)
l = Line(A, E)
m = Line(E, I)
n = Line(I, H)
p = Line(H, A)
K = Intersect(p, k)
L = Intersect(l, j)
M = Intersect(m, k)
N = Intersect(n, j)
R, k_1, j_1, l_1, a_3 = Polygon(K, J, L, A)
S, j_2, m_1, e_2, l_2 = Polygon(J, M, E, L)
T, n_1, i_1, m_2, j_3 = Polygon(N, I, M, J)
U, k_2, h_1, n_2, j_4 = Polygon(K, H, N, J)
b: d1 a + d2 + d3 + d4 + d5
e: d4 * (a - 3) + d5
ff: d5 * (a - 4)
u: b Vector[J, D]
J' = Translate(J, u)
M' = Translate(M, u)
E' = Translate(E, u)
L' = Translate(L, u)
S', j', m', e', l' = Polygon(J', M', E', L')
v: c Vector[N, L']
N' = Translate(N, v)
I' = Translate(I, v)
M'_1 = Translate(M, v)
J'_1 = Translate(J, v)
T', n', i', m'_1, j'_1 = Polygon(N', I', M'_1, J'_1)
w: d Vector[K, M']
K' = Translate(K, w)
J'_2 = Translate(J, w)
L'_1 = Translate(L, w)
A' = Translate(A, w)
R', k', j'_2, l'_1, a' = Polygon(K', J'_2, L'_1, A')
z: e Vector[K, M'_1]
K'_1 = Translate(K, z)
H' = Translate(H, z)
N'_1 = Translate(N, z)
J'_3 = Translate(J, z)
U', k'_1, h', n'_1, j'_3 = Polygon(K'_1, H', N'_1, J'_3)
q: ff Vector[G, E']
D' = Translate(D, q)
G' = Translate(G, q)
F' = Translate(F, q)
A'_1 = Translate(A, q)
Q', d', g', f', a'_1 = Polygon(D', G', F', A'_1)