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