What nonlinear solvers are available?

Here is one such test case: