1/8192^x = 1/7.5*10^12 solve over the reals