Second-order constrained dynamic optimization | Synapse