factor_terms can remove negative sign
TR0 change; futrig adjustments to align output with trigsimp

In all expressions, now, futrig gives an expression that is shorter
(in terms of str length) than trigsimp.