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