Discussion of level 4 monsters.

But having two creatures with 4000 hit points each isn't efficient. I doubt anyone does that.

You're wrong, most skilled players do that.
And where did you get the information that mantises are weaker than magic dragons? That's absurd.