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