(v3 x) | (v9 x)
(v3 x) | (v7 x)
(v3 x) | (v5 x)
(+ (+ (w0 x) (v1 x)) (w2 x)) | (+ (+ (+ (+ (w4 x) (v5 x)) (w6 x)) (v7 x)) (w8 x))
(+ y x) | (+ x y)
