Average Error: 19.1 → 19.1
Time: 1.3s
Precision: binary64
Cost: 6848
\[c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}\]
↓
\[c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}\]
c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}
↓
c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}
(FPCore (c0 A V l) :precision binary64 (* c0 (sqrt (/ A (* V l)))))
↓
(FPCore (c0 A V l) :precision binary64 (* c0 (sqrt (/ A (* V l)))))
double code(double c0, double A, double V, double l) {
	return c0 * sqrt(A / (V * l));
}
↓
double code(double c0, double A, double V, double l) {
	return c0 * sqrt(A / (V * l));
}

Error

Bits error versus c0

Bits error versus A

Bits error versus V

Bits error versus l

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 19.1

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

Reproduce

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