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