Symbolics-based function property propagation for optimization - View it on GitHub