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