Help! How to express log(e^(e^x)-1)<=y in cvx?

I have verify that log(e^(e^x)-1) is a convex function.
How can CVX identify this convex constraint?
Thanks for your help!

The function was previously posted at How to handle log[exp(exp(x))-1] , and no CVX formulation was offered. However, that was before @Michal_Adamaszek , the wizard of conic formulation, joined the forum; so he hasn’t had a crack at it yet.

If y is not a CvX variable or expression, you can enter exp(exp(x))-1 <= exp(y). This won’t work if y is a CVX variable or expression.

No progress since Log(log(1+exp(x)) objective function Probably impossible.