put eqn in normal form for fu
factor_terms can extract -1 factor

gcd_terms, terms_gcd and gcd do not remove a -1 -- they
leave the sign structure of an expression unchanged. But factoring
can change structure.

NOTE Factors.gcd *does* extract the sign so Factors(-x).gcd(Factors(-y))
gives Factors(-1).