c0 \cdot \sqrt{\frac{A}{V \cdot \ell}}\left(c0 \cdot \left|\frac{\frac{\sqrt[3]{A}}{\sqrt[3]{\ell}}}{\sqrt[3]{V}}\right|\right) \cdot \sqrt{\frac{\frac{\sqrt[3]{A}}{\sqrt[3]{\ell}}}{\sqrt[3]{V}}}(FPCore (c0 A V l) :precision binary64 (* c0 (sqrt (/ A (* V l)))))
(FPCore (c0 A V l) :precision binary64 (* (* c0 (fabs (/ (/ (cbrt A) (cbrt l)) (cbrt V)))) (sqrt (/ (/ (cbrt A) (cbrt l)) (cbrt V)))))
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 * fabs((cbrt(A) / cbrt(l)) / cbrt(V))) * sqrt((cbrt(A) / cbrt(l)) / cbrt(V));
}






















Bits error versus c0






















Bits error versus A






















Bits error versus V






















Bits error versus l
Results
| Alternative 1 | |
|---|---|
| Error | 2.4 |
| Cost | 52032 |
| Alternative 2 | |
|---|---|
| Error | 5.4 |
| Cost | 46979 |
| Alternative 3 | |
|---|---|
| Error | 4.9 |
| Cost | 39948 |
| Alternative 4 | |
|---|---|
| Error | 5.8 |
| Cost | 40451 |
| Alternative 5 | |
|---|---|
| Error | 6.7 |
| Cost | 34628 |
| Alternative 6 | |
|---|---|
| Error | 8.4 |
| Cost | 34628 |
| Alternative 7 | |
|---|---|
| Error | 8.4 |
| Cost | 34628 |
| Alternative 8 | |
|---|---|
| Error | 8.6 |
| Cost | 28100 |
| Alternative 9 | |
|---|---|
| Error | 9.9 |
| Cost | 27074 |
| Alternative 10 | |
|---|---|
| Error | 11.5 |
| Cost | 15172 |
| Alternative 11 | |
|---|---|
| Error | 11.3 |
| Cost | 15044 |
| Alternative 12 | |
|---|---|
| Error | 11.4 |
| Cost | 15044 |
| Alternative 13 | |
|---|---|
| Error | 11.2 |
| Cost | 15044 |
| Alternative 14 | |
|---|---|
| Error | 14.6 |
| Cost | 8644 |
| Alternative 15 | |
|---|---|
| Error | 14.4 |
| Cost | 8644 |
| Alternative 16 | |
|---|---|
| Error | 14.4 |
| Cost | 7953 |
| Alternative 17 | |
|---|---|
| Error | 19.2 |
| Cost | 6848 |
| Alternative 18 | |
|---|---|
| Error | 55.1 |
| Cost | 64 |
| Alternative 19 | |
|---|---|
| Error | 61.7 |
| Cost | 64 |

Initial program 19.2
rmApplied add-cube-cbrt_binary64_113619.5
Applied times-frac_binary64_110718.0
rmApplied associate-*l/_binary64_104419.5
Simplified19.2
rmApplied add-cube-cbrt_binary64_113619.5
Applied add-cube-cbrt_binary64_113619.7
Applied add-cube-cbrt_binary64_113619.7
Applied times-frac_binary64_110719.7
Applied times-frac_binary64_110715.5
Applied sqrt-prod_binary64_11177.3
Applied associate-*r*_binary64_10417.3
Simplified1.1
Simplified1.1
Final simplification1.1
herbie shell --seed 2021044
(FPCore (c0 A V l)
:name "Henrywood and Agarwal, Equation (3)"
:precision binary64
(* c0 (sqrt (/ A (* V l)))))