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