void stats_print(char *mes, long prec, deg_t deg, char *numType, bool real, char *polyFile, char *ptsFile, char *outFile, char *outError, double timePP, long count, double timeEV, ulong tpts, char *outHorner, double timeHo, ulong tptsho, ulong tit, ulong titho)
Prints computation stats in a standard format for automatic processing.