Improved simplifying from the command line.