Now this is a simplification:

[parisse]

simplify expands expressions, some rewriting commands don't and sometimes it's better not to expand, like regroup here. There is no magic way to simplify an expression, for example what's simpler (x^7-1)/(x-1) or the expanded simplified form?