log2^x+log2^(x-3)=2