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