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