>>42
多価関数の分岐問題を無視するなら、FullSimplifyでなく
PowerExpandを強行作用させる。

>>41
組込関数PowerのProtect属性を一度外してオーバーロード
(再定義)する。

その際には、Exp[k Log[a]]がa^kに自動的に簡約されない
ように、HoldFormなどのラッパーをかませる。

またaがEだと無限地獄に陥るのでUnsameQなどの判定も必要。