Add Sub(Sub(x, y), b) -> Sub(x, Add(y,b)) Transformation