log2(x-3)