Consider MAXIMA>($ratsimp (add 1 (mul `((rat simp) 1 2) (add 'x -1)))) ((MTIMES RATSIMP) ((RAT) 1 2) ((MPLUS RATSIMP) X 1)) Why is the simp flag missing from ((rat) 1 2)? Does the missing flag ever cause trouble? Barton