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