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