x | (+ (+ x v2) x)
