; seed : #(1070386091 2509006183 1430610344 1025408621 36622005 1425925650)

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

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

; timed out
(FPCore (a b c d)
  :name "Random Jason Timeout Test 014"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))

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

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

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

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

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

; timed out
(FPCore (a b c d)
  :name "Random Jason Timeout Test 002"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))

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

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