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