; seed : 2018216

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

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