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