; seed : #(1065639804 936413623 2655205282 2235462195 918319548 1069991914)

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

; timed out
(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 015"
  (sin (pow (sqrt (atan2 b b)) (- b a))))

; timed out
(lambda ((a default) (b default) (c default) (d default))
  #:name "Random Jason Timeout Test 014"
  (fmod (sinh c) (- c (sqr -2.9807307601812193e+165))))

; timed out
(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 012"
  (acos (pow (fmod (cosh a) (* a a)) (log1p a))))

; crashed
(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 009"
  (fabs (fmod c (asin (- 2.821952756469356e+184 b)))))

; timed out
(lambda ((a default))
  #:name "Random Jason Timeout Test 006"
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))

; timed out
(lambda ((a default) (b default) (c default) (d default))
  #:name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))

; timed out
(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 003"
  (sin (pow (sqrt (atan2 b b)) (- b a))))

; timed out
(lambda ((a default) (b default) (c default) (d default))
  #:name "Random Jason Timeout Test 002"
  (fmod (sinh c) (- c (sqr -2.9807307601812193e+165))))

; crashed
(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 001"
  (+ c (asin (cosh c))))

; timed out
(lambda ((x default) (y default) (z default) (t default) (a default) (b default) (c default) (i default) (j default) (k default) (y0 default) (y1 default) (y2 default) (y3 default) (y4 default) (y5 default))
  #:name "Linear.Matrix:det44 from linear-1.19.1.3"
  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))

; crashed
(lambda ((a default) (b default) (c default))
  #:name "Area of a triangle"
  (sqrt (* (* (* (/ (+ (+ a b) c) 2) (- (/ (+ (+ a b) c) 2) a)) (- (/ (+ (+ a b) c) 2) b)) (- (/ (+ (+ a b) c) 2) c))))