log2 (2^x-1)·log2 [2^(x+1)-2]