Hello all. I am working with simple algebraic expressions with numerous assumptions on the various constants that appear. One such expression, an entry of a matrix, is > M[1,1]; 2 (beta~ h0~ + h0~^4 - beta~ h0~ - 3 h0~^2 + 2) h0~ ----------------------------------------------- h0~^4 - 3 h0~^2 + 2 Note that the beta h0 terms do not cancel. > simplify(%,symbolic); 2 (beta~ h0~ + h0~^4 - beta~ h0~ - 3 h0~^2 + 2) h0~