Symbolic Simplification Validation and Optimization Protocol | Symbolic Simplification | Mathematics | NEROS