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