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