(+ v0 2) | (+ v1 2)
v0 | v1
(+ (+ v0 2) (+ x x)) | (+ (+ v1 2) (+ x x))
