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