; seed : #(1064269945 2896236262 301053905 1701069080 1701464310 1614783279)

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

; crashed
(FPCore (F B x)
  :name "VandenBroeck and Keller, Equation (23)"
  (+ (- (* x (/ 1 (tan B)))) (* (/ F (sin B)) (pow (+ (+ (* F F) 2) (* 2 x)) (- (/ 1 2))))))

; crashed
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))))