SymPy的变量加法和乘法如何实现？

Question

让我们考虑一个表达式a = x + x + y + z + x + y +2。SymPy如何自动操纵该表达式，以便将输出表示为3 * x + 3 * y + z + 2 in遇加案？什么样的数据结构或算法在这里起作用？

我深入研究了SymPy代码，对我来说似乎是，也许有一些工作中的术语收集词典（在sympy.core.add.Add.flatten函数中），但如果我错误的。