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