Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[0 \lt c_p \land 0 \lt c_n\]
\[\frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{-t}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}\]
\frac{{\left(\frac{1}{1 + e^{-s}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-s}}\right)}^{c_n}}{{\left(\frac{1}{1 + e^{-t}}\right)}^{c_p} \cdot {\left(1 - \frac{1}{1 + e^{-t}}\right)}^{c_n}}
double f(double c_p, double c_n, double t, double s) {
        double r7920347 = 1.0;
        double r7920348 = s;
        double r7920349 = -r7920348;
        double r7920350 = exp(r7920349);
        double r7920351 = r7920347 + r7920350;
        double r7920352 = r7920347 / r7920351;
        double r7920353 = c_p;
        double r7920354 = pow(r7920352, r7920353);
        double r7920355 = r7920347 - r7920352;
        double r7920356 = c_n;
        double r7920357 = pow(r7920355, r7920356);
        double r7920358 = r7920354 * r7920357;
        double r7920359 = t;
        double r7920360 = -r7920359;
        double r7920361 = exp(r7920360);
        double r7920362 = r7920347 + r7920361;
        double r7920363 = r7920347 / r7920362;
        double r7920364 = pow(r7920363, r7920353);
        double r7920365 = r7920347 - r7920363;
        double r7920366 = pow(r7920365, r7920356);
        double r7920367 = r7920364 * r7920366;
        double r7920368 = r7920358 / r7920367;
        return r7920368;
}

Reproduce

herbie shell --seed 2019130 
(FPCore (c_p c_n t s)
  :name "Harley's example"
  :pre (and (< 0 c_p) (< 0 c_n))

  :herbie-target
  (* (pow (/ (+ 1 (exp (- t))) (+ 1 (exp (- s)))) c_p) (pow (/ (+ 1 (exp t)) (+ 1 (exp s))) c_n))

  (/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))))