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