; seed : 2020178

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

; crashed
(FPCore (n)
  :name "logs (example 3.8)"
  (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1))