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