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