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