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