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

; flags :
;   rules      = (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)

; timed out
(FPCore (v)
  :name "Falkner and Boettcher, Appendix B, 2"
  (* (* (/ (sqrt 2) 4) (sqrt (- 1 (* 3 (* v v))))) (- 1 (* v v))))