solve 2^(x+3) = 4 over the reals