Yesterday, nobody contributed anything. :-(
The official answer is:
ln(2 ^ (x + 1 / x) * sqrt(floor(x) - 1 + x))