size就是令化简得到的表达式尽可能的简短，size尽可能的小，因为有可能会有一些合并项。simplify就是化简，应该是数学意义上的最简式，但它们可能显得size比较大。具体的不同与具体的表达式有关，只是表达形式上的不同，但是数学意义上都是相等的。
