; seed : #(1071215679 2002590028 935158157 1944352234 2656991306 2955288481)

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

; timed out
(FPCore (x eps)
  :name "NMSE Section 6.1 mentioned, A"
  (/ (- (* (+ 1 (/ 1 eps)) (exp (- (* (- 1 eps) x)))) (* (- (/ 1 eps) 1) (exp (- (* (+ 1 eps) x))))) 2))

; timed out
(FPCore (i n)
  :name "Compound Interest"
  (* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))))

; errored
(FPCore (a b c)
  :name "Area of a triangle"
  (sqrt (* (* (* (/ (+ (+ a b) c) 2) (- (/ (+ (+ a b) c) 2) a)) (- (/ (+ (+ a b) c) 2) b)) (- (/ (+ (+ a b) c) 2) c))))

