(+ (+ 2 x) x) | (+ x (+ 2 x))
(+ (+ (+ 1 x) (+ 2 (+ x 2))) 2) | (v0 x)
(+ 2 (+ (+ 2 x) x)) | (+ (+ x (+ 2 x)) 2)
