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