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