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