E = (6, 2)
F = (5, 2)
E' = Rotate(E, 30°, F)
e = Circle(E', 1)
f = Line(F, E)
g = Line(E', f)
G = Intersect(e, g, 2)
G' = Rotate(G, 30°, E')
i = Line(G', g)
J = Intersect(e, i, 1)
u = Vector(G', J)
t = 0.04 (slider from 0 to 1, step 0.01)
animT(x) = 1 - (sin((pi / 2 * x) - pi / 2))^(4)
K: G' + (u * animT(t))
A = (5, 2)
B = (5, 3)
C = (6, 3)
D = (6, 2)
q1, a, b, c, d = Polygon(A, B, C, D)
α = Angle(E, F, E')
q2, f_1, e', g_1, e_1 = Polygon(F, E', G, E)
β = Angle(G, E', G')
h = Circle(G', 1)
H = Intersect(h, i, 2)
q3, g_2, j, g', h_1 = Polygon(G, E', G', H)
I = Point(i)
v = Vector(H, I)
L: K + (1, 0)
q4, f_2, e_2, l, k = Polygon(F, E, L, K)
M = (6.526221890860319, 1.2494040137847031)
N = (7.787806086769375, 1.2353864116079358)