(ite (<= x 0) 0 (w0 x)) | (ite (<= x 0) 0 (w3 x))
(w0 x) | (w3 x)
(v2 x) | (v5 x)
(v2 x) | (v4 x)
(v1 x) | (v5 x)
(v1 x) | (v4 x)
(+ (ite (<= x 0) 0 (w0 x)) (v1 x)) | (+ (ite (<= x 0) 0 (w3 x)) (v4 x))
