So nobody knows which formula is used? surely the IRS knows, at least the person who programmed the computer that charges the interest.
