Daniel and Robert pointed us to factor() which does exactlywant we wanted..
Is there an recursive version of factor() perhaps in a simplification
function where the factorization is applied recursively until no further
common factors can be extracted in subexpressions. If such a recursive
function doesn't exist exist, how hard would it be for novices like us
to write one?
Thanks.