A = Point(xAxis)
B = Point(xAxis)
a = Line(A, B)
c = Semicircle(B, A)
C = Midpoint(A, B)
b = OrthogonalLine(C, a)
d = Line(A, b)
e = Line(B, b)
D = Point(d)
f = 2.5
g = Circle(C, f)
E = Intersect(g, a, 2)
F = Intersect(g, a, 1)
h = OrthogonalLine(D, d)
G = Intersect(e, h)
H = Rotate(G, 29.999999999999996°, D)
α = Angle(G, D, H)
i = Line(D, H)
I = Intersect(b, i)
j = Line(E, b)
k = Line(F, b)
l = Line(I, G)
m = OrthogonalLine(I, b)
J = Intersect(j, m)
K = Intersect(k, m)
L = Intersect(i, j)
M = Intersect(k, l)
n = Segment(A, D)
p = Segment(D, L)
q = Segment(L, J)
r = Segment(J, I)
s = Segment(I, L)
t = Segment(I, K)
a_1 = Segment(M, K)
b_1 = Segment(M, G)
c_1 = Segment(G, B)
d_1 = Circle(L, I)