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