Use evalf_sum to evaluate Sum after rewritting the Product

In case evalf_sum can't do the Sum - it should raise NotImplementedError.
Then, evalf can return the original expr for the Product.