I have my cycloid already plotted-
x[t_] := t - Sin[t];
y[t_] := 1 - Cos[t];
ParametricPlot[{x[t], y[t]}, {t, 0, 6Pi}]
But now I need to plot it over the interval 0 <= t <= (13Pi)/3 along with a circle of radius 1 centered at ((13Pi)/3,1).
Then after that, I need to animate the plot over the interval 0 <= t <= u together with a circle of radius 1 at (u,1) for 0 <= u <= 6Pi.
My attempts to do so have been fruitless.
Thanks