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