; seed : #(1063282112 2455465480 4141627379 3773598652 1647277307 776739644)

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

; errored
(FPCore (F l)
  :name "VandenBroeck and Keller, Equation (6)"
  (- (* PI l) (* (/ 1 (* F F)) (tan (* PI l)))))

; timed out
(FPCore (n U t l Om U*)
  :name "Toniolo and Linder, Equation (13)"
  (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))