v2 | (+ (+ 1 2) v4)
(+ (+ 1 v2) (+ 1 x)) | (+ (+ (+ (+ 1 2) v4) x) (+ 1 x))
