Abstract. We propose a "Newton-Taylor" iteration for solving the implicit equations of symplectic Runge-Kutta methods, using the Jacobian of the vector field and matrix-vector multiplications whose extra cost for certain structured problems is negligible. The structure of Hamiltonian ODEs allows this very simple iteration to be effective. The iteration reduces the number of vector field evaluations almost to that of Newton's method, often only one or two per time step, making symplectic Runge-Kutta methods more efficient even at relatively large time steps.Key words. Runge-Kutta, implicit, symplectic integrators, inexact Newton methods AMS subject classifications. 65L06, 65P10 DOI. 10.1137/06065338X1. Introduction. Symplectic integrators based on splitting, such as the leapfrog method for separable Hamiltonian systems, are fast and simple and give very good results for long simulations [8]. They are widely, almost universally, used in applications from accelerator physics to molecular dynamics to celestial mechanics [16]. However, the only symplectic integrators for general Hamiltonian systems are implicit, such as the Gaussian Runge-Kutta methods [11], which has tended to limit their popularity.(The implicit equations must be solved to within round-off error, to preserve symplecticity.) Hairer, Lubich, and Wanner [8] have studied the implementation issues and found the simple ("standard") iteration, (4) below, superior to Newton's method; for very small error tolerances it can even compete with high-order methods based on splitting and composition. However, for the relatively low orders and large time steps often used in long symplectic integrations, the convergence of the standard iteration deteriorates, making the method more expensive, which defeats the purpose of using a large time step.For other applications of implicit methods, there are methods in which the linear equations defining the Newton step are solved only approximately. In the inexact Newton method an (e.g., Krylov or Chebyshev) iterative method is applied [2,4,5]; in the Newton-chord method [18] the Jacobian itself is approximated to simplify the solution step. In the Jacobian-free-Newton-Krylov method [12] the Jacobian-vector multiplications are approximated by finite differences, so the Jacobian itself is never formed.The application to Hamiltonian systems has a number of special features that lead us to propose a very simple inexact Newton method that, for many structured problems, costs only a constant factor close to 1 times the cost of the standard iteration, yet has a convergence rate very close to Newton's method. For the midpoint rule, for example, the method may require only one or two evaluations of the vector field per time step.