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