reduce-equations (hackage): Simplify a set of equations by removing redundancies
Keywords: bsd3|library|math|program