Yesterday, nobody contributed anything. :-( The official answer is: abs(log2(x - 6)).