Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

herbie shell --seed 2018216 
(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*))))))