v3 | v6
(+ 2 v3) | (+ 2 v6)
(w2 x) | (+ (v5 x) x)
