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