(FPCore (x y z t) :precision binary64 (- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))
(FPCore (x y z t)
:precision binary64
(let* ((t_1 (- x (/ (log1p (* y (expm1 z))) t))))
(if (<= y -2.5707455697953533e-8)
t_1
(if (<= y 4.770275863169834e-202) (- x (* y (/ (expm1 z) t))) t_1))))double code(double x, double y, double z, double t) {
return x - (log(((1.0 - y) + (y * exp(z)))) / t);
}
double code(double x, double y, double z, double t) {
double t_1 = x - (log1p((y * expm1(z))) / t);
double tmp;
if (y <= -2.5707455697953533e-8) {
tmp = t_1;
} else if (y <= 4.770275863169834e-202) {
tmp = x - (y * (expm1(z) / t));
} else {
tmp = t_1;
}
return tmp;
}
public static double code(double x, double y, double z, double t) {
return x - (Math.log(((1.0 - y) + (y * Math.exp(z)))) / t);
}
public static double code(double x, double y, double z, double t) {
double t_1 = x - (Math.log1p((y * Math.expm1(z))) / t);
double tmp;
if (y <= -2.5707455697953533e-8) {
tmp = t_1;
} else if (y <= 4.770275863169834e-202) {
tmp = x - (y * (Math.expm1(z) / t));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t): return x - (math.log(((1.0 - y) + (y * math.exp(z)))) / t)
def code(x, y, z, t): t_1 = x - (math.log1p((y * math.expm1(z))) / t) tmp = 0 if y <= -2.5707455697953533e-8: tmp = t_1 elif y <= 4.770275863169834e-202: tmp = x - (y * (math.expm1(z) / t)) else: tmp = t_1 return tmp
function code(x, y, z, t) return Float64(x - Float64(log(Float64(Float64(1.0 - y) + Float64(y * exp(z)))) / t)) end
function code(x, y, z, t) t_1 = Float64(x - Float64(log1p(Float64(y * expm1(z))) / t)) tmp = 0.0 if (y <= -2.5707455697953533e-8) tmp = t_1; elseif (y <= 4.770275863169834e-202) tmp = Float64(x - Float64(y * Float64(expm1(z) / t))); else tmp = t_1; end return tmp end
code[x_, y_, z_, t_] := N[(x - N[(N[Log[N[(N[(1.0 - y), $MachinePrecision] + N[(y * N[Exp[z], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]
code[x_, y_, z_, t_] := Block[{t$95$1 = N[(x - N[(N[Log[1 + N[(y * N[(Exp[z] - 1), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -2.5707455697953533e-8], t$95$1, If[LessEqual[y, 4.770275863169834e-202], N[(x - N[(y * N[(N[(Exp[z] - 1), $MachinePrecision] / t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
x - \frac{\log \left(\left(1 - y\right) + y \cdot e^{z}\right)}{t}
\begin{array}{l}
t_1 := x - \frac{\mathsf{log1p}\left(y \cdot \mathsf{expm1}\left(z\right)\right)}{t}\\
\mathbf{if}\;y \leq -2.5707455697953533 \cdot 10^{-8}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;y \leq 4.770275863169834 \cdot 10^{-202}:\\
\;\;\;\;x - y \cdot \frac{\mathsf{expm1}\left(z\right)}{t}\\
\mathbf{else}:\\
\;\;\;\;t_1\\
\end{array}
Results
| Original | 25.2 |
|---|---|
| Target | 16.4 |
| Herbie | 0.5 |
if y < -2.57074556979535332e-8 or 4.7702758631698339e-202 < y Initial program 34.2
Simplified0.7
if -2.57074556979535332e-8 < y < 4.7702758631698339e-202Initial program 11.4
Simplified1.6
Taylor expanded in y around 0 5.4
Simplified0.2
Final simplification0.5
| Alternative 1 | |
|---|---|
| Error | 6.1 |
| Cost | 7112 |
| Alternative 2 | |
|---|---|
| Error | 5.3 |
| Cost | 7112 |
| Alternative 3 | |
|---|---|
| Error | 8.3 |
| Cost | 6980 |
| Alternative 4 | |
|---|---|
| Error | 12.8 |
| Cost | 580 |
| Alternative 5 | |
|---|---|
| Error | 18.5 |
| Cost | 64 |
herbie shell --seed 2022317
(FPCore (x y z t)
:name "System.Random.MWC.Distributions:truncatedExp from mwc-random-0.13.3.2"
:precision binary64
:herbie-target
(if (< z -2.8874623088207947e+119) (- (- x (/ (/ (- 0.5) (* y t)) (* z z))) (* (/ (- 0.5) (* y t)) (/ (/ 2.0 z) (* z z)))) (- x (/ (log (+ 1.0 (* z y))) t)))
(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t)))