Trotter error compensation with polylogarithmic precision and nested-commutator scaling without ancillas