[firedrake] Solving this system of nonlinear equations