solve 2000000<x*3^(45/5) over the reals