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