Symbolic Optimization Derivation Review and Validation Protocol | Symbolic Optimization Derivation | Mathematics | NEROS