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