v1 | (+ (+ (+ (+ (+ (+ (+ 2 2) 2) 2) 2) 2) 2) 2)
(+ v1 1) | (+ (+ (+ (+ (+ (+ (+ (+ 2 2) 2) 2) 2) 2) 2) 2) 1)
(+ (+ 2 (+ x x)) x) | (+ (+ (+ 2 (+ x x)) x) (+ (+ (+ (+ (+ (+ (+ (+ 2 2) 2) 2) 2) 2) 2) 2) 1))
