find out what is needed on the failing test and use that simplification, e.g. will an `expand_mul` fix it? expand_mul(t.as_numer_denom()[0])?