In Maple, you might try the probabilistic equivalence-tester **testeq**.