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