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