Suppose we have this equation:

$\displaystyle $y = 1 + x + \lceil \log_2(x)\rceil$$

where $\displaystyle $x$$ is an integer > $\displaystyle $0$$.

How can we get $\displaystyle $x$$ as a function of $\displaystyle $y$$ (basically isolate $\displaystyle $x$$)? I don't understand how to handle the ceiling and the logarithmic function.

Thanks.