I thought that, when I use as_numer_denom() , the power of `h**2` , might increase due to simplification, if the power of the denominator of the other terms had a greater power than that of the power of the denominator of `h**2` . But I think it would be sufficient to check for `hy`