My infinity correct simplus is now in CVS Maxima. Look for it in .../share/contrib/altsimp/altsimp.lisp. We welcome comments, improvements, extensions (infinity correct multiplication, exponentiation, ...) , and .... Barton