Not really.
Superman's average brightness is actually much higher than most movies, and
F1 is right around the average for a typical HDR grade. As for the peak brightness, they are not much brighter than 200 nits, which is already two times brighter than reference SDR but that's the artistic intent, and there's nothing wrong with that.
Movie average brightness is generally very low. Most films rarely average more than 50–100 nits, aside from occasional highlights such as flashes, explosions, or other specular effects.
See this link. I plotted the brightness and metadata for practically every movie that exists, including both the average frame brightness and the average average brightness. You'll see that there's nothing unusual about either of these movies compared to the rest, they're completely in line with typical HDR grading.
View attachment 10746
View attachment 10747