Leftover factorization in sum/prod