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