| Alternative 1 | |
|---|---|
| Error | 17.5 |
| Cost | 27660 |
(FPCore (d h l M D) :precision binary64 (* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)))))
(FPCore (d h l M D)
:precision binary64
(let* ((t_0 (pow (* (/ 0.5 d) (* M D)) 2.0)) (t_1 (sqrt (- d))))
(if (<= d -4.2e+96)
(*
(* (/ t_1 (sqrt (- h))) (pow (/ d l) 0.5))
(+ 1.0 (/ (* (* h t_0) -0.5) l)))
(if (<= d -5e-309)
(*
(* (pow (/ d h) 0.5) (/ t_1 (sqrt (- l))))
(- 1.0 (/ (* 0.5 t_0) (/ l h))))
(if (<= d 6.8e+154)
(/
(*
(fma (* 0.25 (pow (* M (/ D d)) 2.0)) (* (/ h l) -0.5) 1.0)
(/ d (sqrt h)))
(sqrt l))
(/ d (* (sqrt h) (sqrt l))))))))double code(double d, double h, double l, double M, double D) {
return (pow((d / h), (1.0 / 2.0)) * pow((d / l), (1.0 / 2.0))) * (1.0 - (((1.0 / 2.0) * pow(((M * D) / (2.0 * d)), 2.0)) * (h / l)));
}
double code(double d, double h, double l, double M, double D) {
double t_0 = pow(((0.5 / d) * (M * D)), 2.0);
double t_1 = sqrt(-d);
double tmp;
if (d <= -4.2e+96) {
tmp = ((t_1 / sqrt(-h)) * pow((d / l), 0.5)) * (1.0 + (((h * t_0) * -0.5) / l));
} else if (d <= -5e-309) {
tmp = (pow((d / h), 0.5) * (t_1 / sqrt(-l))) * (1.0 - ((0.5 * t_0) / (l / h)));
} else if (d <= 6.8e+154) {
tmp = (fma((0.25 * pow((M * (D / d)), 2.0)), ((h / l) * -0.5), 1.0) * (d / sqrt(h))) / sqrt(l);
} else {
tmp = d / (sqrt(h) * sqrt(l));
}
return tmp;
}
function code(d, h, l, M, D) return Float64(Float64((Float64(d / h) ^ Float64(1.0 / 2.0)) * (Float64(d / l) ^ Float64(1.0 / 2.0))) * Float64(1.0 - Float64(Float64(Float64(1.0 / 2.0) * (Float64(Float64(M * D) / Float64(2.0 * d)) ^ 2.0)) * Float64(h / l)))) end
function code(d, h, l, M, D) t_0 = Float64(Float64(0.5 / d) * Float64(M * D)) ^ 2.0 t_1 = sqrt(Float64(-d)) tmp = 0.0 if (d <= -4.2e+96) tmp = Float64(Float64(Float64(t_1 / sqrt(Float64(-h))) * (Float64(d / l) ^ 0.5)) * Float64(1.0 + Float64(Float64(Float64(h * t_0) * -0.5) / l))); elseif (d <= -5e-309) tmp = Float64(Float64((Float64(d / h) ^ 0.5) * Float64(t_1 / sqrt(Float64(-l)))) * Float64(1.0 - Float64(Float64(0.5 * t_0) / Float64(l / h)))); elseif (d <= 6.8e+154) tmp = Float64(Float64(fma(Float64(0.25 * (Float64(M * Float64(D / d)) ^ 2.0)), Float64(Float64(h / l) * -0.5), 1.0) * Float64(d / sqrt(h))) / sqrt(l)); else tmp = Float64(d / Float64(sqrt(h) * sqrt(l))); end return tmp end
code[d_, h_, l_, M_, D_] := N[(N[(N[Power[N[(d / h), $MachinePrecision], N[(1.0 / 2.0), $MachinePrecision]], $MachinePrecision] * N[Power[N[(d / l), $MachinePrecision], N[(1.0 / 2.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(N[(N[(1.0 / 2.0), $MachinePrecision] * N[Power[N[(N[(M * D), $MachinePrecision] / N[(2.0 * d), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] * N[(h / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[d_, h_, l_, M_, D_] := Block[{t$95$0 = N[Power[N[(N[(0.5 / d), $MachinePrecision] * N[(M * D), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]}, Block[{t$95$1 = N[Sqrt[(-d)], $MachinePrecision]}, If[LessEqual[d, -4.2e+96], N[(N[(N[(t$95$1 / N[Sqrt[(-h)], $MachinePrecision]), $MachinePrecision] * N[Power[N[(d / l), $MachinePrecision], 0.5], $MachinePrecision]), $MachinePrecision] * N[(1.0 + N[(N[(N[(h * t$95$0), $MachinePrecision] * -0.5), $MachinePrecision] / l), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[d, -5e-309], N[(N[(N[Power[N[(d / h), $MachinePrecision], 0.5], $MachinePrecision] * N[(t$95$1 / N[Sqrt[(-l)], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(N[(0.5 * t$95$0), $MachinePrecision] / N[(l / h), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[d, 6.8e+154], N[(N[(N[(N[(0.25 * N[Power[N[(M * N[(D / d), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] * N[(N[(h / l), $MachinePrecision] * -0.5), $MachinePrecision] + 1.0), $MachinePrecision] * N[(d / N[Sqrt[h], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sqrt[l], $MachinePrecision]), $MachinePrecision], N[(d / N[(N[Sqrt[h], $MachinePrecision] * N[Sqrt[l], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\left({\left(\frac{d}{h}\right)}^{\left(\frac{1}{2}\right)} \cdot {\left(\frac{d}{\ell}\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\begin{array}{l}
t_0 := {\left(\frac{0.5}{d} \cdot \left(M \cdot D\right)\right)}^{2}\\
t_1 := \sqrt{-d}\\
\mathbf{if}\;d \leq -4.2 \cdot 10^{+96}:\\
\;\;\;\;\left(\frac{t_1}{\sqrt{-h}} \cdot {\left(\frac{d}{\ell}\right)}^{0.5}\right) \cdot \left(1 + \frac{\left(h \cdot t_0\right) \cdot -0.5}{\ell}\right)\\
\mathbf{elif}\;d \leq -5 \cdot 10^{-309}:\\
\;\;\;\;\left({\left(\frac{d}{h}\right)}^{0.5} \cdot \frac{t_1}{\sqrt{-\ell}}\right) \cdot \left(1 - \frac{0.5 \cdot t_0}{\frac{\ell}{h}}\right)\\
\mathbf{elif}\;d \leq 6.8 \cdot 10^{+154}:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.25 \cdot {\left(M \cdot \frac{D}{d}\right)}^{2}, \frac{h}{\ell} \cdot -0.5, 1\right) \cdot \frac{d}{\sqrt{h}}}{\sqrt{\ell}}\\
\mathbf{else}:\\
\;\;\;\;\frac{d}{\sqrt{h} \cdot \sqrt{\ell}}\\
\end{array}
if d < -4.2000000000000002e96Initial program 27.6
Applied egg-rr26.8
Applied egg-rr13.3
if -4.2000000000000002e96 < d < -4.9999999999999995e-309Initial program 26.8
Applied egg-rr26.6
Applied egg-rr22.3
if -4.9999999999999995e-309 < d < 6.79999999999999948e154Initial program 25.6
Simplified26.5
[Start]25.6 | \[ \left({\left(\frac{d}{h}\right)}^{\left(\frac{1}{2}\right)} \cdot {\left(\frac{d}{\ell}\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\] |
|---|---|
metadata-eval [=>]25.6 | \[ \left({\left(\frac{d}{h}\right)}^{\color{blue}{0.5}} \cdot {\left(\frac{d}{\ell}\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\] |
unpow1/2 [=>]25.6 | \[ \left(\color{blue}{\sqrt{\frac{d}{h}}} \cdot {\left(\frac{d}{\ell}\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\] |
metadata-eval [=>]25.6 | \[ \left(\sqrt{\frac{d}{h}} \cdot {\left(\frac{d}{\ell}\right)}^{\color{blue}{0.5}}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\] |
unpow1/2 [=>]25.6 | \[ \left(\sqrt{\frac{d}{h}} \cdot \color{blue}{\sqrt{\frac{d}{\ell}}}\right) \cdot \left(1 - \left(\frac{1}{2} \cdot {\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2}\right) \cdot \frac{h}{\ell}\right)
\] |
associate-*l* [=>]25.6 | \[ \left(\sqrt{\frac{d}{h}} \cdot \sqrt{\frac{d}{\ell}}\right) \cdot \left(1 - \color{blue}{\frac{1}{2} \cdot \left({\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2} \cdot \frac{h}{\ell}\right)}\right)
\] |
metadata-eval [=>]25.6 | \[ \left(\sqrt{\frac{d}{h}} \cdot \sqrt{\frac{d}{\ell}}\right) \cdot \left(1 - \color{blue}{0.5} \cdot \left({\left(\frac{M \cdot D}{2 \cdot d}\right)}^{2} \cdot \frac{h}{\ell}\right)\right)
\] |
times-frac [=>]26.5 | \[ \left(\sqrt{\frac{d}{h}} \cdot \sqrt{\frac{d}{\ell}}\right) \cdot \left(1 - 0.5 \cdot \left({\color{blue}{\left(\frac{M}{2} \cdot \frac{D}{d}\right)}}^{2} \cdot \frac{h}{\ell}\right)\right)
\] |
Applied egg-rr19.4
Simplified19.5
[Start]19.4 | \[ \frac{d}{\sqrt{h} \cdot \sqrt{\ell}} + \frac{d}{\sqrt{h} \cdot \sqrt{\ell}} \cdot \left(\left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}\right)
\] |
|---|---|
*-lft-identity [<=]19.4 | \[ \color{blue}{1 \cdot \frac{d}{\sqrt{h} \cdot \sqrt{\ell}}} + \frac{d}{\sqrt{h} \cdot \sqrt{\ell}} \cdot \left(\left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}\right)
\] |
*-commutative [<=]19.4 | \[ 1 \cdot \frac{d}{\sqrt{h} \cdot \sqrt{\ell}} + \color{blue}{\left(\left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}\right) \cdot \frac{d}{\sqrt{h} \cdot \sqrt{\ell}}}
\] |
distribute-rgt-in [<=]19.4 | \[ \color{blue}{\frac{d}{\sqrt{h} \cdot \sqrt{\ell}} \cdot \left(1 + \left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}\right)}
\] |
associate-/r* [=>]19.5 | \[ \color{blue}{\frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}}} \cdot \left(1 + \left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}\right)
\] |
+-commutative [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \color{blue}{\left(\left(-0.5 \cdot \frac{h}{\ell}\right) \cdot {\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2} + 1\right)}
\] |
*-commutative [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \left(\color{blue}{{\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2} \cdot \left(-0.5 \cdot \frac{h}{\ell}\right)} + 1\right)
\] |
fma-def [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \color{blue}{\mathsf{fma}\left({\left(M \cdot \left(0.5 \cdot \frac{D}{d}\right)\right)}^{2}, -0.5 \cdot \frac{h}{\ell}, 1\right)}
\] |
*-commutative [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \mathsf{fma}\left({\left(M \cdot \color{blue}{\left(\frac{D}{d} \cdot 0.5\right)}\right)}^{2}, -0.5 \cdot \frac{h}{\ell}, 1\right)
\] |
associate-*r* [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \mathsf{fma}\left({\color{blue}{\left(\left(M \cdot \frac{D}{d}\right) \cdot 0.5\right)}}^{2}, -0.5 \cdot \frac{h}{\ell}, 1\right)
\] |
*-commutative [=>]19.5 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}} \cdot \mathsf{fma}\left({\left(\left(M \cdot \frac{D}{d}\right) \cdot 0.5\right)}^{2}, \color{blue}{\frac{h}{\ell} \cdot -0.5}, 1\right)
\] |
Applied egg-rr19.0
if 6.79999999999999948e154 < d Initial program 29.1
Taylor expanded in d around inf 17.2
Simplified16.7
[Start]17.2 | \[ \sqrt{\frac{1}{\ell \cdot h}} \cdot d
\] |
|---|---|
*-commutative [=>]17.2 | \[ \color{blue}{d \cdot \sqrt{\frac{1}{\ell \cdot h}}}
\] |
associate-/l/ [<=]16.7 | \[ d \cdot \sqrt{\color{blue}{\frac{\frac{1}{h}}{\ell}}}
\] |
Applied egg-rr14.4
Simplified6.6
[Start]14.4 | \[ \frac{\frac{d}{\sqrt{h}}}{\sqrt{\ell}}
\] |
|---|---|
associate-/l/ [=>]6.6 | \[ \color{blue}{\frac{d}{\sqrt{\ell} \cdot \sqrt{h}}}
\] |
Final simplification17.7
| Alternative 1 | |
|---|---|
| Error | 17.5 |
| Cost | 27660 |
| Alternative 2 | |
|---|---|
| Error | 17.4 |
| Cost | 27660 |
| Alternative 3 | |
|---|---|
| Error | 17.2 |
| Cost | 27660 |
| Alternative 4 | |
|---|---|
| Error | 18.8 |
| Cost | 27528 |
| Alternative 5 | |
|---|---|
| Error | 20.7 |
| Cost | 21268 |
| Alternative 6 | |
|---|---|
| Error | 20.6 |
| Cost | 21136 |
| Alternative 7 | |
|---|---|
| Error | 23.1 |
| Cost | 21008 |
| Alternative 8 | |
|---|---|
| Error | 23.0 |
| Cost | 21008 |
| Alternative 9 | |
|---|---|
| Error | 19.7 |
| Cost | 21004 |
| Alternative 10 | |
|---|---|
| Error | 20.6 |
| Cost | 21004 |
| Alternative 11 | |
|---|---|
| Error | 23.1 |
| Cost | 20880 |
| Alternative 12 | |
|---|---|
| Error | 23.8 |
| Cost | 15188 |
| Alternative 13 | |
|---|---|
| Error | 23.8 |
| Cost | 15188 |
| Alternative 14 | |
|---|---|
| Error | 23.8 |
| Cost | 15188 |
| Alternative 15 | |
|---|---|
| Error | 24.3 |
| Cost | 13384 |
| Alternative 16 | |
|---|---|
| Error | 23.4 |
| Cost | 13384 |
| Alternative 17 | |
|---|---|
| Error | 28.1 |
| Cost | 7176 |
| Alternative 18 | |
|---|---|
| Error | 34.9 |
| Cost | 6980 |
| Alternative 19 | |
|---|---|
| Error | 33.5 |
| Cost | 6980 |
| Alternative 20 | |
|---|---|
| Error | 33.5 |
| Cost | 6980 |
| Alternative 21 | |
|---|---|
| Error | 44.2 |
| Cost | 6720 |
herbie shell --seed 2023027
(FPCore (d h l M D)
:name "Henrywood and Agarwal, Equation (12)"
:precision binary64
(* (* (pow (/ d h) (/ 1.0 2.0)) (pow (/ d l) (/ 1.0 2.0))) (- 1.0 (* (* (/ 1.0 2.0) (pow (/ (* M D) (* 2.0 d)) 2.0)) (/ h l)))))