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