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