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