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