change output a bit to figure out the redundancies
add simplifier for negatives mul/div negatives