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

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

; timed out
(lambda ((n default) (U default) (t default) (l default) (Om default) (U* default))
  #:name "Toniolo and Linder, Equation (13)"
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (sqr l) Om))) (* (* n (sqr (/ l Om))) (- U U*))))))

; 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))
  #:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

; crashed
(lambda ((x default) (y default) (z default) (t default) (a default) (b default))
  #:name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

; 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)))))

; timed out
(lambda ((x default) (y default) (z default) (t default) (a default) (b default) (c default) (i default) (j default))
  #:name "Linear.Matrix:det33 from linear-1.19.1.3"
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))

; timed out
(lambda ((x default) (y default) (z default) (t default) (a default) (b default) (c default) (i default) (j default) (k default))
  #:name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1"
  (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))

; 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))))