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