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