(+ 2 y) | (+ y y)
