Added AV1 to my comparison:
https://wyohknott.github.io/video-formats-comparison/
I had to run it at cpu-used=4 to get a reasonable encode time so it's not representative of the max quality that could be obtained.
You can see that the encode speed is still infinitesimal.