OK: (c+b)^2 isn't expanded because 2 < expop (%i3) a*(c+b)^2,expop : 1; (%o3) a*(c+b)^2 But I would think that (%i4) a*(c+b),expop : 1; (%o4) a*c+a*b would effectively be the same as a * expand(c+b) --> a * (c+b). What am I missing? --Barton