Solvespace has a nonlinear algebraic equation solver: https://solvespace.com/index.pl https://solvespace.com/index.pl It's what underlies the geometric constr

Solvespace has a nonlinear algebraic equation solver: https://solvespace.com/index.pl https://solvespace.com/index.pl It's what underlies the geometric constraint solver which you don't need for what you're doing. It's probably worth a look under the hood. You might also read this post from Michael-F-Bryan implementing something similar in Rust: https://users.rust-lang.org/t/geometric-constraint-solvers-part-1-algebraic-expressions/45818 https://users.rust-lang.org/t/geometric-constraint-solvers-p... He based his work on what he learned from Solvespace.