(+ v1 2) | (+ 2 (+ 2 (+ 2 (+ 2 2))))
(+ 2 x) | (+ x x)
(+ (+ 2 x) x) | (+ x (+ 1 2))
(+ (+ 2 x) x) | (+ (+ x x) x)
(+ (+ x 1) x) | (+ 1 (+ x x))
(v2 x) | (v4 x)
(v0 x) | (w3 x)
