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