Timeout after 10.0m

Use the --timeout flag to change the timeout.

\[c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}\]

c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}

double code(double c0, double A, double V, double l) {
	return ((double) (c0 * ((double) sqrt(((double) (A / ((double) (V * l))))))));
}

Reproduce

herbie shell --seed 2020114 +o rules:numerics
(FPCore (c0 A V l)
  :name "Henrywood and Agarwal, Equation (3)"
  :precision binary64
  (* c0 (sqrt (/ A (* V l)))))