; seed : #(1070991898 1055468627 4280279443 640792587 928206309 3646738750)

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

; crashed
(FPCore (x)
  :name "Hyperbolic arc-cosine"
  (log (+ x (sqrt (- (* x x) 1)))))

; crashed
(FPCore (x)
  :name "Hyperbolic arc-(co)secant"
  (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))

; timed out
(FPCore (x)
  :name "Asymptote C"
  (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))

; crashed
(FPCore (g h a)
  :name "2-ancestry mixing, positive discriminant"
  (+ (cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))))

; timed out
(FPCore (c_p c_n t s)
  :name "Harley's example"
  (/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))