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