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