追伸。
Simplify[expr, Assumptions -> y > 0]
だけでそうなる。Collectは必要ない、、。