Exponent of an infinite sum expansion

Sum over unordered sets

Exponent of an infinite sum can be expanded for all small like this

(1)

Sum over partitions

One can also start from expanding exponents of different separately

(2)

Now identify the multi‐index with the partition (Young diagram)

(3)

where is the number of parts of size . Hence

(4)

This expansion can be explicitly taken up to some fixed size of partition . You'll need sym_factor definition from here for this batch of code to work.