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