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