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