A = (-4.178288, -1.778851999999995)
B = (8.611978, -1.114956)
a = Segment(A, B)
C = Midpoint(a)
c = Semicircle(A, B)
D = Point(c)
poly1, b, a_1, d = Polygon(A, D, B)
E = Midpoint(b)
e = OrthogonalLine(E, b)
F = Midpoint(a_1)
f = OrthogonalLine(F, a_1)
G = Intersect(c, e, 1)
H = Intersect(c, f, 1)
I = Midpoint(G, E)
J = Midpoint(F, H)
g = Circle(I, E)
h = Circle(J, F)
i = AngularBisector(A, D, B)
j = AngularBisector(A, B, D)
K = Intersect(i, j)
k = OrthogonalLine(K, a)
L = Intersect(k, a)
p = Circle(K, L)