(v1 x) | (+ x (v3 x))
