Use the --timeout
flag to change the timeout.
Time bar (total: 1.0m)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (q r p)
:name "sqrt( 0.5*(1+(q-r)/sqrt(p*p + (q-r)^2)))"
(sqrt (* 0.5 (+ 1 (/ (- q r) (sqrt (+ (* p p) (pow (- q r) 2))))))))