def _eval_coeff(self, pt):
        val = 1
        for a in self.args:
            val *= a.coeff(pt)
        return val
multiplies the coefficients of all the sequences at point pt
dataset/ETHPy150Open sympy/sympy/sympy/series/sequences.py/SeqMul._eval_coeff