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