Improved simplifyTerm (previously singleTerm)