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