(v2 x) | (v6 x)
(+ y x) | (+ x y)
(+ 1 (+ (+ y x) x)) | (+ (+ (+ x y) 1) x)
