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