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