[PATCH 1/3] Automatic evaluation of (e^t)^s = e^(ts).