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