A formula trace checks that the formulas of an XBRL document correspond to the formulas in the taxonomy. Formulas include business rules expressed semantically. For example a formula might include the definition for “Assets = Liabilities + Equity”. The formula trace records the failure of a formula during validation.
To show a formula trace: