2 | (+ 1 1)
(+ (+ (w0 x) 1) (w1 x)) | (+ (+ (+ (v2 x) (w5 x)) 2) (w6 x))
(w1 x) | (w6 x)
