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