A = (-1, 1)
f = Line(A, xAxis)
B = Point(f)
g = OrthogonalLine(B, f)
c = Point(g)
d = Point(g)
h = Line(B, f)
b = Point(h)
i = Segment(d, b)
PA: A
Pb: b
PB: B
Pc: c
Pd: d
j = Line(c, i)
M = Intersect(f, j)
k = OrthogonalLine(M, f)
e = Circle(M, Segment[B, b])
U', U = Intersect(e, k)
l = Segment(U, U')
m = Line(A, k)
p = Circle(A, Segment[B, d])
V = Intersect(p, m, 2)
n = Line(V, U')
q = Line(V, U)
J = Intersect(f, n)
I = Intersect(f, q)
C_{1} = Midpoint(J, I)
r = Circle(C_{1}, J)
s = Circle(B, b)
C = Intersect(r, s, 2)
t = Circle(A, B, C)
f_1 = Segment(M, C)
a = Line(B, f_1)
D_{1} = Center(t)
g_1 = OrthogonalLine(D_{1}, a)
D = Mirror(B, g_1)
q1, a_1, b_1, c_1, d_1 = Polygon(A, B, C, D)
e_1 = Circle(A, V)
h_1 = Circle(C, Segment[B, c])