(FPCore (x y z t a) :precision binary64 (- (+ x y) (/ (* (- z t) y) (- a t))))
(FPCore (x y z t a)
:precision binary64
(if (<= a -2.3e+19)
(+ x (fma (- z t) (/ y (- t a)) y))
(if (<= a 2.85e-84)
(+ x (/ z (/ (- t a) y)))
(+ x (* y (+ 1.0 (/ (- z t) (- t a))))))))double code(double x, double y, double z, double t, double a) {
return (x + y) - (((z - t) * y) / (a - t));
}
double code(double x, double y, double z, double t, double a) {
double tmp;
if (a <= -2.3e+19) {
tmp = x + fma((z - t), (y / (t - a)), y);
} else if (a <= 2.85e-84) {
tmp = x + (z / ((t - a) / y));
} else {
tmp = x + (y * (1.0 + ((z - t) / (t - a))));
}
return tmp;
}
function code(x, y, z, t, a) return Float64(Float64(x + y) - Float64(Float64(Float64(z - t) * y) / Float64(a - t))) end
function code(x, y, z, t, a) tmp = 0.0 if (a <= -2.3e+19) tmp = Float64(x + fma(Float64(z - t), Float64(y / Float64(t - a)), y)); elseif (a <= 2.85e-84) tmp = Float64(x + Float64(z / Float64(Float64(t - a) / y))); else tmp = Float64(x + Float64(y * Float64(1.0 + Float64(Float64(z - t) / Float64(t - a))))); end return tmp end
code[x_, y_, z_, t_, a_] := N[(N[(x + y), $MachinePrecision] - N[(N[(N[(z - t), $MachinePrecision] * y), $MachinePrecision] / N[(a - t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[x_, y_, z_, t_, a_] := If[LessEqual[a, -2.3e+19], N[(x + N[(N[(z - t), $MachinePrecision] * N[(y / N[(t - a), $MachinePrecision]), $MachinePrecision] + y), $MachinePrecision]), $MachinePrecision], If[LessEqual[a, 2.85e-84], N[(x + N[(z / N[(N[(t - a), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * N[(1.0 + N[(N[(z - t), $MachinePrecision] / N[(t - a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\left(x + y\right) - \frac{\left(z - t\right) \cdot y}{a - t}
\begin{array}{l}
\mathbf{if}\;a \leq -2.3 \cdot 10^{+19}:\\
\;\;\;\;x + \mathsf{fma}\left(z - t, \frac{y}{t - a}, y\right)\\
\mathbf{elif}\;a \leq 2.85 \cdot 10^{-84}:\\
\;\;\;\;x + \frac{z}{\frac{t - a}{y}}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot \left(1 + \frac{z - t}{t - a}\right)\\
\end{array}
| Original | 16.9 |
|---|---|
| Target | 8.2 |
| Herbie | 6.7 |
if a < -2.3e19Initial program 14.4
Simplified6.7
if -2.3e19 < a < 2.85e-84Initial program 20.2
Simplified11.1
Taylor expanded in z around inf 9.5
Simplified7.8
Applied egg-rr7.7
if 2.85e-84 < a Initial program 14.8
Simplified5.5
Taylor expanded in y around 0 5.5
Simplified5.5
Final simplification6.7
| Alternative 1 | |
|---|---|
| Error | 10.9 |
| Cost | 1104 |
| Alternative 2 | |
|---|---|
| Error | 10.9 |
| Cost | 1104 |
| Alternative 3 | |
|---|---|
| Error | 6.1 |
| Cost | 1096 |
| Alternative 4 | |
|---|---|
| Error | 6.5 |
| Cost | 1096 |
| Alternative 5 | |
|---|---|
| Error | 10.9 |
| Cost | 840 |
| Alternative 6 | |
|---|---|
| Error | 14.3 |
| Cost | 712 |
| Alternative 7 | |
|---|---|
| Error | 20.2 |
| Cost | 456 |
| Alternative 8 | |
|---|---|
| Error | 29.0 |
| Cost | 64 |
herbie shell --seed 2022325
(FPCore (x y z t a)
:name "Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTick from plot-0.2.3.4, B"
:precision binary64
:herbie-target
(if (< (- (+ x y) (/ (* (- z t) y) (- a t))) -1.3664970889390727e-7) (- (+ y x) (* (* (- z t) (/ 1.0 (- a t))) y)) (if (< (- (+ x y) (/ (* (- z t) y) (- a t))) 1.4754293444577233e-239) (/ (- (* y (- a z)) (* x t)) (- a t)) (- (+ y x) (* (* (- z t) (/ 1.0 (- a t))) y))))
(- (+ x y) (/ (* (- z t) y) (- a t))))