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