Use the --timeout flag to change the timeout.
--timeout
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2018248 (FPCore (x) :name "Asymptote C" (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))