I've had both, although at different times. I've also owned the Denon D5200 alongside the Elear (with Elex pads, so basically it's the Elex now). I kept the Focal and sold both Denons. I liked the D5200 very much, it's easy to drive, less bloated than the D7200, sounds smooth, detailed enough and balanced enough for my taste. It is a shame that since nowadays I mainly use headphones for guitar playing, my headphone should be a good match with my guitar interface (Motu M2), and the D5200 wasn't. The Motu drives the Focal better, it's a good enough pairing for both music listening and guitar playing. The Elear's dynamics are unmatched in this price range, but it's a weird sound, you'll have to get used to it. Not the last word when it comes to well executed tuning.
For my headphone using habits it would be a massive overkill. I've had the Ananda, the Denons I mentioned, HE400i 2020 and 400s, Nad HP50 (brilliant, loved that), some Grado (225i maybe), I also tried the H6SE, Clear, multiple Sennheisers, the Neumann open back model (NDH 30 iirc), MrSpeakers Aeon, Ultrasone Signature DXP, some Beyers and a few others I can't remember, and it was always the Elear/Elex I kept. The Clear OG was probably the best I've heard within my budget (~6-700€ used), so that's my best bet so far.
BTW the HD600 was lovely with the little Spartan Helot tube amp. If I had some desktop space available, I'd probably be happy with that combo too.