Expression rewriting and simplification - View it on GitHub