Yesterday, nobody contributed anything.  :-(
The official answer is: -(sqrt(e ^ e ^ (-x)) * (x - 16))