logs now simplify to rationals if they can