log(8,2^(8*x-4))=4 over the reals