(v2 x) | (+ x (v6 x))
