(1/2)^(x−8)=2^x over the reals