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