diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt
index 93a91008..cd0a4431 100644
--- a/collects/tests/typed-racket/tr-random-testing.rkt
+++ b/collects/tests/typed-racket/tr-random-testing.rkt
@@ -121,5 +121,5 @@
  #f 1000
  (lambda ()
    (redex-check tr-arith E (check-all-floats (term E))
-                #:attempts 1000
+                #:attempts 500
                 #:prepare exp->float-exp)))