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