Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (cp cn t s)
  :name "Probabilities in a clustering algorithm"
  :pre (and (< 0 cp) (< 0 cn))
  (/ (* (pow (/ 1 (+ 1 (exp (- s)))) cp) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) cn)) (* (pow (/ 1 (+ 1 (exp (- t)))) cp) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) cn))))