v2 | (+ 1 (+ (+ (+ 2 2) 2) 2))
(+ v1 x) | (+ (+ 2 (+ 2 (+ 2 2))) (+ x x))
(w0 x) | (w3 x)
(+ (+ v1 x) y) | (+ (+ (+ 2 (+ 2 (+ 2 2))) (+ x x)) y)
