bracketing deep-equilibrium-models differential-equations equilibrium factorization high-performance-computing julia newton-krylov newton-method newton-raphson nonlinear-equations scientific-machine-learning sciml sparse-matrices sparse-matrix steady-state