Use the --timeout flag to change the timeout.
--timeout
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2018230 (FPCore (x n) :name "2nthrt (problem 3.4.6)" (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))))