Library for manipulating math-ast ASTs based on algebraic rules
Manipulate math-ast ASTs based on algebraic rules