modified sorting in replace_add_fgfg to get deterministic results
if the keys are sortable
_replace_mul_fpowxgpow used for all ``matcher_division`` cases
used expand_mul in TR10_inv
replaced factor with _mexpand in __trigsimp
fixed a doctest, code cleanup
Added documentation