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