Yesterday, nobody contributed anything.  :-(
The official answer is: log2(x + 1 / (e ^ (sqrt(x) - 1) + x)).