; seed : #(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)

; flags :
;   rules      = (arithmetic polynomials fractions exponents trigonometry hyperbolic)
;   setup      = (simplify)
;   generate   = (rr taylor simplify)
;   reduce     = (regimes taylor simplify avg-error binary-search)
;   precision  = (double)

; timed out
(FPCore (x1 x2 x3 x4 x5 x6)
  :name "kepler2"
  (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (- x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))

; timed out
(FPCore (x1 x2 x3 x4 x5 x6)
  :name "hartman6"
  (- (+ (+ (+ (* 1.0 (exp (- (+ (+ (+ (+ (+ (* 10.0 (* (- x1 0.1312) (- x1 0.1312))) (* 3.0 (* (- x2 0.1696) (- x2 0.1696)))) (* 17.0 (* (- x3 0.5569) (- x3 0.5569)))) (* 3.5 (* (- x4 0.0124) (- x4 0.0124)))) (* 1.7 (* (- x5 0.8283) (- x5 0.8283)))) (* 8.0 (* (- x6 0.5886) (- x6 0.5886))))))) (* 1.2 (exp (- (+ (+ (+ (+ (+ (* 0.05 (* (- x1 0.2329) (- x1 0.2329))) (* 10.0 (* (- x2 0.4135) (- x2 0.4135)))) (* 17.0 (* (- x3 0.8307) (- x3 0.8307)))) (* 0.1 (* (- x4 0.3736) (- x4 0.3736)))) (* 8.0 (* (- x5 0.1004) (- x5 0.1004)))) (* 14.0 (* (- x6 0.9991) (- x6 0.9991)))))))) (* 3.0 (exp (- (+ (+ (+ (+ (+ (* 3.0 (* (- x1 0.2348) (- x1 0.2348))) (* 3.5 (* (- x2 0.1451) (- x2 0.1451)))) (* 1.7 (* (- x3 0.3522) (- x3 0.3522)))) (* 10.0 (* (- x4 0.2883) (- x4 0.2883)))) (* 17.0 (* (- x5 0.3047) (- x5 0.3047)))) (* 8.0 (* (- x6 0.665) (- x6 0.665)))))))) (* 3.2 (exp (- (+ (+ (+ (+ (+ (* 17.0 (* (- x1 0.4047) (- x1 0.4047))) (* 8.0 (* (- x2 0.8828) (- x2 0.8828)))) (* 0.05 (* (- x3 0.8732) (- x3 0.8732)))) (* 10.0 (* (- x4 0.5743) (- x4 0.5743)))) (* 0.1 (* (- x5 0.1091) (- x5 0.1091)))) (* 14.0 (* (- x6 0.0381) (- x6 0.0381))))))))))

; timed out
(FPCore (x1 x2 x3)
  :name "hartman3"
  (- (+ (+ (+ (* 1.0 (exp (- (+ (+ (* 3.0 (* (- x1 0.3689) (- x1 0.3689))) (* 10.0 (* (- x2 0.117) (- x2 0.117)))) (* 30.0 (* (- x3 0.2673) (- x3 0.2673))))))) (* 1.2 (exp (- (+ (+ (* 0.1 (* (- x1 0.4699) (- x1 0.4699))) (* 10.0 (* (- x2 0.4387) (- x2 0.4387)))) (* 35.0 (* (- x3 0.747) (- x3 0.747)))))))) (* 3.0 (exp (- (+ (+ (* 3.0 (* (- x1 0.1091) (- x1 0.1091))) (* 10.0 (* (- x2 0.8732) (- x2 0.8732)))) (* 30.0 (* (- x3 0.5547) (- x3 0.5547)))))))) (* 3.2 (exp (- (+ (+ (* 0.1 (* (- x1 0.03815) (- x1 0.03815))) (* 10.0 (* (- x2 0.5743) (- x2 0.5743)))) (* 35.0 (* (- x3 0.8828) (- x3 0.8828))))))))))

; errored
(FPCore (x1 x2 x3 x4 x5 x6)
  :name "floudas1"
  (- (- (- (- (- (* -25 (* (- x1 2) (- x1 2))) (* (- x2 2) (- x2 2))) (* (- x3 1) (- x3 1))) (* (- x4 4) (- x4 4))) (* (- x5 1) (- x5 1))) (* (- x6 4) (- x6 4))))

; timed out
(FPCore (cp cn t s)
  :name "Probabilities in a clustering algorithm"
  (/ (* (pow (/ 1 (+ 1 (exp (- s)))) cp) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) cn)) (* (pow (/ 1 (+ 1 (exp (- t)))) cp) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) cn))))

; crashed
(FPCore (re im)
  :name "Complex square root"
  (* 0.5 (sqrt (* 2.0 (+ (sqrt (+ (* re re) (* im im))) re)))))