Mp4 will be better. Adaptive streaming works well for long content, but very poorly for short videos. The player will not have enough time to to adapt, and your viewers you almost always just see the default quality.
Apple only requires HLS for videos that are longer than X seconds (I cant remember exactly what X is, but it is larger than 10)