CAS: simplify terms seperately?

[parisse]

a:=normal(...) does almost what you want.
If a is a sum, then a[1]=='+' and you can work on individual arguments of the sum with a[2],...,a[n+1] where n=size(a). Therefore here factor(a[2]+a[3])+a[4] will return what you want.