O = Intersect(xAxis, yAxis)
B = (8, 0)
a = Ray(O, B)
T_t = Point(a)
b = OrthogonalLine(T_t, a)
c = Circle(T_t, 2)
O_t = Intersect(c, b, 2)
d = Circle(O_t, T_t)
m = Distance(O, T_t)
r_1 = Radius(d)
φ: m / r_1
P_t = Rotate(T_t, -φ, O_t)
α = Angle(T_t, O_t, P_t)
e = Segment(P_t, O_t)
r = Segment(O_t, T_t)
loc1 = Locus(P_t, T_t)
A = Point(loc1)
g = CircleArc(O_t, P_t, T_t)
C = Intersect(d, g, 1)
D = Intersect(d, g, 1)
t = Segment(O, T_t)
f = Ray(T_t, O_t)
h = OrthogonalLine(P_t, f)
S_t = Intersect(f, h)
i = Segment(P_t, S_t)