Use the --timeout flag to change the timeout.
Time bar (total: 10.0m)Debug log
herbie shell --seed '#(3622638036 3041702260 3649696288 21285302 1742518495 296600799)'
(FPCore (a b c d)
:name "Complex division, imag part"
:herbie-target
(if (< (fabs d) (fabs c)) (/ (- b (* a (/ d c))) (+ c (* d (/ d c)))) (/ (+ (- a) (* b (/ c d))) (+ d (* c (/ c d)))))
(/ (- (* b c) (* a d)) (+ (* c c) (* d d))))