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