(+ (+ x 1) x) | (+ 1 (+ x x))
(+ (+ x (w0 x)) x) | (+ 1 (+ (v1 x) x))
