Using JuMP for solving a symbolic algebraic system

Ipopt is probably the recommended option here. There are many reasons why Optim failed; it is less robust, particularly with a bunch of fixed variables like this.

1 Like