Symbolic Simplification with PAttern Matching - View it on GitHub