Use the --timeout flag to change the timeout.
--timeout
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2018198 (FPCore (x) :name "Hyperbolic arc-(co)tangent" (* (/ 1 2) (log (/ (+ 1 x) (- 1 x)))))