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