2^(4−2*x)=64 over the reals