; seed : #(1065543365 620684644 906956026 369308393 342036037 1300431646)

; flags :
;   rules      = (arithmetic polynomials fractions exponents trigonometry)
;   setup      = (simplify)
;   reduce     = (post-process regimes 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))))

; 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))
  #:name "Linear.V4:$cdot from linear-1.19.1.3"
  (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

; 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))
  #:name "Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3"
  (+ x (* (/ (- y z) (- (+ t 1.0) z)) (- a x))))

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