v1 | v3
v1 | (+ 2 (+ 2 (+ 2 2)))
(+ 2 (+ 2 (+ 2 2))) | v3
(+ (+ (v0 x) v1) (+ 1 (+ 2 (+ 2 (+ 2 (+ 2 2)))))) | (+ (+ (w2 x) v3) (+ 1 (+ 2 (+ 2 (+ 2 (+ 2 2))))))
(+ (v0 x) v1) | (+ (w2 x) v3)
(v0 x) | (w2 x)
