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