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 r7370598 = 1.0;
        double r7370599 = s;
        double r7370600 = -r7370599;
        double r7370601 = exp(r7370600);
        double r7370602 = r7370598 + r7370601;
        double r7370603 = r7370598 / r7370602;
        double r7370604 = c_p;
        double r7370605 = pow(r7370603, r7370604);
        double r7370606 = r7370598 - r7370603;
        double r7370607 = c_n;
        double r7370608 = pow(r7370606, r7370607);
        double r7370609 = r7370605 * r7370608;
        double r7370610 = t;
        double r7370611 = -r7370610;
        double r7370612 = exp(r7370611);
        double r7370613 = r7370598 + r7370612;
        double r7370614 = r7370598 / r7370613;
        double r7370615 = pow(r7370614, r7370604);
        double r7370616 = r7370598 - r7370614;
        double r7370617 = pow(r7370616, r7370607);
        double r7370618 = r7370615 * r7370617;
        double r7370619 = r7370609 / r7370618;
        return r7370619;
}

Reproduce

herbie shell --seed 2019158 
(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))))