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