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