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