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