(ite (<= x 0) 0 (v0 x)) | (w1 x)
