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