I have complicated function
g[s1,s2,Ss,t1,t2,m] with the numerator containing only the summands with the square root factor. Its main part coincides with the full square root of the denominator of g. However, they doesn't cancel each other, within Mathematica. Precise form of these factors are
Sqrt[(-s2 + Ss + t1) (m^2 - s2 + t1 - t2) (m^2 t1 - s2 t2)]
in the numerator,
Sqrt[(m^4 t1 - m^2 (s2 (t1 + t2) + t1 (t2 - t1)) + s2 t2 (s2 - t1 + t2))]
in the denominator. They must cancel each other up to the multiplier in the numerator. But this doesn't happen. The command
Simplify[g[...]] doesn't work. The command
FullSimplify doesnt work also.
How to make Mathematica cancel these square roots?