exp(Y,log(Y,X))=X.
log(Y,exp(Y,X))=X.
exp(X,Y+Z)=exp(X,Y)*exp(X,Z).