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