Library for (algebraically) complicated sums (and other expressions)?

Please make an MWE. Gradually revealing specifications for a question makes it difficult to help you.

2 Likes