(+ (+ x 2) x) | (+ x (+ x 2))
(+ (+ (+ x 2) x) x) | (+ (+ x (+ x 2)) x)
(v1 x) | (v4 x)
(v0 x) | (v3 x)
(+ (v0 x) (+ 1 (+ x 2))) | (v2 x)
