O = Intersect(xAxis, yAxis)
c = Circle(O, 1.0)
A = Point(c)
a = Ray(O, A)
u = Vector(O, A)
C = Intersect(c, xAxis, 2.0)
α = Angle(C, O, A)
Z = (1.5155555555555555, 2.12)
v = Vector(O, Z)
D = Intersect(c, yAxis, 1.0)
b = Line(O, D)
d = Line(A, yAxis)
e = Line(O, C)
E = Intersect(e, xAxis)
F = Intersect(d, xAxis)
w = Vector(O, F)
f = Line(O, A)
g = Line(O, Z)
h = Ray(C, Z)
i = Line(F, h)
Z' = Intersect(i, g)
z = Vector(O, Z')
j = Segment(A, F)
B_1 = Intersect(g, h)
W = Rotate(Z, 90.0°, O)
k = Vector(O, W)
m = Line(O, W)
n = Segment(C, W)
l = Line(A, xAxis)
B = Intersect(b, yAxis)
G = Intersect(l, yAxis)
p = Line(D, W)
q = Line(G, p)
r = Line(O, W)
W' = Intersect(q, r)
s = Segment(A, G)
t = Vector(O, W')
a_1 = Line(W', v)
b_1 = Line(Z', k)
P = Intersect(a_1, b_1)
u_1 = Vector(O, P)
c_1 = Segment(W', P)
d_1 = Segment(P, Z')
e_1 = CircleArc(O, Z, P)
β = Angle(Z', O, P)