  Functional MSO transductions, deterministic two-way transducers, as well as
streaming string transducers are all equivalent models for regular functions.
In this paper, we show that every regular function, either on finite words or
on infinite words, captured by a deterministic two-way transducer, can be
described with a regular transducer expression (RTE). For infinite words, the
transducer uses Muller acceptance and $\omega$-regular look-ahead. \RTEs are
constructed from constant functions using the combinators if-then-else
(deterministic choice), Hadamard product, and unambiguous versions of the
Cauchy product, the 2-chained Kleene-iteration and the 2-chained
omega-iteration. Our proof works for transformations of both finite and
infinite words, extending the result on finite words of Alur et al.\ in
LICS'14. In order to construct an RTE associated with a deterministic two-way
Muller transducer with look-ahead, we introduce the notion of transition monoid
for such two-way transducers where the look-ahead is captured by some backward
deterministic B\"uchi automaton. Then, we use an unambiguous version of Imre
Simon's famous forest factorization theorem in order to derive a "good"
($\omega$-)regular expression for the domain of the two-way transducer. "Good"
expressions are unambiguous and Kleene-plus as well as $\omega$-iterations are
only used on subexpressions corresponding to \emph{idempotent} elements of the
transition monoid. The combinator expressions are finally constructed by
structural induction on the "good" ($\omega$-)regular expression describing the
domain of the transducer.
