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