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