Improved log and radical simplification