some values
simple optimization: drop zero expressions
fix + simplified generic case expr( 0 - .... )
simplify double negations
some further simplifications (additivity)
smallish improvements through algebraic cleanup
tested again