Accurate solution of differential-algebraic optimization problems | Synapse