(v0 x) | (+ v2 (v3 x))
