α = 0.7853981633974483 rad
A = Intersect(xAxis, yAxis)
B = Point(xAxis)
β = 5.497787143782138 rad
A'' = Rotate(A, β, B)
H = Rotate(B, -α, A)
a = LineBisector(A, A'')
b = LineBisector(H, B)
C = Intersect(b, a)
c = Circle(C, A)
d = Circle(C, B)
γ = Angle(A, C, A'')
δ = Angle(H, C, B)
e = Segment(A, H)
ε = Angle(H, A, B)
f = Line(C, xAxis)
ζ = Angle(A, B, A'')
g = Segment(A'', B)
D = Point(f)
E = Point(f)
η = Angle(A, C, D)
F = Point(a)
θ = Angle(D, C, F)
h = Line(D, E)
i = Line(A, B)