; seed : #(1065894488 2199264003 1058398788 1110142813 3223388056 148167450)

; flags :
;   rules      = (numerics 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) (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))))