; seed : 2019053

; flags :
;   setup      = (simplify)
;   fn         = (cbrt)
;   rules      = (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 (x n)
  :name "2nthrt (problem 3.4.6)"
  (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))

; timed out
(FPCore (eps)
  :name "logq (problem 3.4.3)"
  (log (/ (- 1 eps) (+ 1 eps))))

; timed out
(FPCore (x)
  :name "exp2 (problem 3.3.7)"
  (+ (- (exp x) 2) (exp (- x))))