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