(+ (+ 1 2) (+ (+ x y) x)) | (+ (+ (+ 1 2) (+ 1 y)) x)
