Речник на българския език
биха мирели е производна форма на миря се (условно наклонение, 3 л., мн. ч.).