Rewriting and interpreting exponential functions