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