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