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