optimize x + (-y) into x - y