https://123dok.net/document/yj7971jm-a-normal-form-for-restricted-exponential-functions.html