add support for negative values

try the other minus case, and fix expression output and divide one
simplifier.