Neat! Can you elaborate a bit about the requirements for the functions it can handle? Eg I understand that they need be continuous, but do they need to be ADable or evaluating reals to reals is sufficient?
Also, can your provide some intuition about how the solution time scales with the dimensionality of the unknowns and the number of equations?