(+ (+ 1 2) (w0 x)) | (+ 2 (ite (<= x 0) 0 (w1 x)))
(+ (+ (+ 1 2) (w0 x)) 2) | (+ 2 (+ 2 (ite (<= x 0) 0 (w1 x))))
(+ (+ (+ (+ 1 2) (w0 x)) 2) 2) | (+ (+ 2 (+ 2 (ite (<= x 0) 0 (w1 x)))) 2)
(+ (+ (+ (+ (+ 1 2) (w0 x)) 2) 2) 2) | (+ (+ (+ 2 (+ 2 (ite (<= x 0) 0 (w1 x)))) 2) 2)
(+ (+ (+ (+ (+ (+ 1 2) (w0 x)) 2) 2) 2) 2) | (+ (+ (+ (+ 2 (+ 2 (ite (<= x 0) 0 (w1 x)))) 2) 2) 2)
