lib for very basic simplification of expressions