4 →

C: (0, 0)
K = Point(yAxis)
I = Point(xAxis)
k = Ray(C, I)
B = Point(k)
r = Circle(C, B)
J, L = Intersect(r, yAxis)
s = Ray(L, K)
seg = Segment(C, B)
perp = OrthogonalLine(C, seg)
A = Point(s)
tri, b, c, a = Polygon(C, B, A)
A' = Rotate(A, -90°, B)
d = Line(C, B)
e = OrthogonalLine(A', d)
D = Intersect(d, e)
poly1, d_1, b_1, a'_5 = Polygon(B, A', D)
poly2, f, g, h, i, E, F = Polygon(A, C, 4)
j = OrthogonalLine(A', h)
G = Intersect(j, h)
poly4, a_1, b_2, a'_2, g_2, f_1 = Polygon(A, B, A', G, F)
slider = 1 (slider from 0 to 1, step 0.01)
A'' = Dilate(A', slider, B)
A'_1 = Dilate(A, slider, B)
u = Vector(B, A'')
v = Vector(B, A'_1)
C' = Translate(C, u)
B' = Translate(B, u)
A'_2 = Translate(A, u)
tri', a'_3, c', b' = Polygon(C', B', A'_2)
B'_1 = Translate(B, v)
A''_1 = Translate(A', v)
D' = Translate(D, v)
poly1', d', b'_1, a''_1 = Polygon(B'_1, A''_1, D')
p = LineBisector(c)
q = LineBisector(C, D)
H = Intersect(p, q)
M = (5.1733333333333436, 2.1533088106498504)
N = Point(Circle[M, Segment[A, B]])
O = Rotate(N + (Segment[B, A'], 0), Angle[A' - B] + Angle[N - M] - Angle[B - A], N)
P = Rotate(O + (Segment[A', G], 0), Angle[G - A'] + Angle[O - N] - Angle[A' - B], O)
Q = Rotate(P + (Segment[G, F], 0), Angle[F - G] + Angle[P - O] - Angle[G - A'], P)
poly5, m_1, n_1, o, p_1, q_1 = Polygon(M, N, O, P, Q)
R = (2.018181818181818, 3.181818181818182)
S = Point(Circle[R, Segment[C', B']])
T = Rotate(S + (Segment[B', A'_2], 0), Angle[A'_2 - B'] + Angle[S - R] - Angle[B' - C'], S)
t1, t, r_1, s_1 = Polygon(R, S, T)
U = (2.7575757575757613, 4.478787878787877)
V = Point(Circle[U, Segment[B'_1, A''_1]])
W = Rotate(V + (Segment[A''_1, D'], 0), Angle[D' - A''_1] + Angle[V - U] - Angle[A''_1 - B'_1], V)
t2, w, u_1, v_1 = Polygon(U, V, W)