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