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