# 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))