Checking functional identities is actually an excellent way to test math-function routines, and in some cases it is possible to prove statements of the form "if N such checks pass, then the proportion of wrong function values is, with high probability, smaller than F(N)."