exprtools mods
more efficient TR10i; use in trigsimp

TR10i can have the ffggh and fgfgh (using Mario's notation) extracted
and then used for hyperbolics, too.
recurse into Add args with TR10i

If xreplace had a bottom up option then the added tests would work.
Perhaps a rule from unify that works from the bottom up could be used.