(+ v2 2) | (+ (+ (+ (+ 1 (+ 2 (+ 2 (+ 2 2)))) v5) 1) v6)
(+ (+ v2 2) (+ 1 x)) | (+ (+ (+ (+ (+ 1 (+ 2 (+ 2 (+ 2 2)))) v5) 1) v6) (+ 1 x))
