v1 | v3
(+ 2 (+ (+ x x) x)) | (+ (+ 2 (+ (+ x x) x)) v3)
