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