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