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