Convergence analysis for nonlinear GMRES | Synapse