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