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