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