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