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