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