8^(9−x)=64^x over the reals