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