\againframe is your friend here. Both the frame environment and \againframe are themselves overlay-aware. This means that you can supply an overlay specification to both which says "Only show the frames matching this specification even if there's code for more". So if you have a very complicated frame but put \begin{frame}<1>[label=repeated] at the start then only the first slide is shown irrespective of all the other information. But all that information is kept, so you can later on say \againframe<2-3>{repeated} to get the next bit.
I recommend making sure that the overlay specifications don't overlap, which can mean a bit of juggling with the numbers if you want something actually repeated as it is. Then you have to ensure that, say, slide 2 is an exact copy of slide 1.
Here's an example:
\documentclass{beamer}% http://ctan.org/pkg/beamer
%\url{http://tex.stackexchange.com/q/31031/86}
\begin{document}
\begin{frame}<1>[label=again]
\frametitle{The Infamous Disappearing Text}
Here is a frame, it's a bit \alert<2-3>{boring}.
It's so boring, we'll see it \only<-3>{{\color<2-3>{gray}twice}}.
\only<3>{But the second time, we'll try to make it more interesting by making some of those words change colour.}
\only<5>{The third time, we'll wave a magic wand to make all the gray words disappear.}
\end{frame}
\begin{frame}
\frametitle{Some Comments}
This frame is perhaps even more so.
\end{frame}
\againframe<2-3>{again}
\begin{frame}
\frametitle{Some Comments}
Will this tedium ever end?
\end{frame}
\againframe<4-5>{again}
\end{document}
(I shan't post the screenshots. They're every bit as tedious as the text suggests.)
I used this in a seminar that I gave a year or so back. You can see the PDFs here (sorry, the source isn't available there). The slides to look at are 59-61, 75-76, 81-82, 87-88, 95-97 of the beamer version. These are all a single frame, but shown at different stages. It won't compile, but the code for that actual frame is:
\begin{frame}<1-3 |trans: 1|handout: 1>[label=definition]
\frametitle{\only<1-4|trans: 1|handout: 1>{First}\only<5-6|trans: 2| handout: 2>{Second}\only<7-8|trans: 3|handout: 3>{Third}\only<9-10| trans: 4|handout: 4>{Fourth}\only<11-12|trans: 5-6|handout: 5-6>{Fifth} Candidate\visible<12|trans: 6|handout: 6>{: Fr\"olicher Space}}
\begin{definition}[{\only<1-4|trans: 1|handout: 1>{First}\only<5-6|trans: 2|handout: 2>{Second}\only<7-8|trans: 3|handout: 3|handout: 3>{Third}\only<9-10|trans: 4|handout: 4|handout: 4>{Fourth}\only<11|trans: 5|handout: 5>{Fifth}\only<1-11|trans: 1-5|handout: 1-5|handout: 1-5>{ Attempt}\only<12|trans: 6|handout: 6>{Fr\"olicher Space}}]
A \alert{\alt<1-11|trans: 1-5|handout: 1-5| handout: 1-5>{smooth}{Fr\"olicher} space} is a triple \((X,\m{\alt<1-11|trans: 1-5|handout: 1-5| handout: 1-5>{I}{C}},\m{\alt<1-11|trans: 1-5| handout: 1-5>{O}{F}})\) where:
%
\begin{itemize}
\item \(X\) is a \alt<1-10|trans: 1-4|handout: 1-4>{\alert<1-3>{topological space}}{\alert<11>{set}}
\item \(\m{\alt<1-11|trans: 1-5|handout: 1-5>{I}{C}}\only<1-8|trans: 1-3| handout: 1-3>{(U)} \subseteq \Hom{\alt<1-10|trans: 1-4|handout: 1-4>{\TopCat}{\Set}}{\alt<1-8|trans: 1-3|handout: 1-3>{U}{\R}}{X}\),\only<1-8|trans: 1-3|handout: 1-3>{ \(U \subseteq \R^m\) open,}
\item \(\m{\alt<1-11|trans: 1-5|handout: 1-5>{O}{F}}\only<1-10|trans: 1-4| handout: 1-4>{(V\only<1-8|trans: 1-3|handout: 1-3>{;\R^m})} \subseteq \Hom{\alt<1-10|trans: 1-4|handout: 1-4>{\TopCat}{\Set}}{\alt<1-10|trans: 1-4|handout: 1-4>{V}{X}}{\alt<1-8|trans: 1-3|handout: 1-3>{\R^m}{\R}}\)\only<1-10|trans: 1-4|handout: 1-4>{, \(V \subseteq X\) open}.
\end{itemize}
\only<1-4|trans: 1|handout: 1>{\medskip}
\pause[2]
\only<5-11|trans: 2-5|handout: 2-5>{
such that
\begin{itemize}
\item \(\m{I}\) and \(\m{O}\) are \alert<5>{compatible},
\item \(\alt<5-6|trans: 2|handout: 2>{\overline{\m{I}}}{\m{I}}\) and \(\alt<5-6|trans: 2|handout: 2>{\overline{\m{O}}}{\m{O}}\) are \only<5-6|trans: 2|handout: 2>{\alert<5>{also compatible}}\only<7-|trans: 3-| handout: 3->{\alert<7>{saturated}: \(\m{I} = \overline{\m{I}}\), \(\m{O} = \overline{\m{O}}\)}.
\end{itemize}
}
\only<12|trans: 6|handout: 6>{
such that
\begin{itemize}
\item \(\m{C} = \{\psi \colon \R \to X : \phi\psi \in \Ci(\R,\R), \phi \in \m{F}\}\)
\item \(\m{F} = \{\phi \colon X \to \R : \phi\psi \in \Ci(\R,\R), \psi \in \m{C}\}\)
\end{itemize}
}
A \alert{morphism} is a \only<1-10|trans: 1-4|handout: 1-4>{continuous }map \(f \colon X \to Y\) such
that
%
\[
\phi f \psi \alt<1-2|trans: 1|handout: 1>{\text{ is }}{\in} \Ci \text{ for } \psi \in \m{\alt<1-11|trans: 1-5|handout: 1-5>{I}{C}}\only<1-2|trans:1|handout: 1>{(U)}, \phi \in \m{\alt<1-11|trans:1-5|handout: 1-5>{O}{F}}\only<1-2|trans: 1|handout: 1>{(V;\R^m)}
\]
\end{definition}
\only<3|trans: 1|handout: 1>{
Notation:
\begin{itemize}
\item smooth map = morphism
\item \(\psi \in \m{I}\), \(\phi \in \m{O}\), \(\theta \in \Ci\)
\end{itemize}
}
\end{frame}
and the reinvocations are things like:
\againframe<6-7|trans: 3|handout: 3>{definition}
(looking at it, then it might compile in a normal beamer document if you add \newcommand\m[1]{\mathcal{#1}} and \newcommand{\Ci}{C^\infty} in your preamble. There might be things I've missed, though.)
\againframe{label}<2-3>(and wrong behaviour). The correct way around, no warnings are produced. – Raphael Sep 01 '17 at 17:44\againframe{label}<2-3>and\againframe{label}<3-4>then it will complain, but\againframe{label}<2-3>and\againframe{label}<4-5>won't. They are only warnings so can be ignored, but it's not hard to ensure no overlaps if it bothers you. – Andrew Stacey Sep 01 '17 at 20:22\againframe{label}<-1>? – Frederick Nord Mar 30 '22 at 19:45