I have added simplifying.lisp to share/contrib for those who want to
experiment with it. Thanks to Barton for testing it and pointing out a bug
which is now fixed.
As with all contrib-directory code, this is not part of standard Maxima and
it may change, perhaps radically, benefitting from the suggestions by Robert
and others.
?