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