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