Timeout in 2.5m

Use the --timeout flag to change the timeout.

\[\left(\left(\left(dz - cz\right) - \left(bz - az\right)\right) - \frac{vz}{vx} \cdot \left(\left(dx - cx\right) - \left(bx - ax\right)\right)\right) \cdot f\]
\left(\left(\left(dz - cz\right) - \left(bz - az\right)\right) - \frac{vz}{vx} \cdot \left(\left(dx - cx\right) - \left(bx - ax\right)\right)\right) \cdot f
double f(double dz, double cz, double bz, double az, double vz, double vx, double dx, double cx, double bx, double ax, double f) {
        double r2437307 = dz;
        double r2437308 = cz;
        double r2437309 = r2437307 - r2437308;
        double r2437310 = bz;
        double r2437311 = az;
        double r2437312 = r2437310 - r2437311;
        double r2437313 = r2437309 - r2437312;
        double r2437314 = vz;
        double r2437315 = vx;
        double r2437316 = r2437314 / r2437315;
        double r2437317 = dx;
        double r2437318 = cx;
        double r2437319 = r2437317 - r2437318;
        double r2437320 = bx;
        double r2437321 = ax;
        double r2437322 = r2437320 - r2437321;
        double r2437323 = r2437319 - r2437322;
        double r2437324 = r2437316 * r2437323;
        double r2437325 = r2437313 - r2437324;
        double r2437326 = f;
        double r2437327 = r2437325 * r2437326;
        return r2437327;
}

Reproduce

herbie shell --seed 1 
(FPCore (dz cz bz az vz vx dx cx bx ax f)
  :name "(((dz - cz) - (bz - az)) - (vz/vx) * ((dx - cx) - (bx - ax)))*f"
  :precision binary64
  (* (- (- (- dz cz) (- bz az)) (* (/ vz vx) (- (- dx cx) (- bx ax)))) f))