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