Yesterday, nobody contributed anything.  :-(
The official answer is: -(x * 2 ^ e ^ (-floor(tan(2)))).