(+ (+ (+ (+ (w0 x) 1) x) x) (w1 x)) | (+ (+ (+ (+ (+ (w2 x) 1) 2) 0) x) (w3 x))
