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