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