Simplify (2^(k+1)+2^t)(2^(k-t+1)-1)(2^(k-t)(2^(k+1) + 2^t - 1) + 1)