A_{1} = (-0.3737704918032774, 2.6944249935913356)
F: A_{1} + (1, 0)
f_1 = Ray(A_{1}, F)
C_{1} = Point(f_1)
B = Point(yAxis)
c = Circle(A_{1}, C_{1})
D = Point(c)
f = Segment(A_{1}, C_{1})
g = Segment(A_{1}, D)
d = CircleSector(A_{1}, C_{1}, D)
α = Angle(C_{1}, A_{1}, D)
C = Point(xAxis)
L = Segment(B, C)
C' = Rotate(C, (-α), B)
i = AngularBisector(C', B, C)
j = OrthogonalLine(B, i)
k = LineBisector(B, C)
Ω = Intersect(i, k)
e = Circle(Ω, B)
l = Segment(B, C')
m = Ray(B, Ω)
R = Point(yAxis)
n = Line(R, xAxis)
I_1, I_2 = Intersect(e, n)
p = Circle(I_2, Segment[B, R])
q = Ray(B, I_2)
r_{1} = Segment(B, I_2)
C'_{1} = Mirror(C, r_{1})
s = Segment(I_2, C)
t = Ray(B, C'_{1})
B' = Mirror(B, s)
a = Ray(C, B')
A = Intersect(t, a)
r = Segment(B, R)
t1, a_1, b, c_1 = Polygon(B, C, A)
β = Angle(C', B, C)
γ = Angle(B, A, C)
C'' = Dilate(C', 1 / 3, B)
h = Segment(C'', B)