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