Set of semi-analytical functions useful for testing the accuracy of credit portfolio simulation models