(+ 1 2) | (+ 2 1)
(v0 x) | (+ (+ (+ (+ (+ (+ 1 2) (+ 2 x)) (+ (+ 2 x) 2)) 1) x) (+ 2 1))
