sum_(j = 0)^(n - 1) (2 C(n, j) - 1 + (n - 1) j C(n - 1, j) + j)