A = (-5.666807566491823, -2.309871510417405)
B = (0.3331924335081764, -2.309871510417405)
poly1, a, b, c, d, F, E = Polygon(A, B, 4)
α_1 = 0.6981317007977318 rad (slider from 0 to 180*°, step 0.08726646259971647)
F' = Rotate(F, α_1, E)
e = Segment(E, F')
f = Ray(E, F')
H' = Point(f)
g = Segment(E, H')
k = 0.7 (slider from 0 to 1, step 0.1)
r: (k * a)
h = Circle(E, r)
H = Intersect(h, g, 1)
i = Segment(E, H)
j = Line(H, c)
l = Line(H, d)
m = Line(F, i)
n = Line(A, i)
p = Line(B, i)
G = Intersect(j, m)
q = Line(G, l)
D = Intersect(l, n)
C = Intersect(p, q)
s = Segment(H, G)
t = Segment(G, F)
a_1 = Segment(G, C)
b_1 = Segment(C, B)
c_1 = Segment(A, D)
d_1 = Segment(D, C)
e_1 = Segment(D, H)
f_1 = Ray(A, B)
X = Point(f_1)
α = Angle(X, B, C)
g_1 = Segment(B, X)
h_1 = Segment(H, F)
i_1 = Segment(E, G)
j_1 = Segment(A, C)
k_1 = Segment(D, B)
I = Intersect(h_1, i_1)
J = Intersect(j_1, k_1)
l_1 = Line(I, J)
S = Mirror(J, I)
S' = Mirror(I, J)
m_1 = Segment(E, S)
n_1 = Segment(F, S)
p_1 = Segment(H, S)
q_1 = Segment(G, S)
r_1 = Segment(A, S')
s_1 = Segment(B, S')
t_1 = Segment(C, S')
a_2 = Segment(D, S')