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