AnimT(x) = If[x < 0, 0, If[x < 1, cos(π / 2 - (π / 2 * x))^(2), 1]]
time = 1.04 (slider from -0.2 to 1.2, step 0.01)
u: AnimT(time)
A = (-1, 2)
B = (1, 2)
poly1, f, g, h, i, j, k, C, D, E, F = Polygon(A, B, 6)
c_1 = Circle(E, 2 / 3)
U = Intersect(c_1, j)
V = (-2.993501020406668, 3.1585046015441463)
theLine = Segment(U, V)
G = (-2.1558305563812814, 4.499418952736123)
poly2, l, m, n, p, q, r, H, I, J, K = Polygon(E, G, 6)
s = Segment(J, C)
L = Midpoint(s)
L' = Rotate(L, 60°, J)
poly3, t, b, c, d, e, f_1, M, N, O, P = Polygon(L', J, 6)
poly4, g_1, h_1, i_1, j_1, k_1, l_1, Q, R, S, T = Polygon(H, A, 6)
o: poly4 / poly3
W: (x(G), y(G))
a: poly3 / poly1