Constr

A = (0.7645989223358276, 0.8640137240855293)
E = (3.5681751789080276, 0.787552553451742)
D = Rotate(A, -90°, E)
KK = Segment(Dilate[A, 0.50001, E], Dilate[A, 1.999, E])
K = Point(KK)
dk = Line(K, D)
AE = Segment(A, E)
DE = Segment(D, E)
cd = Line(D, Mirror[E, dk])
c = Circle(A, E, D)
I = Intersect(c, cd, 2)
ab = Line(I, A)
J = Intersect(dk, ab)
AK = Segment(K, A)
A' = Rotate(A, -90°, I)
E' = Mirror(E, dk)
u = Vector(A', E')
M = Translate(I, u)
J' = Rotate(J, -90°, I)
v = Vector(J', D)
N = Translate(I, v)
f = Segment(J, N)
g = Line(M, f)
B = Intersect(ab, g)
h = Line(B, dk)
C = Intersect(cd, h)
i = Segment(E', E)
j = Segment(J', J)
k = Segment(A', A)
a = false
l = Segment(A, B)
m = Segment(B, C)
n = Segment(C, D)
poly1, a_1, b, c_1, d, e = Polygon(A, B, C, D, E)
A'_{1} = Rotate(A, 90°, E)
B' = Rotate(B, 90°, E)
C' = Rotate(C, 90°, E)
D' = Rotate(D, 90°, E)
E'_{1} = Rotate(E, 90°, E)
poly1', a'_{1}, b', c', d', e'_{1} = Polygon(A'_{1}, B', C', D', E'_{1})
F = Rotate(A'_{1}, 90°, E)
B'' = Rotate(B', 90°, E)
C'' = Rotate(C', 90°, E)
D'' = Rotate(D', 90°, E)
G = Rotate(E'_{1}, 90°, E)
poly1'', f_1, b'', c'', d'', g_1 = Polygon(F, B'', C'', D'', G)
F' = Rotate(F, 90°, E)
B''' = Rotate(B'', 90°, E)
C''' = Rotate(C'', 90°, E)
D''' = Rotate(D'', 90°, E)
G' = Rotate(G, 90°, E)
poly1''', f', b''', c''', d''', g' = Polygon(F', B''', C''', D''', G')
w = Vector(C, B'')
A'_{2} = Translate(A, w)
B'_{1} = Translate(B, w)
C'_{1} = Translate(C, w)
D'_{1} = Translate(D, w)
E'_{2} = Translate(E, w)
poly1'_{1}, a'_{2}, b'_{1}, c'_{1}, d'_{1}, e'_{2} = Polygon(A'_{2}, B'_{1}, C'_{1}, D'_{1}, E'_{2})
H = Translate(A'_{1}, w)
B''_{1} = Translate(B', w)
C''_{1} = Translate(C', w)
D''_{1} = Translate(D', w)
L = Translate(E'_{1}, w)
poly1''_{1}, h_1, b''_{1}, c''_{1}, d''_{1}, l_1 = Polygon(H, B''_{1}, C''_{1}, D''_{1}, L)
F'' = Translate(F', w)
O = Translate(B''', w)
P = Translate(C''', w)
Q = Translate(D''', w)
G'' = Translate(G', w)
poly2, f'', o, p, q, g'' = Polygon(F'', O, P, Q, G'')
F'_{1} = Translate(F, w)
B'''_{1} = Translate(B'', w)
C'''_{1} = Translate(C'', w)
D'''_{1} = Translate(D'', w)
G'_{1} = Translate(G, w)
poly1'''_{1}, f'_{1}, b'''_{1}, c'''_{1}, d'''_{1}, g'_{1} = Polygon(F'_{1}, B'''_{1}, C'''_{1}, D'''_{1}, G'_{1})
R = Mirror(A'_{1}, b')
B''_{2} = Mirror(B', b')
C''_{2} = Mirror(C', b')
D''_{2} = Mirror(D', b')
T = Mirror(E'_{1}, b')
poly1''_{2}, r, b''_{2}, c''_{2}, d''_{2}, t = Polygon(R, B''_{2}, C''_{2}, D''_{2}, T)
s = Vector(B'', T)
A'_{3} = Translate(A, s)
B'_{2} = Translate(B, s)
C'_{2} = Translate(C, s)
D'_{2} = Translate(D, s)
E'_{3} = Translate(E, s)
poly1'_{2}, a'_{3}, b'_{2}, c'_{2}, d'_{2}, e'_{3} = Polygon(A'_{3}, B'_{2}, C'_{2}, D'_{2}, E'_{3})
F''_{1} = Translate(F', s)
U = Translate(B''', s)
V = Translate(C''', s)
W = Translate(D''', s)
G''_{1} = Translate(G', s)
poly3, f''_{1}, u_1, v_1, w_1, g''_{1} = Polygon(F''_{1}, U, V, W, G''_{1})
Z = Translate(A'_{1}, s)
B''_{3} = Translate(B', s)
C''_{3} = Translate(C', s)
D''_{3} = Translate(D', s)
A_1 = Translate(E'_{1}, s)
poly1''_{3}, z_1, b''_{3}, c''_{3}, d''_{3}, i_1 = Polygon(Z, B''_{3}, C''_{3}, D''_{3}, A_1)
F'_{2} = Translate(F, s)
B'''_{2} = Translate(B'', s)
C'''_{2} = Translate(C'', s)
D'''_{2} = Translate(D'', s)
G'_{2} = Translate(G, s)
poly1'''_{2}, f'_{2}, b'''_{2}, c'''_{2}, d'''_{2}, g'_{2} = Polygon(F'_{2}, B'''_{2}, C'''_{2}, D'''_{2}, G'_{2})
B_1 = Midpoint(B', R)
R' = Mirror(R, B_1)
C_1 = Mirror(B''_{2}, B_1)
D_1 = Mirror(C''_{2}, B_1)
E_1 = Mirror(D''_{2}, B_1)
T' = Mirror(T, B_1)
poly4, r', j_1, d_1, e_1, t' = Polygon(R', C_1, D_1, E_1, T')
H' = Mirror(H, b''_{1})
F_1 = Mirror(B''_{1}, b''_{1})
G_1 = Mirror(C''_{1}, b''_{1})
H_1 = Mirror(D''_{1}, b''_{1})
L' = Mirror(L, b''_{1})
poly5, h', k_1, m_1, n_1, l' = Polygon(H', F_1, G_1, H_1, L')
I_1 = Translate(F''_{1}, w)
U' = Translate(U, w)
V' = Translate(V, w)
W' = Translate(W, w)
J_1 = Translate(G''_{1}, w)
poly3', p_1, u', v', w', q_1 = Polygon(I_1, U', V', W', J_1)
K_1 = Translate(A'_{3}, w)
L_1 = Translate(B'_{2}, w)
M_1 = Translate(C'_{2}, w)
N_1 = Translate(D'_{2}, w)
O_1 = Translate(E'_{3}, w)
poly6, r_1, s_1, t_1, b_1, o_1 = Polygon(K_1, L_1, M_1, N_1, O_1)
Z' = Translate(Z, w)
P_1 = Translate(B''_{3}, w)
Q_1 = Translate(C''_{3}, w)
R_1 = Translate(D''_{3}, w)
S_1 = Translate(A_1, w)
poly7, z', f_2, g_2, h_2, i_2 = Polygon(Z', P_1, Q_1, R_1, S_1)
T_1 = Translate(F'_{2}, w)
U_1 = Translate(B'''_{2}, w)
V_1 = Translate(C'''_{2}, w)
W_1 = Translate(D'''_{2}, w)
Z_1 = Translate(G'_{2}, w)
poly8, j_2, k_2, l_2, m_2, n_2 = Polygon(T_1, U_1, V_1, W_1, Z_1)
A_2 = Mirror(F''_{1}, u_1)
U'_{1} = Mirror(U, u_1)
V'_{1} = Mirror(V, u_1)
W'_{1} = Mirror(W, u_1)
B_2 = Mirror(G''_{1}, u_1)
poly3'_{1}, a_2, u'_{1}, v'_{1}, w'_{1}, b_2 = Polygon(A_2, U'_{1}, V'_{1}, W'_{1}, B_2)
S = Midpoint(A_2, U)
C_2 = Mirror(A_2, S)
D_2 = Mirror(U'_{1}, S)
E_2 = Mirror(V'_{1}, S)
F_2 = Mirror(W'_{1}, S)
G_2 = Mirror(B_2, S)
poly9, c_2, d_2, e_2, p_2, q_2 = Polygon(C_2, D_2, E_2, F_2, G_2)
ww: (-w)
A'_{4} = Translate(A, ww)
B'_{3} = Translate(B, ww)
C'_{3} = Translate(C, ww)
D'_{3} = Translate(D, ww)
E'_{4} = Translate(E, ww)
poly1'_{3}, a'_{4}, b'_{3}, c'_{3}, d'_{3}, e'_{4} = Polygon(A'_{4}, B'_{3}, C'_{3}, D'_{3}, E'_{4})
F''_{2} = Translate(F', ww)
H_2 = Translate(B''', ww)
I_2 = Translate(C''', ww)
J_2 = Translate(D''', ww)
G''_{2} = Translate(G', ww)
poly10, f''_{2}, r_2, s_2, t_2, g''_{2} = Polygon(F''_{2}, H_2, I_2, J_2, G''_{2})
K_2 = Translate(A'_{1}, ww)
B''_{4} = Translate(B', ww)
C''_{4} = Translate(C', ww)
D''_{4} = Translate(D', ww)
L_2 = Translate(E'_{1}, ww)
poly1''_{4}, f_3, b''_{4}, c''_{4}, d''_{4}, g_3 = Polygon(K_2, B''_{4}, C''_{4}, D''_{4}, L_2)
F'_{3} = Translate(F, ww)
B'''_{3} = Translate(B'', ww)
C'''_{3} = Translate(C'', ww)
D'''_{3} = Translate(D'', ww)
G'_{3} = Translate(G, ww)
poly1'''_{3}, f'_{3}, b'''_{3}, c'''_{3}, d'''_{3}, g'_{3} = Polygon(F'_{3}, B'''_{3}, C'''_{3}, D'''_{3}, G'_{3})