add simplifier for minusing negative values
check redundancies