sum 2^k, k=0 to log2(x)