sum x = 0 to n x * binom(n, x) * (2^k - 1) ^ x