A = Intersect(xAxis, yAxis)
B = Point(xAxis)
F = Rotate(B, 90°, A)
C = Rotate(A, 90°, F)
CF = Segment(F, C)
D = Point(CF)
DD: D
f = Segment(F, A)
g = Segment(A, B)
h = Segment(C, B)
E = Rotate(D, 90°, Midpoint[D, F])
i = Segment(E, D)
j = Segment(E, F)
k = Segment(D, C)
l = Segment(E, B)
M = Rotate(E, 90°, Midpoint[B, E])
m = Segment(E, M)
n = Segment(M, B)
P = Mirror(M, l)
p = Segment(C, P)
q = Segment(E, P)
r = Segment(P, B)
t1, m_1, e, f_1 = Polygon(E, F, M)
t2, d, e_1, p_1 = Polygon(E, P, D)
t3, b, m_2, a = Polygon(M, A, B)
t4, b_1, c, p_2 = Polygon(C, P, B)
G = Midpoint(E, B)
s = Segment(G, M)