> I suppose resimplify should be implemented, how is the > easiest way to do it? If resimplify literally just resimplifies, it is very easy (if perhaps not very intuitive): resimplify(x) := expand(x,expop,expon) $