; seed : 2018296

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

; timed out
(FPCore (f)
  :name "VandenBroeck and Keller, Equation (20)"
  (- (* (/ 1 (/ PI 4)) (log (/ (+ (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))) (- (exp (* (/ PI 4) f)) (exp (- (* (/ PI 4) f)))))))))

; timed out
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))