  We extend the shell and kernel reductions for hyperexponential functions over
the field of rational functions to a monomial extension. Both of the reductions
are incorporated into one algorithm. As an application, we present an additive
decomposition in rationally hyperexponential towers. The decomposition yields
an alternative algorithm for computing elementary integrals over such towers.
The alternative can find some elementary integrals that are unevaluated by the
integrators in the latest versions of Maple and Mathematica.
