Yesterday, nobody contributed anything.  :-(
The official answer is: log(2 * x) - log2(x + 3) + 6.
fire solved the puzzle at 22:04:42.878; length: 9