The function log(exp(exp(x)) - 1)
was already considered in this post, where (6e) is rewritten to (11) which is log-sum-exp + this function. Our conclusion in post #12 has unfortunately not changed, but we do try to keep track of the open questions.
1 Like