v2 | v5
(+ 1 v2) | (+ 1 v5)
(+ (+ (v1 x) x) 2) | (+ (+ (+ (w4 x) (+ 1 v5)) (+ 1 (+ 2 2))) 2)
