(+ x 2) | (+ (+ 2 x) 2)
(w0 x) | (w4 x)
(w0 x) | (+ (+ (v3 x) x) 1)
