10.3.7  Rewriting a power as an exponential

Powers with arbitrary (positive) bases are often defined in terms of exponentials with base e with

The pow2exp rewrites powers to exponentials.

• pow2exp takes expr, an exponential.
• pow2exp(expr) returns expr with any powers replaced by their corresponding exponential.

Example