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