(v0 x) | (+ (+ x x) v1)
