implicit_solve_nonlinear