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