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