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