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