% Presumably, there should be a factor pulled out in final value.

operator p;

noncom p;

xx := p(1) *(p(2)^2 + 2*p(2)*p(1) + p(1)^2) + 3;

on factor;

xx;

end;
