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