Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[x + \left(y \cdot z\right) \cdot \left(\tanh \left(\frac{t}{y}\right) - \tanh \left(\frac{x}{y}\right)\right)\]
x + \left(y \cdot z\right) \cdot \left(\tanh \left(\frac{t}{y}\right) - \tanh \left(\frac{x}{y}\right)\right)
double f(double x, double y, double z, double t) {
        double r25437508 = x;
        double r25437509 = y;
        double r25437510 = z;
        double r25437511 = r25437509 * r25437510;
        double r25437512 = t;
        double r25437513 = r25437512 / r25437509;
        double r25437514 = tanh(r25437513);
        double r25437515 = r25437508 / r25437509;
        double r25437516 = tanh(r25437515);
        double r25437517 = r25437514 - r25437516;
        double r25437518 = r25437511 * r25437517;
        double r25437519 = r25437508 + r25437518;
        return r25437519;
}

Reproduce

herbie shell --seed 2019168 +o rules:numerics
(FPCore (x y z t)
  :name "SynthBasics:moogVCF from YampaSynth-0.2"

  :herbie-target
  (+ x (* y (* z (- (tanh (/ t y)) (tanh (/ x y))))))

  (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))