a = 1
C = Point(xAxis)
B = Point(xAxis)
c = Segment(B, C)
A = Point(c)
t: x(A)
T1: "t = " + t
P_t: (a * (t - sin(t)), a * (1.0 - cos(t)))
loc1 = Locus(P_t, A)
T2: "P_t = (t - sin(t), 1 - cos(t)) = " + P_t
e = Circle(A + (0.0, a), a)
M = Center(e)
b = Segment(M, P_t)