Use the --timeout flag to change the timeout.
--timeout
Time bar (total: 10.0m)Debug logProfile
herbie shell --seed 2018336 +o rules:numerics (FPCore (x y) :name "Logistic function from Lakshay Garg" (- (/ 2 (+ 1 (exp (* -2 x)))) 1))