Minor changes to Nth root function terms and exp axioms.