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