; seed : #(1065670707 1252142602 108487242 4101615998 1494603059 839552182)

; flags :
;   rules      = (arithmetic polynomials fractions exponents trigonometry)
;   setup      = (simplify)
;   reduce     = (taylor simplify avg-error)
;   generate   = (rr taylor simplify)
;   precision  = ()

; timed out
(lambda ((a default) (b default) (c default) (d default))
  #:name "(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))"
  (fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d)))

; timed out
(lambda ((a default) (b default) (c default))
  #:name "(- b (sin (pow 1.5928625625579355e-85 c)))"
  (- b (sin (pow 1.5928625625579355e-85 c))))

; crashed
(lambda ((a default) (b default))
  #:name "(- a (/ b 2.070623953511602e-139))"
  (- a (/ b 2.070623953511602e-139)))