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