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