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