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