solve 2^x = 3 over the reals