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