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