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