Use the --timeout flag to change the timeout.
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed '#(1072361757 3390613284 2339397988 1175251238 145061547 3101881848)'
(FPCore (x y z t a b c)
:name "Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2"
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))))))