
(FPCore (x y z t a b c i) :precision binary64 (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (((((x * log(y)) + z) + t) + a) + ((b - 0.5) * log(c))) + (y * i);
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
code = (((((x * log(y)) + z) + t) + a) + ((b - 0.5d0) * log(c))) + (y * i)
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (((((x * Math.log(y)) + z) + t) + a) + ((b - 0.5) * Math.log(c))) + (y * i);
}
def code(x, y, z, t, a, b, c, i): return (((((x * math.log(y)) + z) + t) + a) + ((b - 0.5) * math.log(c))) + (y * i)
function code(x, y, z, t, a, b, c, i) return Float64(Float64(Float64(Float64(Float64(Float64(x * log(y)) + z) + t) + a) + Float64(Float64(b - 0.5) * log(c))) + Float64(y * i)) end
function tmp = code(x, y, z, t, a, b, c, i) tmp = (((((x * log(y)) + z) + t) + a) + ((b - 0.5) * log(c))) + (y * i); end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(N[(N[(N[(N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] + z), $MachinePrecision] + t), $MachinePrecision] + a), $MachinePrecision] + N[(N[(b - 0.5), $MachinePrecision] * N[Log[c], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\left(\left(x \cdot \log y + z\right) + t\right) + a\right) + \left(b - 0.5\right) \cdot \log c\right) + y \cdot i
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 26 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a b c i) :precision binary64 (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (((((x * log(y)) + z) + t) + a) + ((b - 0.5) * log(c))) + (y * i);
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
code = (((((x * log(y)) + z) + t) + a) + ((b - 0.5d0) * log(c))) + (y * i)
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (((((x * Math.log(y)) + z) + t) + a) + ((b - 0.5) * Math.log(c))) + (y * i);
}
def code(x, y, z, t, a, b, c, i): return (((((x * math.log(y)) + z) + t) + a) + ((b - 0.5) * math.log(c))) + (y * i)
function code(x, y, z, t, a, b, c, i) return Float64(Float64(Float64(Float64(Float64(Float64(x * log(y)) + z) + t) + a) + Float64(Float64(b - 0.5) * log(c))) + Float64(y * i)) end
function tmp = code(x, y, z, t, a, b, c, i) tmp = (((((x * log(y)) + z) + t) + a) + ((b - 0.5) * log(c))) + (y * i); end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(N[(N[(N[(N[(N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision] + z), $MachinePrecision] + t), $MachinePrecision] + a), $MachinePrecision] + N[(N[(b - 0.5), $MachinePrecision] * N[Log[c], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(\left(\left(\left(x \cdot \log y + z\right) + t\right) + a\right) + \left(b - 0.5\right) \cdot \log c\right) + y \cdot i
\end{array}
(FPCore (x y z t a b c i) :precision binary64 (fma y i (fma (+ b -0.5) (log c) (+ z (fma x (log y) (+ t a))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return fma(y, i, fma((b + -0.5), log(c), (z + fma(x, log(y), (t + a)))));
}
function code(x, y, z, t, a, b, c, i) return fma(y, i, fma(Float64(b + -0.5), log(c), Float64(z + fma(x, log(y), Float64(t + a))))) end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(y * i + N[(N[(b + -0.5), $MachinePrecision] * N[Log[c], $MachinePrecision] + N[(z + N[(x * N[Log[y], $MachinePrecision] + N[(t + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\mathsf{fma}\left(y, i, \mathsf{fma}\left(b + -0.5, \log c, z + \mathsf{fma}\left(x, \log y, t + a\right)\right)\right)
\end{array}
Initial program 99.8%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.8
Applied egg-rr99.8%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1
(+
(* y i)
(+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))))
(if (<= t_1 (- INFINITY))
(* y i)
(if (<= t_1 -200.0) (+ a (+ z t)) (fma y i a)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = (y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)));
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = y * i;
} else if (t_1 <= -200.0) {
tmp = a + (z + t);
} else {
tmp = fma(y, i, a);
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = Float64(y * i); elseif (t_1 <= -200.0) tmp = Float64(a + Float64(z + t)); else tmp = fma(y, i, a); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], N[(y * i), $MachinePrecision], If[LessEqual[t$95$1, -200.0], N[(a + N[(z + t), $MachinePrecision]), $MachinePrecision], N[(y * i + a), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right)\\
\mathbf{if}\;t\_1 \leq -\infty:\\
\;\;\;\;y \cdot i\\
\mathbf{elif}\;t\_1 \leq -200:\\
\;\;\;\;a + \left(z + t\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(y, i, a\right)\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -inf.0Initial program 100.0%
Taylor expanded in y around inf
*-lowering-*.f64100.0
Simplified100.0%
if -inf.0 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -200Initial program 99.7%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6486.5
Simplified86.5%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6474.0
Simplified74.0%
Taylor expanded in z around inf
Simplified50.4%
if -200 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.9
Applied egg-rr99.9%
Taylor expanded in a around inf
Simplified40.7%
Final simplification48.5%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1
(+
(* y i)
(+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))))
(if (<= t_1 (- INFINITY))
(* y i)
(if (<= t_1 4e+307) (+ a (+ z t)) (* y i)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = (y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)));
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = y * i;
} else if (t_1 <= 4e+307) {
tmp = a + (z + t);
} else {
tmp = y * i;
}
return tmp;
}
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = (y * i) + ((a + (t + (z + (x * Math.log(y))))) + (Math.log(c) * (b - 0.5)));
double tmp;
if (t_1 <= -Double.POSITIVE_INFINITY) {
tmp = y * i;
} else if (t_1 <= 4e+307) {
tmp = a + (z + t);
} else {
tmp = y * i;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): t_1 = (y * i) + ((a + (t + (z + (x * math.log(y))))) + (math.log(c) * (b - 0.5))) tmp = 0 if t_1 <= -math.inf: tmp = y * i elif t_1 <= 4e+307: tmp = a + (z + t) else: tmp = y * i return tmp
function code(x, y, z, t, a, b, c, i) t_1 = Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = Float64(y * i); elseif (t_1 <= 4e+307) tmp = Float64(a + Float64(z + t)); else tmp = Float64(y * i); end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) t_1 = (y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5))); tmp = 0.0; if (t_1 <= -Inf) tmp = y * i; elseif (t_1 <= 4e+307) tmp = a + (z + t); else tmp = y * i; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], N[(y * i), $MachinePrecision], If[LessEqual[t$95$1, 4e+307], N[(a + N[(z + t), $MachinePrecision]), $MachinePrecision], N[(y * i), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right)\\
\mathbf{if}\;t\_1 \leq -\infty:\\
\;\;\;\;y \cdot i\\
\mathbf{elif}\;t\_1 \leq 4 \cdot 10^{+307}:\\
\;\;\;\;a + \left(z + t\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot i\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -inf.0 or 3.99999999999999994e307 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 100.0%
Taylor expanded in y around inf
*-lowering-*.f64100.0
Simplified100.0%
if -inf.0 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < 3.99999999999999994e307Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6482.7
Simplified82.7%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6471.3
Simplified71.3%
Taylor expanded in z around inf
Simplified49.9%
Final simplification55.8%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1
(+
(* y i)
(+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))))
(if (<= t_1 (- INFINITY)) (* y i) (if (<= t_1 4e+307) (+ z a) (* y i)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = (y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)));
double tmp;
if (t_1 <= -((double) INFINITY)) {
tmp = y * i;
} else if (t_1 <= 4e+307) {
tmp = z + a;
} else {
tmp = y * i;
}
return tmp;
}
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = (y * i) + ((a + (t + (z + (x * Math.log(y))))) + (Math.log(c) * (b - 0.5)));
double tmp;
if (t_1 <= -Double.POSITIVE_INFINITY) {
tmp = y * i;
} else if (t_1 <= 4e+307) {
tmp = z + a;
} else {
tmp = y * i;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): t_1 = (y * i) + ((a + (t + (z + (x * math.log(y))))) + (math.log(c) * (b - 0.5))) tmp = 0 if t_1 <= -math.inf: tmp = y * i elif t_1 <= 4e+307: tmp = z + a else: tmp = y * i return tmp
function code(x, y, z, t, a, b, c, i) t_1 = Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) tmp = 0.0 if (t_1 <= Float64(-Inf)) tmp = Float64(y * i); elseif (t_1 <= 4e+307) tmp = Float64(z + a); else tmp = Float64(y * i); end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) t_1 = (y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5))); tmp = 0.0; if (t_1 <= -Inf) tmp = y * i; elseif (t_1 <= 4e+307) tmp = z + a; else tmp = y * i; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$1, (-Infinity)], N[(y * i), $MachinePrecision], If[LessEqual[t$95$1, 4e+307], N[(z + a), $MachinePrecision], N[(y * i), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right)\\
\mathbf{if}\;t\_1 \leq -\infty:\\
\;\;\;\;y \cdot i\\
\mathbf{elif}\;t\_1 \leq 4 \cdot 10^{+307}:\\
\;\;\;\;z + a\\
\mathbf{else}:\\
\;\;\;\;y \cdot i\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -inf.0 or 3.99999999999999994e307 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 100.0%
Taylor expanded in y around inf
*-lowering-*.f64100.0
Simplified100.0%
if -inf.0 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < 3.99999999999999994e307Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6482.7
Simplified82.7%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6471.3
Simplified71.3%
Taylor expanded in z around inf
Simplified36.5%
Final simplification44.0%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* (log c) (- b 0.5))))
(if (<= (+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) t_1)) 200.0)
(fma y i (fma (+ b -0.5) (log c) z))
(+ (* y i) (+ a t_1)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = log(c) * (b - 0.5);
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + t_1)) <= 200.0) {
tmp = fma(y, i, fma((b + -0.5), log(c), z));
} else {
tmp = (y * i) + (a + t_1);
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = Float64(log(c) * Float64(b - 0.5)) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + t_1)) <= 200.0) tmp = fma(y, i, fma(Float64(b + -0.5), log(c), z)); else tmp = Float64(Float64(y * i) + Float64(a + t_1)); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision], 200.0], N[(y * i + N[(N[(b + -0.5), $MachinePrecision] * N[Log[c], $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision], N[(N[(y * i), $MachinePrecision] + N[(a + t$95$1), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \log c \cdot \left(b - 0.5\right)\\
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + t\_1\right) \leq 200:\\
\;\;\;\;\mathsf{fma}\left(y, i, \mathsf{fma}\left(b + -0.5, \log c, z\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot i + \left(a + t\_1\right)\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < 200Initial program 99.8%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.8
Applied egg-rr99.8%
Taylor expanded in z around inf
Simplified59.4%
if 200 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
Taylor expanded in a around inf
Simplified56.8%
Final simplification58.1%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (fma (log c) (+ b -0.5) z)) (t_2 (* (log c) (- b 0.5))))
(if (<= t_2 -5e+50)
(+ a (+ t t_1))
(if (<= t_2 5e+133) (+ (* y i) (+ t (+ z a))) (+ a t_1)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = fma(log(c), (b + -0.5), z);
double t_2 = log(c) * (b - 0.5);
double tmp;
if (t_2 <= -5e+50) {
tmp = a + (t + t_1);
} else if (t_2 <= 5e+133) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = a + t_1;
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = fma(log(c), Float64(b + -0.5), z) t_2 = Float64(log(c) * Float64(b - 0.5)) tmp = 0.0 if (t_2 <= -5e+50) tmp = Float64(a + Float64(t + t_1)); elseif (t_2 <= 5e+133) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = Float64(a + t_1); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]}, Block[{t$95$2 = N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$2, -5e+50], N[(a + N[(t + t$95$1), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$2, 5e+133], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(a + t$95$1), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \mathsf{fma}\left(\log c, b + -0.5, z\right)\\
t_2 := \log c \cdot \left(b - 0.5\right)\\
\mathbf{if}\;t\_2 \leq -5 \cdot 10^{+50}:\\
\;\;\;\;a + \left(t + t\_1\right)\\
\mathbf{elif}\;t\_2 \leq 5 \cdot 10^{+133}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;a + t\_1\\
\end{array}
\end{array}
if (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) < -5e50Initial program 99.7%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6487.6
Simplified87.6%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6474.6
Simplified74.6%
if -5e50 < (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) < 4.99999999999999961e133Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6481.5
Simplified81.5%
Taylor expanded in z around inf
Simplified79.1%
if 4.99999999999999961e133 < (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6493.6
Simplified93.6%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6485.9
Simplified85.9%
Taylor expanded in t around 0
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6476.7
Simplified76.7%
Final simplification77.6%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (+ a (fma (log c) (+ b -0.5) z))) (t_2 (* (log c) (- b 0.5))))
(if (<= t_2 -5e+50)
t_1
(if (<= t_2 5e+133) (+ (* y i) (+ t (+ z a))) t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = a + fma(log(c), (b + -0.5), z);
double t_2 = log(c) * (b - 0.5);
double tmp;
if (t_2 <= -5e+50) {
tmp = t_1;
} else if (t_2 <= 5e+133) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = Float64(a + fma(log(c), Float64(b + -0.5), z)) t_2 = Float64(log(c) * Float64(b - 0.5)) tmp = 0.0 if (t_2 <= -5e+50) tmp = t_1; elseif (t_2 <= 5e+133) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = t_1; end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(a + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[t$95$2, -5e+50], t$95$1, If[LessEqual[t$95$2, 5e+133], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := a + \mathsf{fma}\left(\log c, b + -0.5, z\right)\\
t_2 := \log c \cdot \left(b - 0.5\right)\\
\mathbf{if}\;t\_2 \leq -5 \cdot 10^{+50}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;t\_2 \leq 5 \cdot 10^{+133}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) < -5e50 or 4.99999999999999961e133 < (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6489.8
Simplified89.8%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6478.8
Simplified78.8%
Taylor expanded in t around 0
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6465.8
Simplified65.8%
if -5e50 < (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c)) < 4.99999999999999961e133Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6481.5
Simplified81.5%
Taylor expanded in z around inf
Simplified79.1%
Final simplification73.9%
(FPCore (x y z t a b c i)
:precision binary64
(if (<=
(+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))
-5e+21)
(+ (* y i) (+ z t))
(+ (+ t a) (* y i))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -5e+21) {
tmp = (y * i) + (z + t);
} else {
tmp = (t + a) + (y * i);
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: tmp
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5d0)))) <= (-5d+21)) then
tmp = (y * i) + (z + t)
else
tmp = (t + a) + (y * i)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * Math.log(y))))) + (Math.log(c) * (b - 0.5)))) <= -5e+21) {
tmp = (y * i) + (z + t);
} else {
tmp = (t + a) + (y * i);
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): tmp = 0 if ((y * i) + ((a + (t + (z + (x * math.log(y))))) + (math.log(c) * (b - 0.5)))) <= -5e+21: tmp = (y * i) + (z + t) else: tmp = (t + a) + (y * i) return tmp
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) <= -5e+21) tmp = Float64(Float64(y * i) + Float64(z + t)); else tmp = Float64(Float64(t + a) + Float64(y * i)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) tmp = 0.0; if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -5e+21) tmp = (y * i) + (z + t); else tmp = (t + a) + (y * i); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -5e+21], N[(N[(y * i), $MachinePrecision] + N[(z + t), $MachinePrecision]), $MachinePrecision], N[(N[(t + a), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right) \leq -5 \cdot 10^{+21}:\\
\;\;\;\;y \cdot i + \left(z + t\right)\\
\mathbf{else}:\\
\;\;\;\;\left(t + a\right) + y \cdot i\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -5e21Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6488.0
Simplified88.0%
Taylor expanded in z around inf
Simplified50.5%
if -5e21 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6481.5
Simplified81.5%
Taylor expanded in a around inf
Simplified52.0%
Final simplification51.2%
(FPCore (x y z t a b c i)
:precision binary64
(if (<=
(+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))
-5e+21)
(fma y i z)
(+ (+ t a) (* y i))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -5e+21) {
tmp = fma(y, i, z);
} else {
tmp = (t + a) + (y * i);
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) <= -5e+21) tmp = fma(y, i, z); else tmp = Float64(Float64(t + a) + Float64(y * i)); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -5e+21], N[(y * i + z), $MachinePrecision], N[(N[(t + a), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right) \leq -5 \cdot 10^{+21}:\\
\;\;\;\;\mathsf{fma}\left(y, i, z\right)\\
\mathbf{else}:\\
\;\;\;\;\left(t + a\right) + y \cdot i\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -5e21Initial program 99.8%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.8
Applied egg-rr99.8%
Taylor expanded in z around inf
Simplified38.0%
if -5e21 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6481.5
Simplified81.5%
Taylor expanded in a around inf
Simplified52.0%
Final simplification45.0%
(FPCore (x y z t a b c i)
:precision binary64
(if (<=
(+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))
-5e+21)
(fma y i z)
(fma y i a)))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -5e+21) {
tmp = fma(y, i, z);
} else {
tmp = fma(y, i, a);
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) <= -5e+21) tmp = fma(y, i, z); else tmp = fma(y, i, a); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -5e+21], N[(y * i + z), $MachinePrecision], N[(y * i + a), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right) \leq -5 \cdot 10^{+21}:\\
\;\;\;\;\mathsf{fma}\left(y, i, z\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(y, i, a\right)\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -5e21Initial program 99.8%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.8
Applied egg-rr99.8%
Taylor expanded in z around inf
Simplified38.0%
if -5e21 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.9
Applied egg-rr99.9%
Taylor expanded in a around inf
Simplified40.3%
Final simplification39.2%
(FPCore (x y z t a b c i)
:precision binary64
(if (<=
(+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))
-200.0)
z
(+ t a)))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -200.0) {
tmp = z;
} else {
tmp = t + a;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: tmp
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5d0)))) <= (-200.0d0)) then
tmp = z
else
tmp = t + a
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * Math.log(y))))) + (Math.log(c) * (b - 0.5)))) <= -200.0) {
tmp = z;
} else {
tmp = t + a;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): tmp = 0 if ((y * i) + ((a + (t + (z + (x * math.log(y))))) + (math.log(c) * (b - 0.5)))) <= -200.0: tmp = z else: tmp = t + a return tmp
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) <= -200.0) tmp = z; else tmp = Float64(t + a); end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) tmp = 0.0; if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -200.0) tmp = z; else tmp = t + a; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -200.0], z, N[(t + a), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right) \leq -200:\\
\;\;\;\;z\\
\mathbf{else}:\\
\;\;\;\;t + a\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -200Initial program 99.8%
Taylor expanded in z around inf
Simplified17.1%
if -200 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6481.4
Simplified81.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6460.8
Simplified60.8%
Taylor expanded in t around inf
Simplified32.3%
Final simplification24.6%
(FPCore (x y z t a b c i)
:precision binary64
(if (<=
(+ (* y i) (+ (+ a (+ t (+ z (* x (log y))))) (* (log c) (- b 0.5))))
-200.0)
z
a))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -200.0) {
tmp = z;
} else {
tmp = a;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: tmp
if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5d0)))) <= (-200.0d0)) then
tmp = z
else
tmp = a
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (((y * i) + ((a + (t + (z + (x * Math.log(y))))) + (Math.log(c) * (b - 0.5)))) <= -200.0) {
tmp = z;
} else {
tmp = a;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): tmp = 0 if ((y * i) + ((a + (t + (z + (x * math.log(y))))) + (math.log(c) * (b - 0.5)))) <= -200.0: tmp = z else: tmp = a return tmp
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (Float64(Float64(y * i) + Float64(Float64(a + Float64(t + Float64(z + Float64(x * log(y))))) + Float64(log(c) * Float64(b - 0.5)))) <= -200.0) tmp = z; else tmp = a; end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) tmp = 0.0; if (((y * i) + ((a + (t + (z + (x * log(y))))) + (log(c) * (b - 0.5)))) <= -200.0) tmp = z; else tmp = a; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[N[(N[(y * i), $MachinePrecision] + N[(N[(a + N[(t + N[(z + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b - 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], -200.0], z, a]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \cdot i + \left(\left(a + \left(t + \left(z + x \cdot \log y\right)\right)\right) + \log c \cdot \left(b - 0.5\right)\right) \leq -200:\\
\;\;\;\;z\\
\mathbf{else}:\\
\;\;\;\;a\\
\end{array}
\end{array}
if (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) < -200Initial program 99.8%
Taylor expanded in z around inf
Simplified17.1%
if -200 < (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (*.f64 x (log.f64 y)) z) t) a) (*.f64 (-.f64 b #s(literal 1/2 binary64)) (log.f64 c))) (*.f64 y i)) Initial program 99.9%
Taylor expanded in a around inf
Simplified20.4%
Final simplification18.7%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (fma (log c) (+ b -0.5) z)))
(if (<= x -1.02e+110)
(+ a (+ t_1 (fma x (log y) t)))
(if (<= x 6e+202)
(+ (+ t (+ a t_1)) (* y i))
(* x (+ (log y) (/ (+ a (+ t (fma i y z))) x)))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = fma(log(c), (b + -0.5), z);
double tmp;
if (x <= -1.02e+110) {
tmp = a + (t_1 + fma(x, log(y), t));
} else if (x <= 6e+202) {
tmp = (t + (a + t_1)) + (y * i);
} else {
tmp = x * (log(y) + ((a + (t + fma(i, y, z))) / x));
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = fma(log(c), Float64(b + -0.5), z) tmp = 0.0 if (x <= -1.02e+110) tmp = Float64(a + Float64(t_1 + fma(x, log(y), t))); elseif (x <= 6e+202) tmp = Float64(Float64(t + Float64(a + t_1)) + Float64(y * i)); else tmp = Float64(x * Float64(log(y) + Float64(Float64(a + Float64(t + fma(i, y, z))) / x))); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]}, If[LessEqual[x, -1.02e+110], N[(a + N[(t$95$1 + N[(x * N[Log[y], $MachinePrecision] + t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 6e+202], N[(N[(t + N[(a + t$95$1), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision], N[(x * N[(N[Log[y], $MachinePrecision] + N[(N[(a + N[(t + N[(i * y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \mathsf{fma}\left(\log c, b + -0.5, z\right)\\
\mathbf{if}\;x \leq -1.02 \cdot 10^{+110}:\\
\;\;\;\;a + \left(t\_1 + \mathsf{fma}\left(x, \log y, t\right)\right)\\
\mathbf{elif}\;x \leq 6 \cdot 10^{+202}:\\
\;\;\;\;\left(t + \left(a + t\_1\right)\right) + y \cdot i\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(\log y + \frac{a + \left(t + \mathsf{fma}\left(i, y, z\right)\right)}{x}\right)\\
\end{array}
\end{array}
if x < -1.02e110Initial program 99.6%
Taylor expanded in y around 0
+-lowering-+.f64N/A
associate-+r+N/A
cancel-sign-subN/A
log-recN/A
unsub-negN/A
mul-1-negN/A
+-commutativeN/A
associate-+r+N/A
+-commutativeN/A
associate-+r+N/A
associate-+l+N/A
Simplified91.8%
if -1.02e110 < x < 6.0000000000000003e202Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6497.7
Simplified97.7%
if 6.0000000000000003e202 < x Initial program 99.7%
Taylor expanded in x around -inf
mul-1-negN/A
distribute-rgt-neg-inN/A
distribute-lft-outN/A
mul-1-negN/A
remove-double-negN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in t around inf
Simplified99.6%
Final simplification96.7%
(FPCore (x y z t a b c i)
:precision binary64
(if (<= x -2e+110)
(+ z (fma x (log y) (fma (log c) (+ b -0.5) a)))
(if (<= x 7.2e+202)
(+ (+ t (+ a (fma (log c) (+ b -0.5) z))) (* y i))
(* x (+ (log y) (/ (+ a (+ t (fma i y z))) x))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (x <= -2e+110) {
tmp = z + fma(x, log(y), fma(log(c), (b + -0.5), a));
} else if (x <= 7.2e+202) {
tmp = (t + (a + fma(log(c), (b + -0.5), z))) + (y * i);
} else {
tmp = x * (log(y) + ((a + (t + fma(i, y, z))) / x));
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (x <= -2e+110) tmp = Float64(z + fma(x, log(y), fma(log(c), Float64(b + -0.5), a))); elseif (x <= 7.2e+202) tmp = Float64(Float64(t + Float64(a + fma(log(c), Float64(b + -0.5), z))) + Float64(y * i)); else tmp = Float64(x * Float64(log(y) + Float64(Float64(a + Float64(t + fma(i, y, z))) / x))); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[x, -2e+110], N[(z + N[(x * N[Log[y], $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 7.2e+202], N[(N[(t + N[(a + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision], N[(x * N[(N[Log[y], $MachinePrecision] + N[(N[(a + N[(t + N[(i * y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2 \cdot 10^{+110}:\\
\;\;\;\;z + \mathsf{fma}\left(x, \log y, \mathsf{fma}\left(\log c, b + -0.5, a\right)\right)\\
\mathbf{elif}\;x \leq 7.2 \cdot 10^{+202}:\\
\;\;\;\;\left(t + \left(a + \mathsf{fma}\left(\log c, b + -0.5, z\right)\right)\right) + y \cdot i\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(\log y + \frac{a + \left(t + \mathsf{fma}\left(i, y, z\right)\right)}{x}\right)\\
\end{array}
\end{array}
if x < -2e110Initial program 99.6%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.6
Applied egg-rr99.6%
Taylor expanded in a around inf
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
associate-/l*N/A
accelerator-lowering-fma.f64N/A
/-lowering-/.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f6480.5
Simplified80.5%
Taylor expanded in x around inf
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
log-lowering-log.f6474.9
Simplified74.9%
Taylor expanded in y around 0
+-commutativeN/A
associate-+l+N/A
+-commutativeN/A
+-lowering-+.f64N/A
+-commutativeN/A
associate-+l+N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6484.2
Simplified84.2%
if -2e110 < x < 7.20000000000000016e202Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6497.7
Simplified97.7%
if 7.20000000000000016e202 < x Initial program 99.7%
Taylor expanded in x around -inf
mul-1-negN/A
distribute-rgt-neg-inN/A
distribute-lft-outN/A
mul-1-negN/A
remove-double-negN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in t around inf
Simplified99.6%
Final simplification95.3%
(FPCore (x y z t a b c i) :precision binary64 (+ a (fma i y (fma (log c) (+ b -0.5) (fma x (log y) z)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return a + fma(i, y, fma(log(c), (b + -0.5), fma(x, log(y), z)));
}
function code(x, y, z, t, a, b, c, i) return Float64(a + fma(i, y, fma(log(c), Float64(b + -0.5), fma(x, log(y), z)))) end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(a + N[(i * y + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + N[(x * N[Log[y], $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a + \mathsf{fma}\left(i, y, \mathsf{fma}\left(\log c, b + -0.5, \mathsf{fma}\left(x, \log y, z\right)\right)\right)
\end{array}
Initial program 99.8%
Taylor expanded in t around 0
+-lowering-+.f64N/A
+-commutativeN/A
associate-+l+N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
associate-+r+N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f6486.9
Simplified86.9%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* x (+ (log y) (/ (+ a (+ t (fma i y z))) x)))))
(if (<= x -1.35e+107)
t_1
(if (<= x 6e+202)
(+ (+ t (+ a (fma (log c) (+ b -0.5) z))) (* y i))
t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = x * (log(y) + ((a + (t + fma(i, y, z))) / x));
double tmp;
if (x <= -1.35e+107) {
tmp = t_1;
} else if (x <= 6e+202) {
tmp = (t + (a + fma(log(c), (b + -0.5), z))) + (y * i);
} else {
tmp = t_1;
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = Float64(x * Float64(log(y) + Float64(Float64(a + Float64(t + fma(i, y, z))) / x))) tmp = 0.0 if (x <= -1.35e+107) tmp = t_1; elseif (x <= 6e+202) tmp = Float64(Float64(t + Float64(a + fma(log(c), Float64(b + -0.5), z))) + Float64(y * i)); else tmp = t_1; end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(x * N[(N[Log[y], $MachinePrecision] + N[(N[(a + N[(t + N[(i * y + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -1.35e+107], t$95$1, If[LessEqual[x, 6e+202], N[(N[(t + N[(a + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \left(\log y + \frac{a + \left(t + \mathsf{fma}\left(i, y, z\right)\right)}{x}\right)\\
\mathbf{if}\;x \leq -1.35 \cdot 10^{+107}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 6 \cdot 10^{+202}:\\
\;\;\;\;\left(t + \left(a + \mathsf{fma}\left(\log c, b + -0.5, z\right)\right)\right) + y \cdot i\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -1.3500000000000001e107 or 6.0000000000000003e202 < x Initial program 99.6%
Taylor expanded in x around -inf
mul-1-negN/A
distribute-rgt-neg-inN/A
distribute-lft-outN/A
mul-1-negN/A
remove-double-negN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in t around inf
Simplified86.3%
if -1.3500000000000001e107 < x < 6.0000000000000003e202Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6498.2
Simplified98.2%
Final simplification95.1%
(FPCore (x y z t a b c i)
:precision binary64
(if (<= x -1.15e+210)
(* x (+ (log y) (/ a x)))
(if (<= x 1.8e+236)
(+ (+ t (+ a (fma (log c) (+ b -0.5) z))) (* y i))
(fma y i (* x (log y))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (x <= -1.15e+210) {
tmp = x * (log(y) + (a / x));
} else if (x <= 1.8e+236) {
tmp = (t + (a + fma(log(c), (b + -0.5), z))) + (y * i);
} else {
tmp = fma(y, i, (x * log(y)));
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (x <= -1.15e+210) tmp = Float64(x * Float64(log(y) + Float64(a / x))); elseif (x <= 1.8e+236) tmp = Float64(Float64(t + Float64(a + fma(log(c), Float64(b + -0.5), z))) + Float64(y * i)); else tmp = fma(y, i, Float64(x * log(y))); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[x, -1.15e+210], N[(x * N[(N[Log[y], $MachinePrecision] + N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.8e+236], N[(N[(t + N[(a + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(y * i), $MachinePrecision]), $MachinePrecision], N[(y * i + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.15 \cdot 10^{+210}:\\
\;\;\;\;x \cdot \left(\log y + \frac{a}{x}\right)\\
\mathbf{elif}\;x \leq 1.8 \cdot 10^{+236}:\\
\;\;\;\;\left(t + \left(a + \mathsf{fma}\left(\log c, b + -0.5, z\right)\right)\right) + y \cdot i\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(y, i, x \cdot \log y\right)\\
\end{array}
\end{array}
if x < -1.1499999999999999e210Initial program 99.6%
Taylor expanded in x around -inf
mul-1-negN/A
distribute-rgt-neg-inN/A
distribute-lft-outN/A
mul-1-negN/A
remove-double-negN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f64N/A
Simplified99.5%
Taylor expanded in a around inf
/-lowering-/.f6469.6
Simplified69.6%
if -1.1499999999999999e210 < x < 1.8e236Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6493.0
Simplified93.0%
if 1.8e236 < x Initial program 99.6%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.7
Applied egg-rr99.7%
Taylor expanded in x around inf
*-lowering-*.f64N/A
log-lowering-log.f6488.7
Simplified88.7%
Final simplification90.8%
(FPCore (x y z t a b c i)
:precision binary64
(if (<= x -8e+211)
(* x (+ (log y) (/ a x)))
(if (<= x 1.48e+228)
(+ a (+ (fma i y z) (fma (log c) (+ b -0.5) t)))
(fma y i (* x (log y))))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (x <= -8e+211) {
tmp = x * (log(y) + (a / x));
} else if (x <= 1.48e+228) {
tmp = a + (fma(i, y, z) + fma(log(c), (b + -0.5), t));
} else {
tmp = fma(y, i, (x * log(y)));
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (x <= -8e+211) tmp = Float64(x * Float64(log(y) + Float64(a / x))); elseif (x <= 1.48e+228) tmp = Float64(a + Float64(fma(i, y, z) + fma(log(c), Float64(b + -0.5), t))); else tmp = fma(y, i, Float64(x * log(y))); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[x, -8e+211], N[(x * N[(N[Log[y], $MachinePrecision] + N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.48e+228], N[(a + N[(N[(i * y + z), $MachinePrecision] + N[(N[Log[c], $MachinePrecision] * N[(b + -0.5), $MachinePrecision] + t), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * i + N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -8 \cdot 10^{+211}:\\
\;\;\;\;x \cdot \left(\log y + \frac{a}{x}\right)\\
\mathbf{elif}\;x \leq 1.48 \cdot 10^{+228}:\\
\;\;\;\;a + \left(\mathsf{fma}\left(i, y, z\right) + \mathsf{fma}\left(\log c, b + -0.5, t\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{fma}\left(y, i, x \cdot \log y\right)\\
\end{array}
\end{array}
if x < -7.9999999999999997e211Initial program 99.6%
Taylor expanded in x around -inf
mul-1-negN/A
distribute-rgt-neg-inN/A
distribute-lft-outN/A
mul-1-negN/A
remove-double-negN/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
log-lowering-log.f64N/A
/-lowering-/.f64N/A
Simplified99.5%
Taylor expanded in a around inf
/-lowering-/.f6469.6
Simplified69.6%
if -7.9999999999999997e211 < x < 1.48e228Initial program 99.9%
Taylor expanded in x around 0
+-lowering-+.f64N/A
+-commutativeN/A
associate-+r+N/A
associate-+l+N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6493.0
Simplified93.0%
if 1.48e228 < x Initial program 99.6%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.7
Applied egg-rr99.7%
Taylor expanded in x around inf
*-lowering-*.f64N/A
log-lowering-log.f6488.7
Simplified88.7%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* b (log c))))
(if (<= (- b 0.5) -1e+168)
(fma y i t_1)
(if (<= (- b 0.5) 4e+240) (+ (* y i) (+ t (+ z a))) t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = b * log(c);
double tmp;
if ((b - 0.5) <= -1e+168) {
tmp = fma(y, i, t_1);
} else if ((b - 0.5) <= 4e+240) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) t_1 = Float64(b * log(c)) tmp = 0.0 if (Float64(b - 0.5) <= -1e+168) tmp = fma(y, i, t_1); elseif (Float64(b - 0.5) <= 4e+240) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = t_1; end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(b * N[Log[c], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(b - 0.5), $MachinePrecision], -1e+168], N[(y * i + t$95$1), $MachinePrecision], If[LessEqual[N[(b - 0.5), $MachinePrecision], 4e+240], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := b \cdot \log c\\
\mathbf{if}\;b - 0.5 \leq -1 \cdot 10^{+168}:\\
\;\;\;\;\mathsf{fma}\left(y, i, t\_1\right)\\
\mathbf{elif}\;b - 0.5 \leq 4 \cdot 10^{+240}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (-.f64 b #s(literal 1/2 binary64)) < -9.9999999999999993e167Initial program 99.7%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.7
Applied egg-rr99.7%
Taylor expanded in b around inf
*-commutativeN/A
*-lowering-*.f64N/A
log-lowering-log.f6478.4
Simplified78.4%
if -9.9999999999999993e167 < (-.f64 b #s(literal 1/2 binary64)) < 4.00000000000000006e240Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6482.4
Simplified82.4%
Taylor expanded in z around inf
Simplified74.5%
if 4.00000000000000006e240 < (-.f64 b #s(literal 1/2 binary64)) Initial program 99.7%
Taylor expanded in b around inf
*-commutativeN/A
*-lowering-*.f64N/A
log-lowering-log.f6492.2
Simplified92.2%
Final simplification75.9%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* b (log c))))
(if (<= (- b 0.5) -5e+163)
(+ a t_1)
(if (<= (- b 0.5) 4e+240) (+ (* y i) (+ t (+ z a))) t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = b * log(c);
double tmp;
if ((b - 0.5) <= -5e+163) {
tmp = a + t_1;
} else if ((b - 0.5) <= 4e+240) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: t_1
real(8) :: tmp
t_1 = b * log(c)
if ((b - 0.5d0) <= (-5d+163)) then
tmp = a + t_1
else if ((b - 0.5d0) <= 4d+240) then
tmp = (y * i) + (t + (z + a))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = b * Math.log(c);
double tmp;
if ((b - 0.5) <= -5e+163) {
tmp = a + t_1;
} else if ((b - 0.5) <= 4e+240) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): t_1 = b * math.log(c) tmp = 0 if (b - 0.5) <= -5e+163: tmp = a + t_1 elif (b - 0.5) <= 4e+240: tmp = (y * i) + (t + (z + a)) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b, c, i) t_1 = Float64(b * log(c)) tmp = 0.0 if (Float64(b - 0.5) <= -5e+163) tmp = Float64(a + t_1); elseif (Float64(b - 0.5) <= 4e+240) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) t_1 = b * log(c); tmp = 0.0; if ((b - 0.5) <= -5e+163) tmp = a + t_1; elseif ((b - 0.5) <= 4e+240) tmp = (y * i) + (t + (z + a)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(b * N[Log[c], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(b - 0.5), $MachinePrecision], -5e+163], N[(a + t$95$1), $MachinePrecision], If[LessEqual[N[(b - 0.5), $MachinePrecision], 4e+240], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := b \cdot \log c\\
\mathbf{if}\;b - 0.5 \leq -5 \cdot 10^{+163}:\\
\;\;\;\;a + t\_1\\
\mathbf{elif}\;b - 0.5 \leq 4 \cdot 10^{+240}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (-.f64 b #s(literal 1/2 binary64)) < -5e163Initial program 99.7%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6493.5
Simplified93.5%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6477.9
Simplified77.9%
Taylor expanded in b around inf
*-commutativeN/A
*-lowering-*.f64N/A
log-lowering-log.f6471.6
Simplified71.6%
if -5e163 < (-.f64 b #s(literal 1/2 binary64)) < 4.00000000000000006e240Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6482.3
Simplified82.3%
Taylor expanded in z around inf
Simplified74.5%
if 4.00000000000000006e240 < (-.f64 b #s(literal 1/2 binary64)) Initial program 99.7%
Taylor expanded in b around inf
*-commutativeN/A
*-lowering-*.f64N/A
log-lowering-log.f6492.2
Simplified92.2%
Final simplification74.9%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* b (log c))))
(if (<= (- b 0.5) -3.84e+199)
t_1
(if (<= (- b 0.5) 4e+240) (+ (* y i) (+ t (+ z a))) t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = b * log(c);
double tmp;
if ((b - 0.5) <= -3.84e+199) {
tmp = t_1;
} else if ((b - 0.5) <= 4e+240) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: t_1
real(8) :: tmp
t_1 = b * log(c)
if ((b - 0.5d0) <= (-3.84d+199)) then
tmp = t_1
else if ((b - 0.5d0) <= 4d+240) then
tmp = (y * i) + (t + (z + a))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = b * Math.log(c);
double tmp;
if ((b - 0.5) <= -3.84e+199) {
tmp = t_1;
} else if ((b - 0.5) <= 4e+240) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): t_1 = b * math.log(c) tmp = 0 if (b - 0.5) <= -3.84e+199: tmp = t_1 elif (b - 0.5) <= 4e+240: tmp = (y * i) + (t + (z + a)) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b, c, i) t_1 = Float64(b * log(c)) tmp = 0.0 if (Float64(b - 0.5) <= -3.84e+199) tmp = t_1; elseif (Float64(b - 0.5) <= 4e+240) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) t_1 = b * log(c); tmp = 0.0; if ((b - 0.5) <= -3.84e+199) tmp = t_1; elseif ((b - 0.5) <= 4e+240) tmp = (y * i) + (t + (z + a)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(b * N[Log[c], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[N[(b - 0.5), $MachinePrecision], -3.84e+199], t$95$1, If[LessEqual[N[(b - 0.5), $MachinePrecision], 4e+240], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := b \cdot \log c\\
\mathbf{if}\;b - 0.5 \leq -3.84 \cdot 10^{+199}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;b - 0.5 \leq 4 \cdot 10^{+240}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (-.f64 b #s(literal 1/2 binary64)) < -3.8400000000000002e199 or 4.00000000000000006e240 < (-.f64 b #s(literal 1/2 binary64)) Initial program 99.8%
Taylor expanded in b around inf
*-commutativeN/A
*-lowering-*.f64N/A
log-lowering-log.f6478.0
Simplified78.0%
if -3.8400000000000002e199 < (-.f64 b #s(literal 1/2 binary64)) < 4.00000000000000006e240Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6482.9
Simplified82.9%
Taylor expanded in z around inf
Simplified73.6%
Final simplification74.2%
(FPCore (x y z t a b c i) :precision binary64 (if (<= a 2.45e+104) (fma y i (fma (+ b -0.5) (log c) z)) (+ (* y i) (+ t (+ z a)))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double tmp;
if (a <= 2.45e+104) {
tmp = fma(y, i, fma((b + -0.5), log(c), z));
} else {
tmp = (y * i) + (t + (z + a));
}
return tmp;
}
function code(x, y, z, t, a, b, c, i) tmp = 0.0 if (a <= 2.45e+104) tmp = fma(y, i, fma(Float64(b + -0.5), log(c), z)); else tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); end return tmp end
code[x_, y_, z_, t_, a_, b_, c_, i_] := If[LessEqual[a, 2.45e+104], N[(y * i + N[(N[(b + -0.5), $MachinePrecision] * N[Log[c], $MachinePrecision] + z), $MachinePrecision]), $MachinePrecision], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;a \leq 2.45 \cdot 10^{+104}:\\
\;\;\;\;\mathsf{fma}\left(y, i, \mathsf{fma}\left(b + -0.5, \log c, z\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\end{array}
\end{array}
if a < 2.44999999999999993e104Initial program 99.8%
+-commutativeN/A
accelerator-lowering-fma.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
log-lowering-log.f64N/A
associate-+l+N/A
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
+-lowering-+.f6499.8
Applied egg-rr99.8%
Taylor expanded in z around inf
Simplified59.9%
if 2.44999999999999993e104 < a Initial program 100.0%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6491.3
Simplified91.3%
Taylor expanded in z around inf
Simplified87.1%
Final simplification66.1%
(FPCore (x y z t a b c i)
:precision binary64
(let* ((t_1 (* x (log y))))
(if (<= x -3.2e+205)
t_1
(if (<= x 1.7e+235) (+ (* y i) (+ t (+ z a))) t_1))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = x * log(y);
double tmp;
if (x <= -3.2e+205) {
tmp = t_1;
} else if (x <= 1.7e+235) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
real(8) :: t_1
real(8) :: tmp
t_1 = x * log(y)
if (x <= (-3.2d+205)) then
tmp = t_1
else if (x <= 1.7d+235) then
tmp = (y * i) + (t + (z + a))
else
tmp = t_1
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
double t_1 = x * Math.log(y);
double tmp;
if (x <= -3.2e+205) {
tmp = t_1;
} else if (x <= 1.7e+235) {
tmp = (y * i) + (t + (z + a));
} else {
tmp = t_1;
}
return tmp;
}
def code(x, y, z, t, a, b, c, i): t_1 = x * math.log(y) tmp = 0 if x <= -3.2e+205: tmp = t_1 elif x <= 1.7e+235: tmp = (y * i) + (t + (z + a)) else: tmp = t_1 return tmp
function code(x, y, z, t, a, b, c, i) t_1 = Float64(x * log(y)) tmp = 0.0 if (x <= -3.2e+205) tmp = t_1; elseif (x <= 1.7e+235) tmp = Float64(Float64(y * i) + Float64(t + Float64(z + a))); else tmp = t_1; end return tmp end
function tmp_2 = code(x, y, z, t, a, b, c, i) t_1 = x * log(y); tmp = 0.0; if (x <= -3.2e+205) tmp = t_1; elseif (x <= 1.7e+235) tmp = (y * i) + (t + (z + a)); else tmp = t_1; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := Block[{t$95$1 = N[(x * N[Log[y], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, -3.2e+205], t$95$1, If[LessEqual[x, 1.7e+235], N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$1]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := x \cdot \log y\\
\mathbf{if}\;x \leq -3.2 \cdot 10^{+205}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 1.7 \cdot 10^{+235}:\\
\;\;\;\;y \cdot i + \left(t + \left(z + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if x < -3.19999999999999996e205 or 1.69999999999999998e235 < x Initial program 99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
log-lowering-log.f6467.8
Simplified67.8%
if -3.19999999999999996e205 < x < 1.69999999999999998e235Initial program 99.9%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6492.9
Simplified92.9%
Taylor expanded in z around inf
Simplified72.3%
Final simplification71.7%
(FPCore (x y z t a b c i) :precision binary64 (+ (* y i) (+ t (+ z a))))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (y * i) + (t + (z + a));
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
code = (y * i) + (t + (z + a))
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return (y * i) + (t + (z + a));
}
def code(x, y, z, t, a, b, c, i): return (y * i) + (t + (z + a))
function code(x, y, z, t, a, b, c, i) return Float64(Float64(y * i) + Float64(t + Float64(z + a))) end
function tmp = code(x, y, z, t, a, b, c, i) tmp = (y * i) + (t + (z + a)); end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(N[(y * i), $MachinePrecision] + N[(t + N[(z + a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
y \cdot i + \left(t + \left(z + a\right)\right)
\end{array}
Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6484.7
Simplified84.7%
Taylor expanded in z around inf
Simplified65.3%
Final simplification65.3%
(FPCore (x y z t a b c i) :precision binary64 (+ z a))
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return z + a;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
code = z + a
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return z + a;
}
def code(x, y, z, t, a, b, c, i): return z + a
function code(x, y, z, t, a, b, c, i) return Float64(z + a) end
function tmp = code(x, y, z, t, a, b, c, i) tmp = z + a; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := N[(z + a), $MachinePrecision]
\begin{array}{l}
\\
z + a
\end{array}
Initial program 99.8%
Taylor expanded in x around 0
+-commutativeN/A
associate-+l+N/A
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6484.7
Simplified84.7%
Taylor expanded in y around 0
+-lowering-+.f64N/A
+-lowering-+.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
log-lowering-log.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f6463.3
Simplified63.3%
Taylor expanded in z around inf
Simplified32.5%
Final simplification32.5%
(FPCore (x y z t a b c i) :precision binary64 a)
double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return a;
}
real(8) function code(x, y, z, t, a, b, c, i)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8), intent (in) :: i
code = a
end function
public static double code(double x, double y, double z, double t, double a, double b, double c, double i) {
return a;
}
def code(x, y, z, t, a, b, c, i): return a
function code(x, y, z, t, a, b, c, i) return a end
function tmp = code(x, y, z, t, a, b, c, i) tmp = a; end
code[x_, y_, z_, t_, a_, b_, c_, i_] := a
\begin{array}{l}
\\
a
\end{array}
Initial program 99.8%
Taylor expanded in a around inf
Simplified19.0%
herbie shell --seed 2024199
(FPCore (x y z t a b c i)
:name "Numeric.SpecFunctions:logBeta from math-functions-0.1.5.2, B"
:precision binary64
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))