O = Intersect(xAxis, yAxis)
C = Point(xAxis)
B = Point(xAxis)
A = Point(xAxis)
D = Point(xAxis)
f: y = 0
c = Circle(O, B)
B' = Point(c)
g = Ray(O, B')
h = Segment(B', D)
i = Line(C, h)
j = Line(B, h)
k = Line(A, h)
Z' = Intersect(i, g)
Y' = Intersect(j, g)
X' = Intersect(k, g)
l = Segment(Z', C)
m = Segment(Y', B)
n = Segment(X', A)
α = Angle(B, O, B')
Y = Rotate(Y', (-α), O)
Z = Rotate(Z', 180° - α, O)
X = Rotate(X', 180° - α, O)
d = Circle(A, Segment[C, X])
e = Circle(Z, Segment[D, Y])
F = Intersect(d, e, 1)
p = Ray(Z, F)
q = Circle(Z, Segment[O, D])
P = Intersect(q, p, 1)
r = Segment(F, A)
s = Line(P, r)
t = Circle(P, Segment[O, C])
E = Intersect(f, s)
a = Ray(P, E)
Q = Intersect(t, a, 1)
u = Vector(O, A)
R = Translate(Z, u)
b = Segment(R, Q)
c_1 = Circle(Z, P, R)
f_1 = LineBisector(Z, Q)
P' = Mirror(P, f_1)
g_1 = Segment(Z, P')
h_1 = Segment(P', Q)
i_1 = LineBisector(R, P)
Q' = Mirror(Q, i_1)
j_1 = Segment(P, Q')
k_1 = Segment(R, Q')
q1, n_1, p_1, q_1, r_1 = Polygon(Z, P, Q, R)
PA: A
PB: B
PC: C
PD: D
Q'_{1} = Dilate(Q, 1.5, P)
l_1 = Segment(P, Q'_{1})
P'_{1} = Dilate(P, 1.5, Z)
m_1 = Segment(P, P'_{1})
F' = Rotate(F, 30°, A)
F'_{1} = Rotate(F, (-(30°)), A)
d_1 = CircleArc(A, F'_{1}, F')
F'_{2} = Rotate(F, 30°, Z)
F'_{3} = Rotate(F, (-(30°)), Z)
e_1 = CircleArc(Z, F'_{3}, F'_{2})
PB': B'