(+ 1 (+ y y)) | (+ (+ 1 y) y)
