(1/2)^(10-3*x) = 32 over the reals