
(FPCore (x y z)
:precision binary64
(+
x
(/
(*
y
(+
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.279195317918525))
(+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
double code(double x, double y, double z) {
return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x + ((y * ((((z * 0.0692910599291889d0) + 0.4917317610505968d0) * z) + 0.279195317918525d0)) / (((z + 6.012459259764103d0) * z) + 3.350343815022304d0))
end function
public static double code(double x, double y, double z) {
return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304));
}
def code(x, y, z): return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304))
function code(x, y, z) return Float64(x + Float64(Float64(y * Float64(Float64(Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / Float64(Float64(Float64(z + 6.012459259764103) * z) + 3.350343815022304))) end
function tmp = code(x, y, z) tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304)); end
code[x_, y_, z_] := N[(x + N[(N[(y * N[(N[(N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision] * z), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(N[(z + 6.012459259764103), $MachinePrecision] * z), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{y \cdot \left(\left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) \cdot z + 0.279195317918525\right)}{\left(z + 6.012459259764103\right) \cdot z + 3.350343815022304}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 18 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z)
:precision binary64
(+
x
(/
(*
y
(+
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.279195317918525))
(+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
double code(double x, double y, double z) {
return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304));
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x + ((y * ((((z * 0.0692910599291889d0) + 0.4917317610505968d0) * z) + 0.279195317918525d0)) / (((z + 6.012459259764103d0) * z) + 3.350343815022304d0))
end function
public static double code(double x, double y, double z) {
return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304));
}
def code(x, y, z): return x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304))
function code(x, y, z) return Float64(x + Float64(Float64(y * Float64(Float64(Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / Float64(Float64(Float64(z + 6.012459259764103) * z) + 3.350343815022304))) end
function tmp = code(x, y, z) tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) / (((z + 6.012459259764103) * z) + 3.350343815022304)); end
code[x_, y_, z_] := N[(x + N[(N[(y * N[(N[(N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision] * z), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(N[(z + 6.012459259764103), $MachinePrecision] * z), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + \frac{y \cdot \left(\left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) \cdot z + 0.279195317918525\right)}{\left(z + 6.012459259764103\right) \cdot z + 3.350343815022304}
\end{array}
(FPCore (x y z)
:precision binary64
(if (<=
(/
(*
y
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(+ (* z (+ z 6.012459259764103)) 3.350343815022304))
INFINITY)
(+
x
(*
y
(/
(fma
(-
(*
(pow z 2.0)
(/
0.004801250986110448
(fma z 0.0692910599291889 -0.4917317610505968)))
(/ 0.24180012482592123 (fma z 0.0692910599291889 -0.4917317610505968)))
z
0.279195317918525)
(fma (+ z 6.012459259764103) z 3.350343815022304))))
(+ x (* y 0.0692910599291889))))
double code(double x, double y, double z) {
double tmp;
if (((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) <= ((double) INFINITY)) {
tmp = x + (y * (fma(((pow(z, 2.0) * (0.004801250986110448 / fma(z, 0.0692910599291889, -0.4917317610505968))) - (0.24180012482592123 / fma(z, 0.0692910599291889, -0.4917317610505968))), z, 0.279195317918525) / fma((z + 6.012459259764103), z, 3.350343815022304)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) tmp = 0.0 if (Float64(Float64(y * Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304)) <= Inf) tmp = Float64(x + Float64(y * Float64(fma(Float64(Float64((z ^ 2.0) * Float64(0.004801250986110448 / fma(z, 0.0692910599291889, -0.4917317610505968))) - Float64(0.24180012482592123 / fma(z, 0.0692910599291889, -0.4917317610505968))), z, 0.279195317918525) / fma(Float64(z + 6.012459259764103), z, 3.350343815022304)))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := If[LessEqual[N[(N[(y * N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision], Infinity], N[(x + N[(y * N[(N[(N[(N[(N[Power[z, 2.0], $MachinePrecision] * N[(0.004801250986110448 / N[(z * 0.0692910599291889 + -0.4917317610505968), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(0.24180012482592123 / N[(z * 0.0692910599291889 + -0.4917317610505968), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * z + 0.279195317918525), $MachinePrecision] / N[(N[(z + 6.012459259764103), $MachinePrecision] * z + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{y \cdot \left(z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\right)}{z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304} \leq \infty:\\
\;\;\;\;x + y \cdot \frac{\mathsf{fma}\left({z}^{2} \cdot \frac{0.004801250986110448}{\mathsf{fma}\left(z, 0.0692910599291889, -0.4917317610505968\right)} - \frac{0.24180012482592123}{\mathsf{fma}\left(z, 0.0692910599291889, -0.4917317610505968\right)}, z, 0.279195317918525\right)}{\mathsf{fma}\left(z + 6.012459259764103, z, 3.350343815022304\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < +inf.0Initial program 90.7%
remove-double-neg90.7%
associate-/l*99.5%
distribute-rgt-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-rgt-neg-in99.5%
remove-double-neg99.5%
fma-define99.5%
fma-define99.5%
fma-define99.5%
Simplified99.5%
fma-define99.5%
flip-+99.5%
div-sub99.5%
swap-sqr99.5%
pow299.5%
metadata-eval99.5%
fma-neg99.5%
metadata-eval99.5%
metadata-eval99.5%
fma-neg99.5%
metadata-eval99.5%
Applied egg-rr99.5%
associate-/l*99.6%
Simplified99.6%
if +inf.0 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.0%
+-commutative0.0%
*-commutative0.0%
associate-/l*0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
Simplified0.0%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification99.6%
(FPCore (x y z)
:precision binary64
(if (<=
(/
(*
y
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(+ (* z (+ z 6.012459259764103)) 3.350343815022304))
INFINITY)
(+
x
(*
y
(/
(fma
(/
1.0
(/
(fma z 0.0692910599291889 -0.4917317610505968)
(+ (* (pow z 2.0) 0.004801250986110448) -0.24180012482592123)))
z
0.279195317918525)
(fma (+ z 6.012459259764103) z 3.350343815022304))))
(+ x (* y 0.0692910599291889))))
double code(double x, double y, double z) {
double tmp;
if (((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) <= ((double) INFINITY)) {
tmp = x + (y * (fma((1.0 / (fma(z, 0.0692910599291889, -0.4917317610505968) / ((pow(z, 2.0) * 0.004801250986110448) + -0.24180012482592123))), z, 0.279195317918525) / fma((z + 6.012459259764103), z, 3.350343815022304)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) tmp = 0.0 if (Float64(Float64(y * Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304)) <= Inf) tmp = Float64(x + Float64(y * Float64(fma(Float64(1.0 / Float64(fma(z, 0.0692910599291889, -0.4917317610505968) / Float64(Float64((z ^ 2.0) * 0.004801250986110448) + -0.24180012482592123))), z, 0.279195317918525) / fma(Float64(z + 6.012459259764103), z, 3.350343815022304)))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := If[LessEqual[N[(N[(y * N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision], Infinity], N[(x + N[(y * N[(N[(N[(1.0 / N[(N[(z * 0.0692910599291889 + -0.4917317610505968), $MachinePrecision] / N[(N[(N[Power[z, 2.0], $MachinePrecision] * 0.004801250986110448), $MachinePrecision] + -0.24180012482592123), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * z + 0.279195317918525), $MachinePrecision] / N[(N[(z + 6.012459259764103), $MachinePrecision] * z + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{y \cdot \left(z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\right)}{z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304} \leq \infty:\\
\;\;\;\;x + y \cdot \frac{\mathsf{fma}\left(\frac{1}{\frac{\mathsf{fma}\left(z, 0.0692910599291889, -0.4917317610505968\right)}{{z}^{2} \cdot 0.004801250986110448 + -0.24180012482592123}}, z, 0.279195317918525\right)}{\mathsf{fma}\left(z + 6.012459259764103, z, 3.350343815022304\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < +inf.0Initial program 90.7%
remove-double-neg90.7%
associate-/l*99.5%
distribute-rgt-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-rgt-neg-in99.5%
remove-double-neg99.5%
fma-define99.5%
fma-define99.5%
fma-define99.5%
Simplified99.5%
fma-define99.5%
flip-+99.5%
clear-num99.6%
fma-neg99.6%
metadata-eval99.6%
sub-neg99.6%
swap-sqr99.5%
pow299.5%
metadata-eval99.6%
metadata-eval99.6%
metadata-eval99.6%
Applied egg-rr99.6%
if +inf.0 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.0%
+-commutative0.0%
*-commutative0.0%
associate-/l*0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
Simplified0.0%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification99.6%
(FPCore (x y z)
:precision binary64
(if (<=
(/
(*
y
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(+ (* z (+ z 6.012459259764103)) 3.350343815022304))
5e+276)
(+
x
(*
y
(/
(fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)
(fma (+ z 6.012459259764103) z 3.350343815022304))))
(+ x (* y 0.0692910599291889))))
double code(double x, double y, double z) {
double tmp;
if (((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) <= 5e+276) {
tmp = x + (y * (fma(fma(z, 0.0692910599291889, 0.4917317610505968), z, 0.279195317918525) / fma((z + 6.012459259764103), z, 3.350343815022304)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) tmp = 0.0 if (Float64(Float64(y * Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304)) <= 5e+276) tmp = Float64(x + Float64(y * Float64(fma(fma(z, 0.0692910599291889, 0.4917317610505968), z, 0.279195317918525) / fma(Float64(z + 6.012459259764103), z, 3.350343815022304)))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := If[LessEqual[N[(N[(y * N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision], 5e+276], N[(x + N[(y * N[(N[(N[(z * 0.0692910599291889 + 0.4917317610505968), $MachinePrecision] * z + 0.279195317918525), $MachinePrecision] / N[(N[(z + 6.012459259764103), $MachinePrecision] * z + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{y \cdot \left(z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\right)}{z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304} \leq 5 \cdot 10^{+276}:\\
\;\;\;\;x + y \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(z, 0.0692910599291889, 0.4917317610505968\right), z, 0.279195317918525\right)}{\mathsf{fma}\left(z + 6.012459259764103, z, 3.350343815022304\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < 5.00000000000000001e276Initial program 94.0%
remove-double-neg94.0%
associate-/l*99.6%
distribute-rgt-neg-in99.6%
distribute-lft-neg-in99.6%
distribute-lft-neg-in99.6%
distribute-rgt-neg-in99.6%
remove-double-neg99.6%
fma-define99.6%
fma-define99.6%
fma-define99.6%
Simplified99.6%
if 5.00000000000000001e276 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.3%
+-commutative0.3%
*-commutative0.3%
associate-/l*5.9%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
Simplified6.0%
Taylor expanded in z around inf 99.5%
+-commutative99.5%
Simplified99.5%
Final simplification99.6%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
(t_1
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(t_2 (/ (* y t_1) t_0)))
(if (<= t_2 -5e+132)
(* y (+ (/ x y) (/ t_1 t_0)))
(if (<= t_2 5e+276)
(+
x
(/
(+
(* (fma z 0.0692910599291889 0.4917317610505968) (* y z))
(* y 0.279195317918525))
(+
3.350343815022304
(* (pow z 2.0) (+ (/ 6.012459259764103 z) 1.0)))))
(+ x (* y 0.0692910599291889))))))
double code(double x, double y, double z) {
double t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304;
double t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525;
double t_2 = (y * t_1) / t_0;
double tmp;
if (t_2 <= -5e+132) {
tmp = y * ((x / y) + (t_1 / t_0));
} else if (t_2 <= 5e+276) {
tmp = x + (((fma(z, 0.0692910599291889, 0.4917317610505968) * (y * z)) + (y * 0.279195317918525)) / (3.350343815022304 + (pow(z, 2.0) * ((6.012459259764103 / z) + 1.0))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) t_0 = Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304) t_1 = Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525) t_2 = Float64(Float64(y * t_1) / t_0) tmp = 0.0 if (t_2 <= -5e+132) tmp = Float64(y * Float64(Float64(x / y) + Float64(t_1 / t_0))); elseif (t_2 <= 5e+276) tmp = Float64(x + Float64(Float64(Float64(fma(z, 0.0692910599291889, 0.4917317610505968) * Float64(y * z)) + Float64(y * 0.279195317918525)) / Float64(3.350343815022304 + Float64((z ^ 2.0) * Float64(Float64(6.012459259764103 / z) + 1.0))))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]}, Block[{t$95$1 = N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]}, Block[{t$95$2 = N[(N[(y * t$95$1), $MachinePrecision] / t$95$0), $MachinePrecision]}, If[LessEqual[t$95$2, -5e+132], N[(y * N[(N[(x / y), $MachinePrecision] + N[(t$95$1 / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$2, 5e+276], N[(x + N[(N[(N[(N[(z * 0.0692910599291889 + 0.4917317610505968), $MachinePrecision] * N[(y * z), $MachinePrecision]), $MachinePrecision] + N[(y * 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(3.350343815022304 + N[(N[Power[z, 2.0], $MachinePrecision] * N[(N[(6.012459259764103 / z), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304\\
t_1 := z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\\
t_2 := \frac{y \cdot t\_1}{t\_0}\\
\mathbf{if}\;t\_2 \leq -5 \cdot 10^{+132}:\\
\;\;\;\;y \cdot \left(\frac{x}{y} + \frac{t\_1}{t\_0}\right)\\
\mathbf{elif}\;t\_2 \leq 5 \cdot 10^{+276}:\\
\;\;\;\;x + \frac{\mathsf{fma}\left(z, 0.0692910599291889, 0.4917317610505968\right) \cdot \left(y \cdot z\right) + y \cdot 0.279195317918525}{3.350343815022304 + {z}^{2} \cdot \left(\frac{6.012459259764103}{z} + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < -5.0000000000000001e132Initial program 74.7%
+-commutative74.7%
*-commutative74.7%
associate-/l*99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
Simplified99.3%
Taylor expanded in y around -inf 99.3%
if -5.0000000000000001e132 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < 5.00000000000000001e276Initial program 99.5%
Taylor expanded in z around inf 99.6%
associate-*r/99.6%
metadata-eval99.6%
Simplified99.6%
distribute-rgt-in99.5%
fma-define99.5%
associate-*l*99.6%
Applied egg-rr99.6%
if 5.00000000000000001e276 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.3%
+-commutative0.3%
*-commutative0.3%
associate-/l*5.9%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
Simplified6.0%
Taylor expanded in z around inf 99.5%
+-commutative99.5%
Simplified99.5%
Final simplification99.5%
(FPCore (x y z)
:precision binary64
(if (<=
(/
(*
y
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(+ (* z (+ z 6.012459259764103)) 3.350343815022304))
INFINITY)
(+
x
(*
y
(/
(+
0.279195317918525
(*
z
(/
(+ 0.24180012482592123 (* (pow z 2.0) -0.004801250986110448))
(+ 0.4917317610505968 (* z -0.0692910599291889)))))
(fma z (+ z 6.012459259764103) 3.350343815022304))))
(+ x (* y 0.0692910599291889))))
double code(double x, double y, double z) {
double tmp;
if (((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) <= ((double) INFINITY)) {
tmp = x + (y * ((0.279195317918525 + (z * ((0.24180012482592123 + (pow(z, 2.0) * -0.004801250986110448)) / (0.4917317610505968 + (z * -0.0692910599291889))))) / fma(z, (z + 6.012459259764103), 3.350343815022304)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) tmp = 0.0 if (Float64(Float64(y * Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304)) <= Inf) tmp = Float64(x + Float64(y * Float64(Float64(0.279195317918525 + Float64(z * Float64(Float64(0.24180012482592123 + Float64((z ^ 2.0) * -0.004801250986110448)) / Float64(0.4917317610505968 + Float64(z * -0.0692910599291889))))) / fma(z, Float64(z + 6.012459259764103), 3.350343815022304)))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := If[LessEqual[N[(N[(y * N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision], Infinity], N[(x + N[(y * N[(N[(0.279195317918525 + N[(z * N[(N[(0.24180012482592123 + N[(N[Power[z, 2.0], $MachinePrecision] * -0.004801250986110448), $MachinePrecision]), $MachinePrecision] / N[(0.4917317610505968 + N[(z * -0.0692910599291889), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(z * N[(z + 6.012459259764103), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{y \cdot \left(z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\right)}{z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304} \leq \infty:\\
\;\;\;\;x + y \cdot \frac{0.279195317918525 + z \cdot \frac{0.24180012482592123 + {z}^{2} \cdot -0.004801250986110448}{0.4917317610505968 + z \cdot -0.0692910599291889}}{\mathsf{fma}\left(z, z + 6.012459259764103, 3.350343815022304\right)}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < +inf.0Initial program 90.7%
remove-double-neg90.7%
associate-/l*99.5%
distribute-rgt-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-lft-neg-in99.5%
distribute-rgt-neg-in99.5%
remove-double-neg99.5%
fma-define99.5%
fma-define99.5%
fma-define99.5%
Simplified99.5%
fma-define99.5%
+-commutative99.5%
flip-+99.5%
metadata-eval99.5%
swap-sqr99.5%
pow299.5%
metadata-eval99.5%
Applied egg-rr99.5%
Taylor expanded in y around 0 87.8%
Simplified99.5%
if +inf.0 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.0%
+-commutative0.0%
*-commutative0.0%
associate-/l*0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
fma-define0.0%
*-commutative0.0%
fma-define0.0%
Simplified0.0%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification99.5%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
(t_1
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(t_2 (/ (* y t_1) t_0)))
(if (<= t_2 -5e+132)
(* y (+ (/ x y) (/ t_1 t_0)))
(if (<= t_2 5e+276)
(+
x
(/
(+
(* (fma z 0.0692910599291889 0.4917317610505968) (* y z))
(* y 0.279195317918525))
t_0))
(+ x (* y 0.0692910599291889))))))
double code(double x, double y, double z) {
double t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304;
double t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525;
double t_2 = (y * t_1) / t_0;
double tmp;
if (t_2 <= -5e+132) {
tmp = y * ((x / y) + (t_1 / t_0));
} else if (t_2 <= 5e+276) {
tmp = x + (((fma(z, 0.0692910599291889, 0.4917317610505968) * (y * z)) + (y * 0.279195317918525)) / t_0);
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
function code(x, y, z) t_0 = Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304) t_1 = Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525) t_2 = Float64(Float64(y * t_1) / t_0) tmp = 0.0 if (t_2 <= -5e+132) tmp = Float64(y * Float64(Float64(x / y) + Float64(t_1 / t_0))); elseif (t_2 <= 5e+276) tmp = Float64(x + Float64(Float64(Float64(fma(z, 0.0692910599291889, 0.4917317610505968) * Float64(y * z)) + Float64(y * 0.279195317918525)) / t_0)); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]}, Block[{t$95$1 = N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]}, Block[{t$95$2 = N[(N[(y * t$95$1), $MachinePrecision] / t$95$0), $MachinePrecision]}, If[LessEqual[t$95$2, -5e+132], N[(y * N[(N[(x / y), $MachinePrecision] + N[(t$95$1 / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$2, 5e+276], N[(x + N[(N[(N[(N[(z * 0.0692910599291889 + 0.4917317610505968), $MachinePrecision] * N[(y * z), $MachinePrecision]), $MachinePrecision] + N[(y * 0.279195317918525), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304\\
t_1 := z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\\
t_2 := \frac{y \cdot t\_1}{t\_0}\\
\mathbf{if}\;t\_2 \leq -5 \cdot 10^{+132}:\\
\;\;\;\;y \cdot \left(\frac{x}{y} + \frac{t\_1}{t\_0}\right)\\
\mathbf{elif}\;t\_2 \leq 5 \cdot 10^{+276}:\\
\;\;\;\;x + \frac{\mathsf{fma}\left(z, 0.0692910599291889, 0.4917317610505968\right) \cdot \left(y \cdot z\right) + y \cdot 0.279195317918525}{t\_0}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < -5.0000000000000001e132Initial program 74.7%
+-commutative74.7%
*-commutative74.7%
associate-/l*99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
Simplified99.3%
Taylor expanded in y around -inf 99.3%
if -5.0000000000000001e132 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < 5.00000000000000001e276Initial program 99.5%
distribute-rgt-in99.5%
fma-define99.5%
associate-*l*99.6%
Applied egg-rr99.6%
if 5.00000000000000001e276 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.3%
+-commutative0.3%
*-commutative0.3%
associate-/l*5.9%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
Simplified6.0%
Taylor expanded in z around inf 99.5%
+-commutative99.5%
Simplified99.5%
Final simplification99.5%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (+ (* z (+ z 6.012459259764103)) 3.350343815022304))
(t_1
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(t_2 (/ (* y t_1) t_0)))
(if (<= t_2 -5e+132)
(* y (+ (/ x y) (/ t_1 t_0)))
(if (<= t_2 5e+276)
(+
x
(/
(+
(* y 0.279195317918525)
(* z (+ (* 0.0692910599291889 (* y z)) (* y 0.4917317610505968))))
t_0))
(+ x (* y 0.0692910599291889))))))
double code(double x, double y, double z) {
double t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304;
double t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525;
double t_2 = (y * t_1) / t_0;
double tmp;
if (t_2 <= -5e+132) {
tmp = y * ((x / y) + (t_1 / t_0));
} else if (t_2 <= 5e+276) {
tmp = x + (((y * 0.279195317918525) + (z * ((0.0692910599291889 * (y * z)) + (y * 0.4917317610505968)))) / t_0);
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_0 = (z * (z + 6.012459259764103d0)) + 3.350343815022304d0
t_1 = (z * ((z * 0.0692910599291889d0) + 0.4917317610505968d0)) + 0.279195317918525d0
t_2 = (y * t_1) / t_0
if (t_2 <= (-5d+132)) then
tmp = y * ((x / y) + (t_1 / t_0))
else if (t_2 <= 5d+276) then
tmp = x + (((y * 0.279195317918525d0) + (z * ((0.0692910599291889d0 * (y * z)) + (y * 0.4917317610505968d0)))) / t_0)
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304;
double t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525;
double t_2 = (y * t_1) / t_0;
double tmp;
if (t_2 <= -5e+132) {
tmp = y * ((x / y) + (t_1 / t_0));
} else if (t_2 <= 5e+276) {
tmp = x + (((y * 0.279195317918525) + (z * ((0.0692910599291889 * (y * z)) + (y * 0.4917317610505968)))) / t_0);
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304 t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525 t_2 = (y * t_1) / t_0 tmp = 0 if t_2 <= -5e+132: tmp = y * ((x / y) + (t_1 / t_0)) elif t_2 <= 5e+276: tmp = x + (((y * 0.279195317918525) + (z * ((0.0692910599291889 * (y * z)) + (y * 0.4917317610505968)))) / t_0) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) t_0 = Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304) t_1 = Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525) t_2 = Float64(Float64(y * t_1) / t_0) tmp = 0.0 if (t_2 <= -5e+132) tmp = Float64(y * Float64(Float64(x / y) + Float64(t_1 / t_0))); elseif (t_2 <= 5e+276) tmp = Float64(x + Float64(Float64(Float64(y * 0.279195317918525) + Float64(z * Float64(Float64(0.0692910599291889 * Float64(y * z)) + Float64(y * 0.4917317610505968)))) / t_0)); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) t_0 = (z * (z + 6.012459259764103)) + 3.350343815022304; t_1 = (z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525; t_2 = (y * t_1) / t_0; tmp = 0.0; if (t_2 <= -5e+132) tmp = y * ((x / y) + (t_1 / t_0)); elseif (t_2 <= 5e+276) tmp = x + (((y * 0.279195317918525) + (z * ((0.0692910599291889 * (y * z)) + (y * 0.4917317610505968)))) / t_0); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]}, Block[{t$95$1 = N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]}, Block[{t$95$2 = N[(N[(y * t$95$1), $MachinePrecision] / t$95$0), $MachinePrecision]}, If[LessEqual[t$95$2, -5e+132], N[(y * N[(N[(x / y), $MachinePrecision] + N[(t$95$1 / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$2, 5e+276], N[(x + N[(N[(N[(y * 0.279195317918525), $MachinePrecision] + N[(z * N[(N[(0.0692910599291889 * N[(y * z), $MachinePrecision]), $MachinePrecision] + N[(y * 0.4917317610505968), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304\\
t_1 := z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\\
t_2 := \frac{y \cdot t\_1}{t\_0}\\
\mathbf{if}\;t\_2 \leq -5 \cdot 10^{+132}:\\
\;\;\;\;y \cdot \left(\frac{x}{y} + \frac{t\_1}{t\_0}\right)\\
\mathbf{elif}\;t\_2 \leq 5 \cdot 10^{+276}:\\
\;\;\;\;x + \frac{y \cdot 0.279195317918525 + z \cdot \left(0.0692910599291889 \cdot \left(y \cdot z\right) + y \cdot 0.4917317610505968\right)}{t\_0}\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < -5.0000000000000001e132Initial program 74.7%
+-commutative74.7%
*-commutative74.7%
associate-/l*99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
fma-define99.3%
*-commutative99.3%
fma-define99.3%
Simplified99.3%
Taylor expanded in y around -inf 99.3%
if -5.0000000000000001e132 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) < 5.00000000000000001e276Initial program 99.5%
Taylor expanded in z around 0 99.6%
if 5.00000000000000001e276 < (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 z #s(literal 692910599291889/10000000000000000 binary64)) #s(literal 307332350656623/625000000000000 binary64)) z) #s(literal 11167812716741/40000000000000 binary64))) (+.f64 (*.f64 (+.f64 z #s(literal 6012459259764103/1000000000000000 binary64)) z) #s(literal 104698244219447/31250000000000 binary64))) Initial program 0.3%
+-commutative0.3%
*-commutative0.3%
associate-/l*5.9%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
fma-define6.0%
*-commutative6.0%
fma-define6.0%
Simplified6.0%
Taylor expanded in z around inf 99.5%
+-commutative99.5%
Simplified99.5%
Final simplification99.5%
(FPCore (x y z)
:precision binary64
(if (or (<= z -1.1e+21) (not (<= z 1.9e-8)))
(+ x (* y 0.0692910599291889))
(+
(/
(*
y
(+
(* z (+ (* z 0.0692910599291889) 0.4917317610505968))
0.279195317918525))
(+ (* z (+ z 6.012459259764103)) 3.350343815022304))
x)))
double code(double x, double y, double z) {
double tmp;
if ((z <= -1.1e+21) || !(z <= 1.9e-8)) {
tmp = x + (y * 0.0692910599291889);
} else {
tmp = ((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) + x;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((z <= (-1.1d+21)) .or. (.not. (z <= 1.9d-8))) then
tmp = x + (y * 0.0692910599291889d0)
else
tmp = ((y * ((z * ((z * 0.0692910599291889d0) + 0.4917317610505968d0)) + 0.279195317918525d0)) / ((z * (z + 6.012459259764103d0)) + 3.350343815022304d0)) + x
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((z <= -1.1e+21) || !(z <= 1.9e-8)) {
tmp = x + (y * 0.0692910599291889);
} else {
tmp = ((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) + x;
}
return tmp;
}
def code(x, y, z): tmp = 0 if (z <= -1.1e+21) or not (z <= 1.9e-8): tmp = x + (y * 0.0692910599291889) else: tmp = ((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) + x return tmp
function code(x, y, z) tmp = 0.0 if ((z <= -1.1e+21) || !(z <= 1.9e-8)) tmp = Float64(x + Float64(y * 0.0692910599291889)); else tmp = Float64(Float64(Float64(y * Float64(Float64(z * Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / Float64(Float64(z * Float64(z + 6.012459259764103)) + 3.350343815022304)) + x); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((z <= -1.1e+21) || ~((z <= 1.9e-8))) tmp = x + (y * 0.0692910599291889); else tmp = ((y * ((z * ((z * 0.0692910599291889) + 0.4917317610505968)) + 0.279195317918525)) / ((z * (z + 6.012459259764103)) + 3.350343815022304)) + x; end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[z, -1.1e+21], N[Not[LessEqual[z, 1.9e-8]], $MachinePrecision]], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision], N[(N[(N[(y * N[(N[(z * N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision]), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] / N[(N[(z * N[(z + 6.012459259764103), $MachinePrecision]), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision] + x), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -1.1 \cdot 10^{+21} \lor \neg \left(z \leq 1.9 \cdot 10^{-8}\right):\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot \left(z \cdot \left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) + 0.279195317918525\right)}{z \cdot \left(z + 6.012459259764103\right) + 3.350343815022304} + x\\
\end{array}
\end{array}
if z < -1.1e21 or 1.90000000000000014e-8 < z Initial program 24.4%
+-commutative24.4%
*-commutative24.4%
associate-/l*34.3%
fma-define34.3%
*-commutative34.3%
fma-define34.3%
fma-define34.3%
*-commutative34.3%
fma-define34.3%
Simplified34.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
if -1.1e21 < z < 1.90000000000000014e-8Initial program 99.4%
Final simplification99.5%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+
x
(*
y
(-
0.0692910599291889
(/ (+ -0.07512208616047561 (/ 0.4046220386999212 z)) z))))
(if (<= z 1.9e-8)
(+
x
(*
y
(+
0.08333333333333323
(*
z
(-
(* z (+ 0.0007936505811533442 (* z -0.0005951669793454025)))
0.00277777777751721)))))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 - (((-0.07512208616047561d0) + (0.4046220386999212d0 / z)) / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * (0.08333333333333323d0 + (z * ((z * (0.0007936505811533442d0 + (z * (-0.0005951669793454025d0)))) - 0.00277777777751721d0))))
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z))) elif z <= 1.9e-8: tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721)))) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 - Float64(Float64(-0.07512208616047561 + Float64(0.4046220386999212 / z)) / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * Float64(0.08333333333333323 + Float64(z * Float64(Float64(z * Float64(0.0007936505811533442 + Float64(z * -0.0005951669793454025))) - 0.00277777777751721))))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z))); elseif (z <= 1.9e-8) tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721)))); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 - N[(N[(-0.07512208616047561 + N[(0.4046220386999212 / z), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * N[(0.08333333333333323 + N[(z * N[(N[(z * N[(0.0007936505811533442 + N[(z * -0.0005951669793454025), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 0.00277777777751721), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 - \frac{-0.07512208616047561 + \frac{0.4046220386999212}{z}}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot \left(0.08333333333333323 + z \cdot \left(z \cdot \left(0.0007936505811533442 + z \cdot -0.0005951669793454025\right) - 0.00277777777751721\right)\right)\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
Taylor expanded in z around -inf 98.0%
mul-1-neg98.0%
unsub-neg98.0%
sub-neg98.0%
associate-*r/98.0%
metadata-eval98.0%
metadata-eval98.0%
Simplified98.0%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
remove-double-neg99.4%
associate-/l*99.7%
distribute-rgt-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-rgt-neg-in99.7%
remove-double-neg99.7%
fma-define99.7%
fma-define99.7%
fma-define99.7%
Simplified99.7%
Taylor expanded in z around 0 98.5%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.6%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+
x
(*
y
(-
0.0692910599291889
(/
(-
-0.07512208616047561
(/ (+ (/ 2.181088706546648 z) -0.4046220386999212) z))
z))))
(if (<= z 1.9e-8)
(+
x
(*
y
(+
0.08333333333333323
(*
z
(-
(* z (+ 0.0007936505811533442 (* z -0.0005951669793454025)))
0.00277777777751721)))))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 - (((2.181088706546648 / z) + -0.4046220386999212) / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 - (((-0.07512208616047561d0) - (((2.181088706546648d0 / z) + (-0.4046220386999212d0)) / z)) / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * (0.08333333333333323d0 + (z * ((z * (0.0007936505811533442d0 + (z * (-0.0005951669793454025d0)))) - 0.00277777777751721d0))))
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 - (((2.181088706546648 / z) + -0.4046220386999212) / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 - (((2.181088706546648 / z) + -0.4046220386999212) / z)) / z))) elif z <= 1.9e-8: tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721)))) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 - Float64(Float64(-0.07512208616047561 - Float64(Float64(Float64(2.181088706546648 / z) + -0.4046220386999212) / z)) / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * Float64(0.08333333333333323 + Float64(z * Float64(Float64(z * Float64(0.0007936505811533442 + Float64(z * -0.0005951669793454025))) - 0.00277777777751721))))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 - (((2.181088706546648 / z) + -0.4046220386999212) / z)) / z))); elseif (z <= 1.9e-8) tmp = x + (y * (0.08333333333333323 + (z * ((z * (0.0007936505811533442 + (z * -0.0005951669793454025))) - 0.00277777777751721)))); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 - N[(N[(-0.07512208616047561 - N[(N[(N[(2.181088706546648 / z), $MachinePrecision] + -0.4046220386999212), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * N[(0.08333333333333323 + N[(z * N[(N[(z * N[(0.0007936505811533442 + N[(z * -0.0005951669793454025), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 0.00277777777751721), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 - \frac{-0.07512208616047561 - \frac{\frac{2.181088706546648}{z} + -0.4046220386999212}{z}}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot \left(0.08333333333333323 + z \cdot \left(z \cdot \left(0.0007936505811533442 + z \cdot -0.0005951669793454025\right) - 0.00277777777751721\right)\right)\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
fma-define39.6%
+-commutative39.6%
flip-+39.6%
metadata-eval39.6%
swap-sqr39.6%
pow239.6%
metadata-eval39.7%
Applied egg-rr39.7%
Taylor expanded in z around -inf 98.2%
mul-1-neg98.2%
unsub-neg98.2%
sub-neg98.2%
+-commutative98.2%
mul-1-neg98.2%
unsub-neg98.2%
metadata-eval98.2%
sub-neg98.2%
associate-*r/98.2%
metadata-eval98.2%
metadata-eval98.2%
Simplified98.2%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
remove-double-neg99.4%
associate-/l*99.7%
distribute-rgt-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-rgt-neg-in99.7%
remove-double-neg99.7%
fma-define99.7%
fma-define99.7%
fma-define99.7%
Simplified99.7%
Taylor expanded in z around 0 98.5%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.7%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+ x (* y (+ 0.0692910599291889 (/ 0.07512208616047561 z))))
(if (<= z 1.9e-8)
(+
x
(*
y
(+
0.08333333333333323
(* z (- (* z 0.0007936505811533442) 0.00277777777751721)))))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 + (0.07512208616047561d0 / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * (0.08333333333333323d0 + (z * ((z * 0.0007936505811533442d0) - 0.00277777777751721d0))))
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))) elif z <= 1.9e-8: tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721)))) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 + Float64(0.07512208616047561 / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * Float64(0.08333333333333323 + Float64(z * Float64(Float64(z * 0.0007936505811533442) - 0.00277777777751721))))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))); elseif (z <= 1.9e-8) tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721)))); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 + N[(0.07512208616047561 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * N[(0.08333333333333323 + N[(z * N[(N[(z * 0.0007936505811533442), $MachinePrecision] - 0.00277777777751721), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 + \frac{0.07512208616047561}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot \left(0.08333333333333323 + z \cdot \left(z \cdot 0.0007936505811533442 - 0.00277777777751721\right)\right)\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
Taylor expanded in z around inf 97.7%
associate-*r/97.7%
metadata-eval97.7%
Simplified97.7%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
remove-double-neg99.4%
associate-/l*99.7%
distribute-rgt-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-rgt-neg-in99.7%
remove-double-neg99.7%
fma-define99.7%
fma-define99.7%
fma-define99.7%
Simplified99.7%
Taylor expanded in z around 0 98.5%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.6%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+
x
(*
y
(-
0.0692910599291889
(/ (+ -0.07512208616047561 (/ 0.4046220386999212 z)) z))))
(if (<= z 1.9e-8)
(+
x
(*
y
(+
0.08333333333333323
(* z (- (* z 0.0007936505811533442) 0.00277777777751721)))))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 - (((-0.07512208616047561d0) + (0.4046220386999212d0 / z)) / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * (0.08333333333333323d0 + (z * ((z * 0.0007936505811533442d0) - 0.00277777777751721d0))))
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721))));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z))) elif z <= 1.9e-8: tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721)))) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 - Float64(Float64(-0.07512208616047561 + Float64(0.4046220386999212 / z)) / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * Float64(0.08333333333333323 + Float64(z * Float64(Float64(z * 0.0007936505811533442) - 0.00277777777751721))))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 - ((-0.07512208616047561 + (0.4046220386999212 / z)) / z))); elseif (z <= 1.9e-8) tmp = x + (y * (0.08333333333333323 + (z * ((z * 0.0007936505811533442) - 0.00277777777751721)))); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 - N[(N[(-0.07512208616047561 + N[(0.4046220386999212 / z), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * N[(0.08333333333333323 + N[(z * N[(N[(z * 0.0007936505811533442), $MachinePrecision] - 0.00277777777751721), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 - \frac{-0.07512208616047561 + \frac{0.4046220386999212}{z}}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot \left(0.08333333333333323 + z \cdot \left(z \cdot 0.0007936505811533442 - 0.00277777777751721\right)\right)\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
Taylor expanded in z around -inf 98.0%
mul-1-neg98.0%
unsub-neg98.0%
sub-neg98.0%
associate-*r/98.0%
metadata-eval98.0%
metadata-eval98.0%
Simplified98.0%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
remove-double-neg99.4%
associate-/l*99.7%
distribute-rgt-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-rgt-neg-in99.7%
remove-double-neg99.7%
fma-define99.7%
fma-define99.7%
fma-define99.7%
Simplified99.7%
Taylor expanded in z around 0 98.5%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.6%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+ x (* y (+ 0.0692910599291889 (/ 0.07512208616047561 z))))
(if (<= z 1.9e-8)
(+ x (* y (+ 0.08333333333333323 (* z -0.00277777777751721))))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * -0.00277777777751721)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 + (0.07512208616047561d0 / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * (0.08333333333333323d0 + (z * (-0.00277777777751721d0))))
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * (0.08333333333333323 + (z * -0.00277777777751721)));
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))) elif z <= 1.9e-8: tmp = x + (y * (0.08333333333333323 + (z * -0.00277777777751721))) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 + Float64(0.07512208616047561 / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * Float64(0.08333333333333323 + Float64(z * -0.00277777777751721)))); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))); elseif (z <= 1.9e-8) tmp = x + (y * (0.08333333333333323 + (z * -0.00277777777751721))); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 + N[(0.07512208616047561 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * N[(0.08333333333333323 + N[(z * -0.00277777777751721), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 + \frac{0.07512208616047561}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot \left(0.08333333333333323 + z \cdot -0.00277777777751721\right)\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
Taylor expanded in z around inf 97.7%
associate-*r/97.7%
metadata-eval97.7%
Simplified97.7%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
remove-double-neg99.4%
associate-/l*99.7%
distribute-rgt-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-lft-neg-in99.7%
distribute-rgt-neg-in99.7%
remove-double-neg99.7%
fma-define99.7%
fma-define99.7%
fma-define99.7%
Simplified99.7%
Taylor expanded in z around 0 98.4%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.5%
(FPCore (x y z) :precision binary64 (if (or (<= z -5.4) (not (<= z 1.9e-8))) (+ x (* y 0.0692910599291889)) (+ x (* y 0.08333333333333323))))
double code(double x, double y, double z) {
double tmp;
if ((z <= -5.4) || !(z <= 1.9e-8)) {
tmp = x + (y * 0.0692910599291889);
} else {
tmp = x + (y * 0.08333333333333323);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((z <= (-5.4d0)) .or. (.not. (z <= 1.9d-8))) then
tmp = x + (y * 0.0692910599291889d0)
else
tmp = x + (y * 0.08333333333333323d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((z <= -5.4) || !(z <= 1.9e-8)) {
tmp = x + (y * 0.0692910599291889);
} else {
tmp = x + (y * 0.08333333333333323);
}
return tmp;
}
def code(x, y, z): tmp = 0 if (z <= -5.4) or not (z <= 1.9e-8): tmp = x + (y * 0.0692910599291889) else: tmp = x + (y * 0.08333333333333323) return tmp
function code(x, y, z) tmp = 0.0 if ((z <= -5.4) || !(z <= 1.9e-8)) tmp = Float64(x + Float64(y * 0.0692910599291889)); else tmp = Float64(x + Float64(y * 0.08333333333333323)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((z <= -5.4) || ~((z <= 1.9e-8))) tmp = x + (y * 0.0692910599291889); else tmp = x + (y * 0.08333333333333323); end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[z, -5.4], N[Not[LessEqual[z, 1.9e-8]], $MachinePrecision]], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.08333333333333323), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4 \lor \neg \left(z \leq 1.9 \cdot 10^{-8}\right):\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.08333333333333323\\
\end{array}
\end{array}
if z < -5.4000000000000004 or 1.90000000000000014e-8 < z Initial program 25.9%
+-commutative25.9%
*-commutative25.9%
associate-/l*35.6%
fma-define35.6%
*-commutative35.6%
fma-define35.6%
fma-define35.6%
*-commutative35.6%
fma-define35.6%
Simplified35.6%
Taylor expanded in z around inf 98.5%
+-commutative98.5%
Simplified98.5%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
+-commutative99.4%
*-commutative99.4%
associate-/l*99.5%
fma-define99.5%
*-commutative99.5%
fma-define99.5%
fma-define99.5%
*-commutative99.5%
fma-define99.5%
Simplified99.5%
Taylor expanded in z around 0 98.3%
+-commutative98.3%
Simplified98.3%
Final simplification98.4%
(FPCore (x y z)
:precision binary64
(if (<= z -5.4)
(+ x (* y (+ 0.0692910599291889 (/ 0.07512208616047561 z))))
(if (<= z 1.9e-8)
(+ x (* y 0.08333333333333323))
(+ x (* y 0.0692910599291889)))))
double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * 0.08333333333333323);
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (z <= (-5.4d0)) then
tmp = x + (y * (0.0692910599291889d0 + (0.07512208616047561d0 / z)))
else if (z <= 1.9d-8) then
tmp = x + (y * 0.08333333333333323d0)
else
tmp = x + (y * 0.0692910599291889d0)
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if (z <= -5.4) {
tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z)));
} else if (z <= 1.9e-8) {
tmp = x + (y * 0.08333333333333323);
} else {
tmp = x + (y * 0.0692910599291889);
}
return tmp;
}
def code(x, y, z): tmp = 0 if z <= -5.4: tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))) elif z <= 1.9e-8: tmp = x + (y * 0.08333333333333323) else: tmp = x + (y * 0.0692910599291889) return tmp
function code(x, y, z) tmp = 0.0 if (z <= -5.4) tmp = Float64(x + Float64(y * Float64(0.0692910599291889 + Float64(0.07512208616047561 / z)))); elseif (z <= 1.9e-8) tmp = Float64(x + Float64(y * 0.08333333333333323)); else tmp = Float64(x + Float64(y * 0.0692910599291889)); end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if (z <= -5.4) tmp = x + (y * (0.0692910599291889 + (0.07512208616047561 / z))); elseif (z <= 1.9e-8) tmp = x + (y * 0.08333333333333323); else tmp = x + (y * 0.0692910599291889); end tmp_2 = tmp; end
code[x_, y_, z_] := If[LessEqual[z, -5.4], N[(x + N[(y * N[(0.0692910599291889 + N[(0.07512208616047561 / z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[z, 1.9e-8], N[(x + N[(y * 0.08333333333333323), $MachinePrecision]), $MachinePrecision], N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;z \leq -5.4:\\
\;\;\;\;x + y \cdot \left(0.0692910599291889 + \frac{0.07512208616047561}{z}\right)\\
\mathbf{elif}\;z \leq 1.9 \cdot 10^{-8}:\\
\;\;\;\;x + y \cdot 0.08333333333333323\\
\mathbf{else}:\\
\;\;\;\;x + y \cdot 0.0692910599291889\\
\end{array}
\end{array}
if z < -5.4000000000000004Initial program 28.5%
remove-double-neg28.5%
associate-/l*39.6%
distribute-rgt-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-lft-neg-in39.6%
distribute-rgt-neg-in39.6%
remove-double-neg39.6%
fma-define39.6%
fma-define39.6%
fma-define39.6%
Simplified39.6%
Taylor expanded in z around inf 97.7%
associate-*r/97.7%
metadata-eval97.7%
Simplified97.7%
if -5.4000000000000004 < z < 1.90000000000000014e-8Initial program 99.4%
+-commutative99.4%
*-commutative99.4%
associate-/l*99.5%
fma-define99.5%
*-commutative99.5%
fma-define99.5%
fma-define99.5%
*-commutative99.5%
fma-define99.5%
Simplified99.5%
Taylor expanded in z around 0 98.3%
+-commutative98.3%
Simplified98.3%
if 1.90000000000000014e-8 < z Initial program 23.1%
+-commutative23.1%
*-commutative23.1%
associate-/l*31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
fma-define31.3%
*-commutative31.3%
fma-define31.3%
Simplified31.3%
Taylor expanded in z around inf 99.6%
+-commutative99.6%
Simplified99.6%
Final simplification98.5%
(FPCore (x y z) :precision binary64 (if (or (<= y -0.95) (not (<= y 3.4e+22))) (* y 0.0692910599291889) x))
double code(double x, double y, double z) {
double tmp;
if ((y <= -0.95) || !(y <= 3.4e+22)) {
tmp = y * 0.0692910599291889;
} else {
tmp = x;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if ((y <= (-0.95d0)) .or. (.not. (y <= 3.4d+22))) then
tmp = y * 0.0692910599291889d0
else
tmp = x
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double tmp;
if ((y <= -0.95) || !(y <= 3.4e+22)) {
tmp = y * 0.0692910599291889;
} else {
tmp = x;
}
return tmp;
}
def code(x, y, z): tmp = 0 if (y <= -0.95) or not (y <= 3.4e+22): tmp = y * 0.0692910599291889 else: tmp = x return tmp
function code(x, y, z) tmp = 0.0 if ((y <= -0.95) || !(y <= 3.4e+22)) tmp = Float64(y * 0.0692910599291889); else tmp = x; end return tmp end
function tmp_2 = code(x, y, z) tmp = 0.0; if ((y <= -0.95) || ~((y <= 3.4e+22))) tmp = y * 0.0692910599291889; else tmp = x; end tmp_2 = tmp; end
code[x_, y_, z_] := If[Or[LessEqual[y, -0.95], N[Not[LessEqual[y, 3.4e+22]], $MachinePrecision]], N[(y * 0.0692910599291889), $MachinePrecision], x]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -0.95 \lor \neg \left(y \leq 3.4 \cdot 10^{+22}\right):\\
\;\;\;\;y \cdot 0.0692910599291889\\
\mathbf{else}:\\
\;\;\;\;x\\
\end{array}
\end{array}
if y < -0.94999999999999996 or 3.4e22 < y Initial program 53.5%
+-commutative53.5%
*-commutative53.5%
associate-/l*64.3%
fma-define64.3%
*-commutative64.3%
fma-define64.3%
fma-define64.3%
*-commutative64.3%
fma-define64.3%
Simplified64.3%
Taylor expanded in z around inf 72.3%
+-commutative72.3%
Simplified72.3%
Taylor expanded in y around inf 55.0%
if -0.94999999999999996 < y < 3.4e22Initial program 62.3%
+-commutative62.3%
*-commutative62.3%
associate-/l*62.2%
fma-define62.2%
*-commutative62.2%
fma-define62.2%
fma-define62.2%
*-commutative62.2%
fma-define62.3%
Simplified62.3%
Taylor expanded in y around 0 75.3%
Final simplification64.9%
(FPCore (x y z) :precision binary64 (+ x (* y 0.0692910599291889)))
double code(double x, double y, double z) {
return x + (y * 0.0692910599291889);
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x + (y * 0.0692910599291889d0)
end function
public static double code(double x, double y, double z) {
return x + (y * 0.0692910599291889);
}
def code(x, y, z): return x + (y * 0.0692910599291889)
function code(x, y, z) return Float64(x + Float64(y * 0.0692910599291889)) end
function tmp = code(x, y, z) tmp = x + (y * 0.0692910599291889); end
code[x_, y_, z_] := N[(x + N[(y * 0.0692910599291889), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + y \cdot 0.0692910599291889
\end{array}
Initial program 57.8%
+-commutative57.8%
*-commutative57.8%
associate-/l*63.3%
fma-define63.3%
*-commutative63.3%
fma-define63.3%
fma-define63.3%
*-commutative63.3%
fma-define63.3%
Simplified63.3%
Taylor expanded in z around inf 80.6%
+-commutative80.6%
Simplified80.6%
Final simplification80.6%
(FPCore (x y z) :precision binary64 x)
double code(double x, double y, double z) {
return x;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x
end function
public static double code(double x, double y, double z) {
return x;
}
def code(x, y, z): return x
function code(x, y, z) return x end
function tmp = code(x, y, z) tmp = x; end
code[x_, y_, z_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 57.8%
+-commutative57.8%
*-commutative57.8%
associate-/l*63.3%
fma-define63.3%
*-commutative63.3%
fma-define63.3%
fma-define63.3%
*-commutative63.3%
fma-define63.3%
Simplified63.3%
Taylor expanded in y around 0 46.5%
Final simplification46.5%
(FPCore (x y z)
:precision binary64
(let* ((t_0
(-
(* (+ (/ 0.07512208616047561 z) 0.0692910599291889) y)
(- (/ (* 0.40462203869992125 y) (* z z)) x))))
(if (< z -8120153.652456675)
t_0
(if (< z 6.576118972787377e+20)
(+
x
(*
(*
y
(+
(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.279195317918525))
(/ 1.0 (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))
t_0))))
double code(double x, double y, double z) {
double t_0 = (((0.07512208616047561 / z) + 0.0692910599291889) * y) - (((0.40462203869992125 * y) / (z * z)) - x);
double tmp;
if (z < -8120153.652456675) {
tmp = t_0;
} else if (z < 6.576118972787377e+20) {
tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) * (1.0 / (((z + 6.012459259764103) * z) + 3.350343815022304)));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: tmp
t_0 = (((0.07512208616047561d0 / z) + 0.0692910599291889d0) * y) - (((0.40462203869992125d0 * y) / (z * z)) - x)
if (z < (-8120153.652456675d0)) then
tmp = t_0
else if (z < 6.576118972787377d+20) then
tmp = x + ((y * ((((z * 0.0692910599291889d0) + 0.4917317610505968d0) * z) + 0.279195317918525d0)) * (1.0d0 / (((z + 6.012459259764103d0) * z) + 3.350343815022304d0)))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = (((0.07512208616047561 / z) + 0.0692910599291889) * y) - (((0.40462203869992125 * y) / (z * z)) - x);
double tmp;
if (z < -8120153.652456675) {
tmp = t_0;
} else if (z < 6.576118972787377e+20) {
tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) * (1.0 / (((z + 6.012459259764103) * z) + 3.350343815022304)));
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y, z): t_0 = (((0.07512208616047561 / z) + 0.0692910599291889) * y) - (((0.40462203869992125 * y) / (z * z)) - x) tmp = 0 if z < -8120153.652456675: tmp = t_0 elif z < 6.576118972787377e+20: tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) * (1.0 / (((z + 6.012459259764103) * z) + 3.350343815022304))) else: tmp = t_0 return tmp
function code(x, y, z) t_0 = Float64(Float64(Float64(Float64(0.07512208616047561 / z) + 0.0692910599291889) * y) - Float64(Float64(Float64(0.40462203869992125 * y) / Float64(z * z)) - x)) tmp = 0.0 if (z < -8120153.652456675) tmp = t_0; elseif (z < 6.576118972787377e+20) tmp = Float64(x + Float64(Float64(y * Float64(Float64(Float64(Float64(z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) * Float64(1.0 / Float64(Float64(Float64(z + 6.012459259764103) * z) + 3.350343815022304)))); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y, z) t_0 = (((0.07512208616047561 / z) + 0.0692910599291889) * y) - (((0.40462203869992125 * y) / (z * z)) - x); tmp = 0.0; if (z < -8120153.652456675) tmp = t_0; elseif (z < 6.576118972787377e+20) tmp = x + ((y * ((((z * 0.0692910599291889) + 0.4917317610505968) * z) + 0.279195317918525)) * (1.0 / (((z + 6.012459259764103) * z) + 3.350343815022304))); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(N[(N[(0.07512208616047561 / z), $MachinePrecision] + 0.0692910599291889), $MachinePrecision] * y), $MachinePrecision] - N[(N[(N[(0.40462203869992125 * y), $MachinePrecision] / N[(z * z), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]), $MachinePrecision]}, If[Less[z, -8120153.652456675], t$95$0, If[Less[z, 6.576118972787377e+20], N[(x + N[(N[(y * N[(N[(N[(N[(z * 0.0692910599291889), $MachinePrecision] + 0.4917317610505968), $MachinePrecision] * z), $MachinePrecision] + 0.279195317918525), $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(N[(N[(z + 6.012459259764103), $MachinePrecision] * z), $MachinePrecision] + 3.350343815022304), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\frac{0.07512208616047561}{z} + 0.0692910599291889\right) \cdot y - \left(\frac{0.40462203869992125 \cdot y}{z \cdot z} - x\right)\\
\mathbf{if}\;z < -8120153.652456675:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;z < 6.576118972787377 \cdot 10^{+20}:\\
\;\;\;\;x + \left(y \cdot \left(\left(z \cdot 0.0692910599291889 + 0.4917317610505968\right) \cdot z + 0.279195317918525\right)\right) \cdot \frac{1}{\left(z + 6.012459259764103\right) \cdot z + 3.350343815022304}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
herbie shell --seed 2024071
(FPCore (x y z)
:name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2, B"
:precision binary64
:alt
(if (< z -8120153.652456675) (- (* (+ (/ 0.07512208616047561 z) 0.0692910599291889) y) (- (/ (* 0.40462203869992125 y) (* z z)) x)) (if (< z 6.576118972787377e+20) (+ x (* (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (/ 1.0 (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))) (- (* (+ (/ 0.07512208616047561 z) 0.0692910599291889) y) (- (/ (* 0.40462203869992125 y) (* z z)) x))))
(+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))))