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