(1/2)^(6−2*x)=4 over the reals