solve log2(x) = 4 over reals