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