_eval_simplify for bessel, combi and log functions.
_eval_simplify for Product and Sum.
Fix expand_log for negative terms.

If we know a term is negative, we can extract the minus sign and
treat the rest as positive.
Stop simplify from recursing through exponentials.
_eval_simplify for sign.