Use the --timeout flag to change the timeout.
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2020178
(FPCore (eps)
:name "logq (problem 3.4.3)"
:herbie-target
(* -2 (+ (+ eps (/ (pow eps 3) 3)) (/ (pow eps 5) 5)))
(log (/ (- 1 eps) (+ 1 eps))))