(+ 2 v1) | (+ 2 (+ 2 (+ 2 (+ 2 (+ 2 (+ 2 2))))))
v0 | v2
(+ v0 x) | (+ v2 x)
(+ (+ v0 x) x) | (+ (+ v2 x) x)
