I appreciate your corrections and agree with all of them.
Yet they do not imply IRS is operating efficiently, as efficiency is left undefined.
If we're talking about social efficiency, the tax code appears massively inefficient to me. I believe the tax code should be redesigned to reduce that inefficiency. That may obviate many IRS needs for resources.