to compare
expression post-processing to minimize the number of sign inversions
try to keep positive constants
updated generated C code
updated results