; seed : 2018216

; flags :
;   setup      = (simplify)
;   fn         = (cbrt)
;   rules      = (numerics arithmetic polynomials fractions exponents trigonometry hyperbolic complex special bools branches)
;   generate   = (rr taylor simplify)
;   reduce     = (regimes taylor simplify avg-error binary-search branch-expressions)
;   precision  = (double fallback)

; errored
(FPCore (a b)
  :name "Random Jason Timeout Test 015"
  (sin (pow (sqrt (atan2 b b)) (- b a))))

; errored
(FPCore (c)
  :name "Random Jason Timeout Test 014"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))

; errored
(FPCore (a)
  :name "Random Jason Timeout Test 012"
  (acos (pow (fmod (cosh a) (* a a)) (log1p a))))

; errored
(FPCore (x y)
  :name "Random Jason Timeout Test 009"
  (fabs (fmod y (asin (- 2.821952756469356e+184 x)))))

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

; errored
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))

; errored
(FPCore (a b)
  :name "Random Jason Timeout Test 003"
  (sin (pow (sqrt (atan2 b b)) (- b a))))

; errored
(FPCore (c)
  :name "Random Jason Timeout Test 002"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))

; errored
(FPCore (x)
  :name "Random Jason Timeout Test 001"
  (+ x (asin (cosh x))))

; errored
(FPCore (a b c)
  :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))))