@interact
def cycloidPath(tFin=slider(0,14,default=1.0)):
var('t')
fullCyc = parametric_plot((t-sin(t), 1-cos(t)), (t,0,14),color='blue')
cyc = parametric_plot((t-sin(t), 1-cos(t)), (t,0,tFin),color='red')
c = circle((tFin, 1), 1)
ell = line(((tFin,1),(tFin-sin(tFin),1-cos(tFin))), color='red')
show(fullCyc + cyc + c + ell, aspect_ratio=1)