[impl] simplify(sum) = sum(simplfy(terms))