Let simplify recurse through the args.
_eval_simplify for combinatorial and hypergeometric fcts.