
(FPCore (x y) :precision binary64 (- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x)))))
double code(double x, double y) {
return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - (1.0d0 / (x * 9.0d0))) - (y / (3.0d0 * sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * Math.sqrt(x)));
}
def code(x, y): return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 - Float64(1.0 / Float64(x * 9.0))) - Float64(y / Float64(3.0 * sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x))); end
code[x_, y_] := N[(N[(1.0 - N[(1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{1}{x \cdot 9}\right) - \frac{y}{3 \cdot \sqrt{x}}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 25 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x)))))
double code(double x, double y) {
return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - (1.0d0 / (x * 9.0d0))) - (y / (3.0d0 * sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * Math.sqrt(x)));
}
def code(x, y): return (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 - Float64(1.0 / Float64(x * 9.0))) - Float64(y / Float64(3.0 * sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 - (1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x))); end
code[x_, y_] := N[(N[(1.0 - N[(1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{1}{x \cdot 9}\right) - \frac{y}{3 \cdot \sqrt{x}}
\end{array}
(FPCore (x y) :precision binary64 (- (+ 1.0 (/ (/ -1.0 x) 9.0)) (/ y (* 3.0 (sqrt x)))))
double code(double x, double y) {
return (1.0 + ((-1.0 / x) / 9.0)) - (y / (3.0 * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 + (((-1.0d0) / x) / 9.0d0)) - (y / (3.0d0 * sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 + ((-1.0 / x) / 9.0)) - (y / (3.0 * Math.sqrt(x)));
}
def code(x, y): return (1.0 + ((-1.0 / x) / 9.0)) - (y / (3.0 * math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 + Float64(Float64(-1.0 / x) / 9.0)) - Float64(y / Float64(3.0 * sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 + ((-1.0 / x) / 9.0)) - (y / (3.0 * sqrt(x))); end
code[x_, y_] := N[(N[(1.0 + N[(N[(-1.0 / x), $MachinePrecision] / 9.0), $MachinePrecision]), $MachinePrecision] - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{\frac{-1}{x}}{9}\right) - \frac{y}{3 \cdot \sqrt{x}}
\end{array}
Initial program 99.7%
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6499.7%
Applied egg-rr99.7%
Final simplification99.7%
(FPCore (x y)
:precision binary64
(if (<= y -7.5e+42)
(+ 1.0 (* (pow x -0.5) (/ y -3.0)))
(if (<= y 1.5e+16)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (/ (/ y (sqrt x)) 3.0)))))
double code(double x, double y) {
double tmp;
if (y <= -7.5e+42) {
tmp = 1.0 + (pow(x, -0.5) * (y / -3.0));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / sqrt(x)) / 3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-7.5d+42)) then
tmp = 1.0d0 + ((x ** (-0.5d0)) * (y / (-3.0d0)))
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = 1.0d0 - ((y / sqrt(x)) / 3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -7.5e+42) {
tmp = 1.0 + (Math.pow(x, -0.5) * (y / -3.0));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / Math.sqrt(x)) / 3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -7.5e+42: tmp = 1.0 + (math.pow(x, -0.5) * (y / -3.0)) elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - ((y / math.sqrt(x)) / 3.0) return tmp
function code(x, y) tmp = 0.0 if (y <= -7.5e+42) tmp = Float64(1.0 + Float64((x ^ -0.5) * Float64(y / -3.0))); elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(1.0 - Float64(Float64(y / sqrt(x)) / 3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -7.5e+42) tmp = 1.0 + ((x ^ -0.5) * (y / -3.0)); elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - ((y / sqrt(x)) / 3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -7.5e+42], N[(1.0 + N[(N[Power[x, -0.5], $MachinePrecision] * N[(y / -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.5 \cdot 10^{+42}:\\
\;\;\;\;1 + {x}^{-0.5} \cdot \frac{y}{-3}\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{\frac{y}{\sqrt{x}}}{3}\\
\end{array}
\end{array}
if y < -7.50000000000000041e42Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6492.1%
Simplified92.1%
*-commutativeN/A
metadata-evalN/A
div-invN/A
*-lowering-*.f64N/A
pow1/2N/A
inv-powN/A
pow-powN/A
pow-lowering-pow.f64N/A
metadata-evalN/A
/-lowering-/.f6492.2%
Applied egg-rr92.2%
if -7.50000000000000041e42 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
if 1.5e16 < y Initial program 99.6%
Taylor expanded in x around inf
Simplified94.6%
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6494.7%
Applied egg-rr94.7%
(FPCore (x y)
:precision binary64
(if (<= y -1.05e+44)
(- 1.0 (/ y (* 3.0 (sqrt x))))
(if (<= y 1.5e+16)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (/ (/ y (sqrt x)) 3.0)))))
double code(double x, double y) {
double tmp;
if (y <= -1.05e+44) {
tmp = 1.0 - (y / (3.0 * sqrt(x)));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / sqrt(x)) / 3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-1.05d+44)) then
tmp = 1.0d0 - (y / (3.0d0 * sqrt(x)))
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = 1.0d0 - ((y / sqrt(x)) / 3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -1.05e+44) {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / Math.sqrt(x)) / 3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -1.05e+44: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - ((y / math.sqrt(x)) / 3.0) return tmp
function code(x, y) tmp = 0.0 if (y <= -1.05e+44) tmp = Float64(1.0 - Float64(y / Float64(3.0 * sqrt(x)))); elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(1.0 - Float64(Float64(y / sqrt(x)) / 3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -1.05e+44) tmp = 1.0 - (y / (3.0 * sqrt(x))); elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - ((y / sqrt(x)) / 3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -1.05e+44], N[(1.0 - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.05 \cdot 10^{+44}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{\frac{y}{\sqrt{x}}}{3}\\
\end{array}
\end{array}
if y < -1.04999999999999993e44Initial program 99.6%
Taylor expanded in x around inf
Simplified92.1%
if -1.04999999999999993e44 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
if 1.5e16 < y Initial program 99.6%
Taylor expanded in x around inf
Simplified94.6%
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6494.7%
Applied egg-rr94.7%
(FPCore (x y)
:precision binary64
(if (<= y -8.5e+42)
(- 1.0 (/ y (* 3.0 (sqrt x))))
(if (<= y 1.5e+16)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (* (/ y (sqrt x)) 0.3333333333333333)))))
double code(double x, double y) {
double tmp;
if (y <= -8.5e+42) {
tmp = 1.0 - (y / (3.0 * sqrt(x)));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / sqrt(x)) * 0.3333333333333333);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-8.5d+42)) then
tmp = 1.0d0 - (y / (3.0d0 * sqrt(x)))
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = 1.0d0 - ((y / sqrt(x)) * 0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -8.5e+42) {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / Math.sqrt(x)) * 0.3333333333333333);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -8.5e+42: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - ((y / math.sqrt(x)) * 0.3333333333333333) return tmp
function code(x, y) tmp = 0.0 if (y <= -8.5e+42) tmp = Float64(1.0 - Float64(y / Float64(3.0 * sqrt(x)))); elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(1.0 - Float64(Float64(y / sqrt(x)) * 0.3333333333333333)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -8.5e+42) tmp = 1.0 - (y / (3.0 * sqrt(x))); elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - ((y / sqrt(x)) * 0.3333333333333333); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -8.5e+42], N[(1.0 - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.5 \cdot 10^{+42}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{\sqrt{x}} \cdot 0.3333333333333333\\
\end{array}
\end{array}
if y < -8.5000000000000003e42Initial program 99.6%
Taylor expanded in x around inf
Simplified92.1%
if -8.5000000000000003e42 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
if 1.5e16 < y Initial program 99.6%
Taylor expanded in x around inf
Simplified94.6%
clear-numN/A
inv-powN/A
associate-/l*N/A
unpow-prod-downN/A
metadata-evalN/A
metadata-evalN/A
inv-powN/A
clear-numN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6494.6%
Applied egg-rr94.6%
Final simplification96.0%
(FPCore (x y)
:precision binary64
(if (<= y -8.4e+42)
(+ 1.0 (/ (/ y -3.0) (sqrt x)))
(if (<= y 1.5e+16)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (* (/ y (sqrt x)) 0.3333333333333333)))))
double code(double x, double y) {
double tmp;
if (y <= -8.4e+42) {
tmp = 1.0 + ((y / -3.0) / sqrt(x));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / sqrt(x)) * 0.3333333333333333);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-8.4d+42)) then
tmp = 1.0d0 + ((y / (-3.0d0)) / sqrt(x))
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = 1.0d0 - ((y / sqrt(x)) * 0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -8.4e+42) {
tmp = 1.0 + ((y / -3.0) / Math.sqrt(x));
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - ((y / Math.sqrt(x)) * 0.3333333333333333);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -8.4e+42: tmp = 1.0 + ((y / -3.0) / math.sqrt(x)) elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - ((y / math.sqrt(x)) * 0.3333333333333333) return tmp
function code(x, y) tmp = 0.0 if (y <= -8.4e+42) tmp = Float64(1.0 + Float64(Float64(y / -3.0) / sqrt(x))); elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(1.0 - Float64(Float64(y / sqrt(x)) * 0.3333333333333333)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -8.4e+42) tmp = 1.0 + ((y / -3.0) / sqrt(x)); elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - ((y / sqrt(x)) * 0.3333333333333333); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -8.4e+42], N[(1.0 + N[(N[(y / -3.0), $MachinePrecision] / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.4 \cdot 10^{+42}:\\
\;\;\;\;1 + \frac{\frac{y}{-3}}{\sqrt{x}}\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{\sqrt{x}} \cdot 0.3333333333333333\\
\end{array}
\end{array}
if y < -8.39999999999999982e42Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6492.1%
Simplified92.1%
*-commutativeN/A
*-commutativeN/A
metadata-evalN/A
div-invN/A
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6492.1%
Applied egg-rr92.1%
if -8.39999999999999982e42 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
if 1.5e16 < y Initial program 99.6%
Taylor expanded in x around inf
Simplified94.6%
clear-numN/A
inv-powN/A
associate-/l*N/A
unpow-prod-downN/A
metadata-evalN/A
metadata-evalN/A
inv-powN/A
clear-numN/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6494.6%
Applied egg-rr94.6%
Final simplification96.0%
(FPCore (x y)
:precision binary64
(let* ((t_0 (+ 1.0 (/ (/ y -3.0) (sqrt x)))))
(if (<= y -2.9e+43)
t_0
(if (<= y 1.5e+16) (+ 1.0 (/ -1.0 (* x 9.0))) t_0))))
double code(double x, double y) {
double t_0 = 1.0 + ((y / -3.0) / sqrt(x));
double tmp;
if (y <= -2.9e+43) {
tmp = t_0;
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = 1.0d0 + ((y / (-3.0d0)) / sqrt(x))
if (y <= (-2.9d+43)) then
tmp = t_0
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 1.0 + ((y / -3.0) / Math.sqrt(x));
double tmp;
if (y <= -2.9e+43) {
tmp = t_0;
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y): t_0 = 1.0 + ((y / -3.0) / math.sqrt(x)) tmp = 0 if y <= -2.9e+43: tmp = t_0 elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = t_0 return tmp
function code(x, y) t_0 = Float64(1.0 + Float64(Float64(y / -3.0) / sqrt(x))) tmp = 0.0 if (y <= -2.9e+43) tmp = t_0; elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y) t_0 = 1.0 + ((y / -3.0) / sqrt(x)); tmp = 0.0; if (y <= -2.9e+43) tmp = t_0; elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(1.0 + N[(N[(y / -3.0), $MachinePrecision] / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -2.9e+43], t$95$0, If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 1 + \frac{\frac{y}{-3}}{\sqrt{x}}\\
\mathbf{if}\;y \leq -2.9 \cdot 10^{+43}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if y < -2.9000000000000002e43 or 1.5e16 < y Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6493.3%
Simplified93.3%
*-commutativeN/A
*-commutativeN/A
metadata-evalN/A
div-invN/A
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6493.4%
Applied egg-rr93.4%
if -2.9000000000000002e43 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
(FPCore (x y)
:precision binary64
(let* ((t_0 (+ 1.0 (* y (/ -0.3333333333333333 (sqrt x))))))
(if (<= y -4.3e+43)
t_0
(if (<= y 1.5e+16) (+ 1.0 (/ -1.0 (* x 9.0))) t_0))))
double code(double x, double y) {
double t_0 = 1.0 + (y * (-0.3333333333333333 / sqrt(x)));
double tmp;
if (y <= -4.3e+43) {
tmp = t_0;
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = 1.0d0 + (y * ((-0.3333333333333333d0) / sqrt(x)))
if (y <= (-4.3d+43)) then
tmp = t_0
else if (y <= 1.5d+16) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 1.0 + (y * (-0.3333333333333333 / Math.sqrt(x)));
double tmp;
if (y <= -4.3e+43) {
tmp = t_0;
} else if (y <= 1.5e+16) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y): t_0 = 1.0 + (y * (-0.3333333333333333 / math.sqrt(x))) tmp = 0 if y <= -4.3e+43: tmp = t_0 elif y <= 1.5e+16: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = t_0 return tmp
function code(x, y) t_0 = Float64(1.0 + Float64(y * Float64(-0.3333333333333333 / sqrt(x)))) tmp = 0.0 if (y <= -4.3e+43) tmp = t_0; elseif (y <= 1.5e+16) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y) t_0 = 1.0 + (y * (-0.3333333333333333 / sqrt(x))); tmp = 0.0; if (y <= -4.3e+43) tmp = t_0; elseif (y <= 1.5e+16) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(1.0 + N[(y * N[(-0.3333333333333333 / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -4.3e+43], t$95$0, If[LessEqual[y, 1.5e+16], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 1 + y \cdot \frac{-0.3333333333333333}{\sqrt{x}}\\
\mathbf{if}\;y \leq -4.3 \cdot 10^{+43}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y \leq 1.5 \cdot 10^{+16}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if y < -4.3e43 or 1.5e16 < y Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6493.3%
Simplified93.3%
associate-*r*N/A
*-lowering-*.f64N/A
sqrt-divN/A
metadata-evalN/A
associate-*l/N/A
metadata-evalN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6493.2%
Applied egg-rr93.2%
if -4.3e43 < y < 1.5e16Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6498.0%
Simplified98.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6498.1%
Applied egg-rr98.1%
Final simplification95.9%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* (* y -0.3333333333333333) (sqrt (/ 1.0 x)))))
(if (<= y -5.8e+84)
t_0
(if (<= y 9.5e+78) (+ 1.0 (/ (/ 1.0 x) -9.0)) t_0))))
double code(double x, double y) {
double t_0 = (y * -0.3333333333333333) * sqrt((1.0 / x));
double tmp;
if (y <= -5.8e+84) {
tmp = t_0;
} else if (y <= 9.5e+78) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = (y * (-0.3333333333333333d0)) * sqrt((1.0d0 / x))
if (y <= (-5.8d+84)) then
tmp = t_0
else if (y <= 9.5d+78) then
tmp = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = (y * -0.3333333333333333) * Math.sqrt((1.0 / x));
double tmp;
if (y <= -5.8e+84) {
tmp = t_0;
} else if (y <= 9.5e+78) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y): t_0 = (y * -0.3333333333333333) * math.sqrt((1.0 / x)) tmp = 0 if y <= -5.8e+84: tmp = t_0 elif y <= 9.5e+78: tmp = 1.0 + ((1.0 / x) / -9.0) else: tmp = t_0 return tmp
function code(x, y) t_0 = Float64(Float64(y * -0.3333333333333333) * sqrt(Float64(1.0 / x))) tmp = 0.0 if (y <= -5.8e+84) tmp = t_0; elseif (y <= 9.5e+78) tmp = Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y) t_0 = (y * -0.3333333333333333) * sqrt((1.0 / x)); tmp = 0.0; if (y <= -5.8e+84) tmp = t_0; elseif (y <= 9.5e+78) tmp = 1.0 + ((1.0 / x) / -9.0); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[(y * -0.3333333333333333), $MachinePrecision] * N[Sqrt[N[(1.0 / x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -5.8e+84], t$95$0, If[LessEqual[y, 9.5e+78], N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(y \cdot -0.3333333333333333\right) \cdot \sqrt{\frac{1}{x}}\\
\mathbf{if}\;y \leq -5.8 \cdot 10^{+84}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y \leq 9.5 \cdot 10^{+78}:\\
\;\;\;\;1 + \frac{\frac{1}{x}}{-9}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if y < -5.79999999999999977e84 or 9.5000000000000006e78 < y Initial program 99.5%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6493.8%
Simplified93.8%
if -5.79999999999999977e84 < y < 9.5000000000000006e78Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6491.8%
Simplified91.8%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval91.9%
Applied egg-rr91.9%
Final simplification92.6%
(FPCore (x y) :precision binary64 (if (<= x 3.2e+14) (+ 1.0 (/ (- -0.1111111111111111 (* y (* (sqrt x) 0.3333333333333333))) x)) (- 1.0 (/ y (* 3.0 (sqrt x))))))
double code(double x, double y) {
double tmp;
if (x <= 3.2e+14) {
tmp = 1.0 + ((-0.1111111111111111 - (y * (sqrt(x) * 0.3333333333333333))) / x);
} else {
tmp = 1.0 - (y / (3.0 * sqrt(x)));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 3.2d+14) then
tmp = 1.0d0 + (((-0.1111111111111111d0) - (y * (sqrt(x) * 0.3333333333333333d0))) / x)
else
tmp = 1.0d0 - (y / (3.0d0 * sqrt(x)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 3.2e+14) {
tmp = 1.0 + ((-0.1111111111111111 - (y * (Math.sqrt(x) * 0.3333333333333333))) / x);
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 3.2e+14: tmp = 1.0 + ((-0.1111111111111111 - (y * (math.sqrt(x) * 0.3333333333333333))) / x) else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (x <= 3.2e+14) tmp = Float64(1.0 + Float64(Float64(-0.1111111111111111 - Float64(y * Float64(sqrt(x) * 0.3333333333333333))) / x)); else tmp = Float64(1.0 - Float64(y / Float64(3.0 * sqrt(x)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 3.2e+14) tmp = 1.0 + ((-0.1111111111111111 - (y * (sqrt(x) * 0.3333333333333333))) / x); else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 3.2e+14], N[(1.0 + N[(N[(-0.1111111111111111 - N[(y * N[(N[Sqrt[x], $MachinePrecision] * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 3.2 \cdot 10^{+14}:\\
\;\;\;\;1 + \frac{-0.1111111111111111 - y \cdot \left(\sqrt{x} \cdot 0.3333333333333333\right)}{x}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if x < 3.2e14Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0
div-subN/A
metadata-evalN/A
cancel-sign-sub-invN/A
div-subN/A
associate--r+N/A
+-commutativeN/A
div-subN/A
sub-negN/A
*-inversesN/A
mul-1-negN/A
+-lowering-+.f64N/A
mul-1-negN/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
Simplified99.5%
if 3.2e14 < x Initial program 99.8%
Taylor expanded in x around inf
Simplified99.8%
(FPCore (x y) :precision binary64 (if (<= x 0.11) (/ (+ -0.1111111111111111 (* (sqrt x) (* y -0.3333333333333333))) x) (- 1.0 (/ y (* 3.0 (sqrt x))))))
double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (-0.1111111111111111 + (sqrt(x) * (y * -0.3333333333333333))) / x;
} else {
tmp = 1.0 - (y / (3.0 * sqrt(x)));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.11d0) then
tmp = ((-0.1111111111111111d0) + (sqrt(x) * (y * (-0.3333333333333333d0)))) / x
else
tmp = 1.0d0 - (y / (3.0d0 * sqrt(x)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (-0.1111111111111111 + (Math.sqrt(x) * (y * -0.3333333333333333))) / x;
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.11: tmp = (-0.1111111111111111 + (math.sqrt(x) * (y * -0.3333333333333333))) / x else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.11) tmp = Float64(Float64(-0.1111111111111111 + Float64(sqrt(x) * Float64(y * -0.3333333333333333))) / x); else tmp = Float64(1.0 - Float64(y / Float64(3.0 * sqrt(x)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.11) tmp = (-0.1111111111111111 + (sqrt(x) * (y * -0.3333333333333333))) / x; else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.11], N[(N[(-0.1111111111111111 + N[(N[Sqrt[x], $MachinePrecision] * N[(y * -0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], N[(1.0 - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.11:\\
\;\;\;\;\frac{-0.1111111111111111 + \sqrt{x} \cdot \left(y \cdot -0.3333333333333333\right)}{x}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if x < 0.110000000000000001Initial program 99.6%
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f6499.6%
Applied egg-rr99.6%
Taylor expanded in x around 0
associate-*r/N/A
/-lowering-/.f64N/A
Simplified98.6%
if 0.110000000000000001 < x Initial program 99.8%
Taylor expanded in x around inf
Simplified98.9%
(FPCore (x y) :precision binary64 (if (<= x 0.11) (+ (/ -0.1111111111111111 x) (/ (/ y (sqrt x)) -3.0)) (- 1.0 (/ y (* 3.0 (sqrt x))))))
double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (-0.1111111111111111 / x) + ((y / sqrt(x)) / -3.0);
} else {
tmp = 1.0 - (y / (3.0 * sqrt(x)));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.11d0) then
tmp = ((-0.1111111111111111d0) / x) + ((y / sqrt(x)) / (-3.0d0))
else
tmp = 1.0d0 - (y / (3.0d0 * sqrt(x)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (-0.1111111111111111 / x) + ((y / Math.sqrt(x)) / -3.0);
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.11: tmp = (-0.1111111111111111 / x) + ((y / math.sqrt(x)) / -3.0) else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.11) tmp = Float64(Float64(-0.1111111111111111 / x) + Float64(Float64(y / sqrt(x)) / -3.0)); else tmp = Float64(1.0 - Float64(y / Float64(3.0 * sqrt(x)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.11) tmp = (-0.1111111111111111 / x) + ((y / sqrt(x)) / -3.0); else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.11], N[(N[(-0.1111111111111111 / x), $MachinePrecision] + N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] / -3.0), $MachinePrecision]), $MachinePrecision], N[(1.0 - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.11:\\
\;\;\;\;\frac{-0.1111111111111111}{x} + \frac{\frac{y}{\sqrt{x}}}{-3}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if x < 0.110000000000000001Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.4%
Simplified99.4%
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6499.5%
Applied egg-rr99.5%
Taylor expanded in x around 0
/-lowering-/.f6498.6%
Simplified98.6%
if 0.110000000000000001 < x Initial program 99.8%
Taylor expanded in x around inf
Simplified98.9%
(FPCore (x y) :precision binary64 (- (+ 1.0 (/ -1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x)))))
double code(double x, double y) {
return (1.0 + (-1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 + ((-1.0d0) / (x * 9.0d0))) - (y / (3.0d0 * sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 + (-1.0 / (x * 9.0))) - (y / (3.0 * Math.sqrt(x)));
}
def code(x, y): return (1.0 + (-1.0 / (x * 9.0))) - (y / (3.0 * math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))) - Float64(y / Float64(3.0 * sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 + (-1.0 / (x * 9.0))) - (y / (3.0 * sqrt(x))); end
code[x_, y_] := N[(N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{-1}{x \cdot 9}\right) - \frac{y}{3 \cdot \sqrt{x}}
\end{array}
Initial program 99.7%
Final simplification99.7%
(FPCore (x y) :precision binary64 (+ (+ 1.0 (/ -0.1111111111111111 x)) (/ (/ y (sqrt x)) -3.0)))
double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + ((y / sqrt(x)) / -3.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 + ((-0.1111111111111111d0) / x)) + ((y / sqrt(x)) / (-3.0d0))
end function
public static double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + ((y / Math.sqrt(x)) / -3.0);
}
def code(x, y): return (1.0 + (-0.1111111111111111 / x)) + ((y / math.sqrt(x)) / -3.0)
function code(x, y) return Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) + Float64(Float64(y / sqrt(x)) / -3.0)) end
function tmp = code(x, y) tmp = (1.0 + (-0.1111111111111111 / x)) + ((y / sqrt(x)) / -3.0); end
code[x_, y_] := N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision] / -3.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{-0.1111111111111111}{x}\right) + \frac{\frac{y}{\sqrt{x}}}{-3}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
associate-/r*N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6499.6%
Applied egg-rr99.6%
(FPCore (x y) :precision binary64 (+ (+ 1.0 (/ -0.1111111111111111 x)) (/ y (* (sqrt x) -3.0))))
double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + (y / (sqrt(x) * -3.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 + ((-0.1111111111111111d0) / x)) + (y / (sqrt(x) * (-3.0d0)))
end function
public static double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + (y / (Math.sqrt(x) * -3.0));
}
def code(x, y): return (1.0 + (-0.1111111111111111 / x)) + (y / (math.sqrt(x) * -3.0))
function code(x, y) return Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) + Float64(y / Float64(sqrt(x) * -3.0))) end
function tmp = code(x, y) tmp = (1.0 + (-0.1111111111111111 / x)) + (y / (sqrt(x) * -3.0)); end
code[x_, y_] := N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(y / N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{-0.1111111111111111}{x}\right) + \frac{y}{\sqrt{x} \cdot -3}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
(FPCore (x y) :precision binary64 (+ (+ 1.0 (/ -0.1111111111111111 x)) (* y (/ -0.3333333333333333 (sqrt x)))))
double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + (y * (-0.3333333333333333 / sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 + ((-0.1111111111111111d0) / x)) + (y * ((-0.3333333333333333d0) / sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 + (-0.1111111111111111 / x)) + (y * (-0.3333333333333333 / Math.sqrt(x)));
}
def code(x, y): return (1.0 + (-0.1111111111111111 / x)) + (y * (-0.3333333333333333 / math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) + Float64(y * Float64(-0.3333333333333333 / sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 + (-0.1111111111111111 / x)) + (y * (-0.3333333333333333 / sqrt(x))); end
code[x_, y_] := N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(y * N[(-0.3333333333333333 / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{-0.1111111111111111}{x}\right) + y \cdot \frac{-0.3333333333333333}{\sqrt{x}}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
metadata-evalN/A
metadata-evalN/A
metadata-evalN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
sqrt-lowering-sqrt.f6499.5%
Applied egg-rr99.5%
Final simplification99.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (- 1.0 (/ 0.012345679012345678 (* x x)))))
(if (<= y -1.6e+106)
(* (+ 1.0 (/ -0.1111111111111111 x)) t_0)
(if (<= y 5.8e+129)
(+ 1.0 (/ (/ 1.0 x) -9.0))
(*
t_0
(- 1.0 (/ (+ 0.1111111111111111 (/ -0.012345679012345678 x)) x)))))))
double code(double x, double y) {
double t_0 = 1.0 - (0.012345679012345678 / (x * x));
double tmp;
if (y <= -1.6e+106) {
tmp = (1.0 + (-0.1111111111111111 / x)) * t_0;
} else if (y <= 5.8e+129) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = t_0 * (1.0 - ((0.1111111111111111 + (-0.012345679012345678 / x)) / x));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = 1.0d0 - (0.012345679012345678d0 / (x * x))
if (y <= (-1.6d+106)) then
tmp = (1.0d0 + ((-0.1111111111111111d0) / x)) * t_0
else if (y <= 5.8d+129) then
tmp = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
else
tmp = t_0 * (1.0d0 - ((0.1111111111111111d0 + ((-0.012345679012345678d0) / x)) / x))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 1.0 - (0.012345679012345678 / (x * x));
double tmp;
if (y <= -1.6e+106) {
tmp = (1.0 + (-0.1111111111111111 / x)) * t_0;
} else if (y <= 5.8e+129) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = t_0 * (1.0 - ((0.1111111111111111 + (-0.012345679012345678 / x)) / x));
}
return tmp;
}
def code(x, y): t_0 = 1.0 - (0.012345679012345678 / (x * x)) tmp = 0 if y <= -1.6e+106: tmp = (1.0 + (-0.1111111111111111 / x)) * t_0 elif y <= 5.8e+129: tmp = 1.0 + ((1.0 / x) / -9.0) else: tmp = t_0 * (1.0 - ((0.1111111111111111 + (-0.012345679012345678 / x)) / x)) return tmp
function code(x, y) t_0 = Float64(1.0 - Float64(0.012345679012345678 / Float64(x * x))) tmp = 0.0 if (y <= -1.6e+106) tmp = Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) * t_0); elseif (y <= 5.8e+129) tmp = Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)); else tmp = Float64(t_0 * Float64(1.0 - Float64(Float64(0.1111111111111111 + Float64(-0.012345679012345678 / x)) / x))); end return tmp end
function tmp_2 = code(x, y) t_0 = 1.0 - (0.012345679012345678 / (x * x)); tmp = 0.0; if (y <= -1.6e+106) tmp = (1.0 + (-0.1111111111111111 / x)) * t_0; elseif (y <= 5.8e+129) tmp = 1.0 + ((1.0 / x) / -9.0); else tmp = t_0 * (1.0 - ((0.1111111111111111 + (-0.012345679012345678 / x)) / x)); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(1.0 - N[(0.012345679012345678 / N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -1.6e+106], N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision], If[LessEqual[y, 5.8e+129], N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision], N[(t$95$0 * N[(1.0 - N[(N[(0.1111111111111111 + N[(-0.012345679012345678 / x), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 1 - \frac{0.012345679012345678}{x \cdot x}\\
\mathbf{if}\;y \leq -1.6 \cdot 10^{+106}:\\
\;\;\;\;\left(1 + \frac{-0.1111111111111111}{x}\right) \cdot t\_0\\
\mathbf{elif}\;y \leq 5.8 \cdot 10^{+129}:\\
\;\;\;\;1 + \frac{\frac{1}{x}}{-9}\\
\mathbf{else}:\\
\;\;\;\;t\_0 \cdot \left(1 - \frac{0.1111111111111111 + \frac{-0.012345679012345678}{x}}{x}\right)\\
\end{array}
\end{array}
if y < -1.5999999999999999e106Initial program 99.5%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.2%
Simplified3.2%
flip-+N/A
div-invN/A
*-lowering-*.f64N/A
metadata-evalN/A
--lowering--.f64N/A
frac-timesN/A
/-lowering-/.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
metadata-evalN/A
associate-/r/N/A
clear-numN/A
+-lowering-+.f64N/A
associate-/l/N/A
associate-/r*N/A
metadata-evalN/A
metadata-evalN/A
/-lowering-/.f64N/A
metadata-eval3.1%
Applied egg-rr3.1%
Taylor expanded in x around inf
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6421.9%
Simplified21.9%
if -1.5999999999999999e106 < y < 5.80000000000000005e129Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6485.4%
Simplified85.4%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval85.5%
Applied egg-rr85.5%
if 5.80000000000000005e129 < y Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.3%
Simplified3.3%
flip-+N/A
div-invN/A
*-lowering-*.f64N/A
metadata-evalN/A
--lowering--.f64N/A
frac-timesN/A
/-lowering-/.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
metadata-evalN/A
associate-/r/N/A
clear-numN/A
+-lowering-+.f64N/A
associate-/l/N/A
associate-/r*N/A
metadata-evalN/A
metadata-evalN/A
/-lowering-/.f64N/A
metadata-eval13.5%
Applied egg-rr13.5%
Taylor expanded in x around inf
+-commutativeN/A
associate--l+N/A
+-commutativeN/A
associate--r-N/A
associate-*r/N/A
metadata-evalN/A
unpow2N/A
associate-/r*N/A
metadata-evalN/A
associate-*r/N/A
div-subN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6427.2%
Simplified27.2%
Final simplification68.4%
(FPCore (x y)
:precision binary64
(if (<= y -4.5e+108)
(*
(+ 1.0 (/ -0.1111111111111111 x))
(- 1.0 (/ 0.012345679012345678 (* x x))))
(if (<= y 3.8e+128)
(+ 1.0 (/ (/ 1.0 x) -9.0))
(+
1.0
(/
(-
(/ (+ 0.024691358024691357 (/ -0.0054869684499314125 x)) x)
0.1111111111111111)
x)))))
double code(double x, double y) {
double tmp;
if (y <= -4.5e+108) {
tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x)));
} else if (y <= 3.8e+128) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = 1.0 + ((((0.024691358024691357 + (-0.0054869684499314125 / x)) / x) - 0.1111111111111111) / x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-4.5d+108)) then
tmp = (1.0d0 + ((-0.1111111111111111d0) / x)) * (1.0d0 - (0.012345679012345678d0 / (x * x)))
else if (y <= 3.8d+128) then
tmp = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
else
tmp = 1.0d0 + ((((0.024691358024691357d0 + ((-0.0054869684499314125d0) / x)) / x) - 0.1111111111111111d0) / x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -4.5e+108) {
tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x)));
} else if (y <= 3.8e+128) {
tmp = 1.0 + ((1.0 / x) / -9.0);
} else {
tmp = 1.0 + ((((0.024691358024691357 + (-0.0054869684499314125 / x)) / x) - 0.1111111111111111) / x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -4.5e+108: tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x))) elif y <= 3.8e+128: tmp = 1.0 + ((1.0 / x) / -9.0) else: tmp = 1.0 + ((((0.024691358024691357 + (-0.0054869684499314125 / x)) / x) - 0.1111111111111111) / x) return tmp
function code(x, y) tmp = 0.0 if (y <= -4.5e+108) tmp = Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) * Float64(1.0 - Float64(0.012345679012345678 / Float64(x * x)))); elseif (y <= 3.8e+128) tmp = Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)); else tmp = Float64(1.0 + Float64(Float64(Float64(Float64(0.024691358024691357 + Float64(-0.0054869684499314125 / x)) / x) - 0.1111111111111111) / x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -4.5e+108) tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x))); elseif (y <= 3.8e+128) tmp = 1.0 + ((1.0 / x) / -9.0); else tmp = 1.0 + ((((0.024691358024691357 + (-0.0054869684499314125 / x)) / x) - 0.1111111111111111) / x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -4.5e+108], N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(0.012345679012345678 / N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.8e+128], N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(N[(N[(N[(0.024691358024691357 + N[(-0.0054869684499314125 / x), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision] - 0.1111111111111111), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -4.5 \cdot 10^{+108}:\\
\;\;\;\;\left(1 + \frac{-0.1111111111111111}{x}\right) \cdot \left(1 - \frac{0.012345679012345678}{x \cdot x}\right)\\
\mathbf{elif}\;y \leq 3.8 \cdot 10^{+128}:\\
\;\;\;\;1 + \frac{\frac{1}{x}}{-9}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{\frac{0.024691358024691357 + \frac{-0.0054869684499314125}{x}}{x} - 0.1111111111111111}{x}\\
\end{array}
\end{array}
if y < -4.5e108Initial program 99.5%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.2%
Simplified3.2%
flip-+N/A
div-invN/A
*-lowering-*.f64N/A
metadata-evalN/A
--lowering--.f64N/A
frac-timesN/A
/-lowering-/.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
metadata-evalN/A
associate-/r/N/A
clear-numN/A
+-lowering-+.f64N/A
associate-/l/N/A
associate-/r*N/A
metadata-evalN/A
metadata-evalN/A
/-lowering-/.f64N/A
metadata-eval3.1%
Applied egg-rr3.1%
Taylor expanded in x around inf
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6421.9%
Simplified21.9%
if -4.5e108 < y < 3.7999999999999999e128Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6485.4%
Simplified85.4%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval85.5%
Applied egg-rr85.5%
if 3.7999999999999999e128 < y Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.3%
Simplified3.3%
flip3-+N/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
Applied egg-rr13.0%
Applied egg-rr0.7%
Taylor expanded in x around -inf
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-eval24.7%
Simplified24.7%
Final simplification68.0%
(FPCore (x y)
:precision binary64
(if (<= y -2.1e+110)
(*
(+ 1.0 (/ -0.1111111111111111 x))
(- 1.0 (/ 0.012345679012345678 (* x x))))
(+ 1.0 (/ (/ 1.0 x) -9.0))))
double code(double x, double y) {
double tmp;
if (y <= -2.1e+110) {
tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x)));
} else {
tmp = 1.0 + ((1.0 / x) / -9.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-2.1d+110)) then
tmp = (1.0d0 + ((-0.1111111111111111d0) / x)) * (1.0d0 - (0.012345679012345678d0 / (x * x)))
else
tmp = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -2.1e+110) {
tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x)));
} else {
tmp = 1.0 + ((1.0 / x) / -9.0);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -2.1e+110: tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x))) else: tmp = 1.0 + ((1.0 / x) / -9.0) return tmp
function code(x, y) tmp = 0.0 if (y <= -2.1e+110) tmp = Float64(Float64(1.0 + Float64(-0.1111111111111111 / x)) * Float64(1.0 - Float64(0.012345679012345678 / Float64(x * x)))); else tmp = Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -2.1e+110) tmp = (1.0 + (-0.1111111111111111 / x)) * (1.0 - (0.012345679012345678 / (x * x))); else tmp = 1.0 + ((1.0 / x) / -9.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -2.1e+110], N[(N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] * N[(1.0 - N[(0.012345679012345678 / N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -2.1 \cdot 10^{+110}:\\
\;\;\;\;\left(1 + \frac{-0.1111111111111111}{x}\right) \cdot \left(1 - \frac{0.012345679012345678}{x \cdot x}\right)\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{\frac{1}{x}}{-9}\\
\end{array}
\end{array}
if y < -2.10000000000000015e110Initial program 99.5%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.2%
Simplified3.2%
flip-+N/A
div-invN/A
*-lowering-*.f64N/A
metadata-evalN/A
--lowering--.f64N/A
frac-timesN/A
/-lowering-/.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
metadata-evalN/A
associate-/r/N/A
clear-numN/A
+-lowering-+.f64N/A
associate-/l/N/A
associate-/r*N/A
metadata-evalN/A
metadata-evalN/A
/-lowering-/.f64N/A
metadata-eval3.1%
Applied egg-rr3.1%
Taylor expanded in x around inf
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6421.9%
Simplified21.9%
if -2.10000000000000015e110 < y Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6472.0%
Simplified72.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval72.1%
Applied egg-rr72.1%
Final simplification65.0%
(FPCore (x y) :precision binary64 (if (<= y -9.5e+108) (- 1.0 (/ (+ 0.1111111111111111 (/ -0.024691358024691357 x)) x)) (+ 1.0 (/ (/ 1.0 x) -9.0))))
double code(double x, double y) {
double tmp;
if (y <= -9.5e+108) {
tmp = 1.0 - ((0.1111111111111111 + (-0.024691358024691357 / x)) / x);
} else {
tmp = 1.0 + ((1.0 / x) / -9.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-9.5d+108)) then
tmp = 1.0d0 - ((0.1111111111111111d0 + ((-0.024691358024691357d0) / x)) / x)
else
tmp = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -9.5e+108) {
tmp = 1.0 - ((0.1111111111111111 + (-0.024691358024691357 / x)) / x);
} else {
tmp = 1.0 + ((1.0 / x) / -9.0);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -9.5e+108: tmp = 1.0 - ((0.1111111111111111 + (-0.024691358024691357 / x)) / x) else: tmp = 1.0 + ((1.0 / x) / -9.0) return tmp
function code(x, y) tmp = 0.0 if (y <= -9.5e+108) tmp = Float64(1.0 - Float64(Float64(0.1111111111111111 + Float64(-0.024691358024691357 / x)) / x)); else tmp = Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -9.5e+108) tmp = 1.0 - ((0.1111111111111111 + (-0.024691358024691357 / x)) / x); else tmp = 1.0 + ((1.0 / x) / -9.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -9.5e+108], N[(1.0 - N[(N[(0.1111111111111111 + N[(-0.024691358024691357 / x), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -9.5 \cdot 10^{+108}:\\
\;\;\;\;1 - \frac{0.1111111111111111 + \frac{-0.024691358024691357}{x}}{x}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{\frac{1}{x}}{-9}\\
\end{array}
\end{array}
if y < -9.50000000000000097e108Initial program 99.5%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f643.2%
Simplified3.2%
flip3-+N/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
Applied egg-rr3.1%
Applied egg-rr6.8%
Taylor expanded in x around -inf
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-eval19.3%
Simplified19.3%
if -9.50000000000000097e108 < y Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6472.0%
Simplified72.0%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval72.1%
Applied egg-rr72.1%
(FPCore (x y) :precision binary64 (if (<= x 0.11) (* (/ 1.0 x) -0.1111111111111111) 1.0))
double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (1.0 / x) * -0.1111111111111111;
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.11d0) then
tmp = (1.0d0 / x) * (-0.1111111111111111d0)
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = (1.0 / x) * -0.1111111111111111;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.11: tmp = (1.0 / x) * -0.1111111111111111 else: tmp = 1.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 0.11) tmp = Float64(Float64(1.0 / x) * -0.1111111111111111); else tmp = 1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.11) tmp = (1.0 / x) * -0.1111111111111111; else tmp = 1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.11], N[(N[(1.0 / x), $MachinePrecision] * -0.1111111111111111), $MachinePrecision], 1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.11:\\
\;\;\;\;\frac{1}{x} \cdot -0.1111111111111111\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < 0.110000000000000001Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.4%
Simplified62.4%
Taylor expanded in x around 0
/-lowering-/.f6461.6%
Simplified61.6%
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f6461.6%
Applied egg-rr61.6%
if 0.110000000000000001 < x Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.2%
Simplified62.2%
Taylor expanded in x around inf
Simplified61.8%
(FPCore (x y) :precision binary64 (if (<= x 0.11) (/ -0.1111111111111111 x) 1.0))
double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = -0.1111111111111111 / x;
} else {
tmp = 1.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.11d0) then
tmp = (-0.1111111111111111d0) / x
else
tmp = 1.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.11) {
tmp = -0.1111111111111111 / x;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.11: tmp = -0.1111111111111111 / x else: tmp = 1.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 0.11) tmp = Float64(-0.1111111111111111 / x); else tmp = 1.0; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.11) tmp = -0.1111111111111111 / x; else tmp = 1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.11], N[(-0.1111111111111111 / x), $MachinePrecision], 1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.11:\\
\;\;\;\;\frac{-0.1111111111111111}{x}\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < 0.110000000000000001Initial program 99.6%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.4%
Simplified62.4%
Taylor expanded in x around 0
/-lowering-/.f6461.6%
Simplified61.6%
if 0.110000000000000001 < x Initial program 99.8%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.8%
Simplified99.8%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.2%
Simplified62.2%
Taylor expanded in x around inf
Simplified61.8%
(FPCore (x y) :precision binary64 (+ 1.0 (/ (/ 1.0 x) -9.0)))
double code(double x, double y) {
return 1.0 + ((1.0 / x) / -9.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 + ((1.0d0 / x) / (-9.0d0))
end function
public static double code(double x, double y) {
return 1.0 + ((1.0 / x) / -9.0);
}
def code(x, y): return 1.0 + ((1.0 / x) / -9.0)
function code(x, y) return Float64(1.0 + Float64(Float64(1.0 / x) / -9.0)) end
function tmp = code(x, y) tmp = 1.0 + ((1.0 / x) / -9.0); end
code[x_, y_] := N[(1.0 + N[(N[(1.0 / x), $MachinePrecision] / -9.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
1 + \frac{\frac{1}{x}}{-9}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.3%
Simplified62.3%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-eval62.4%
Applied egg-rr62.4%
(FPCore (x y) :precision binary64 (+ 1.0 (/ -1.0 (* x 9.0))))
double code(double x, double y) {
return 1.0 + (-1.0 / (x * 9.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
end function
public static double code(double x, double y) {
return 1.0 + (-1.0 / (x * 9.0));
}
def code(x, y): return 1.0 + (-1.0 / (x * 9.0))
function code(x, y) return Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))) end
function tmp = code(x, y) tmp = 1.0 + (-1.0 / (x * 9.0)); end
code[x_, y_] := N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
1 + \frac{-1}{x \cdot 9}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.3%
Simplified62.3%
clear-numN/A
associate-/r/N/A
metadata-evalN/A
metadata-evalN/A
distribute-rgt-neg-inN/A
metadata-evalN/A
metadata-evalN/A
div-invN/A
clear-numN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f64N/A
associate-/r/N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f6462.4%
Applied egg-rr62.4%
(FPCore (x y) :precision binary64 (+ 1.0 (/ -0.1111111111111111 x)))
double code(double x, double y) {
return 1.0 + (-0.1111111111111111 / x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 + ((-0.1111111111111111d0) / x)
end function
public static double code(double x, double y) {
return 1.0 + (-0.1111111111111111 / x);
}
def code(x, y): return 1.0 + (-0.1111111111111111 / x)
function code(x, y) return Float64(1.0 + Float64(-0.1111111111111111 / x)) end
function tmp = code(x, y) tmp = 1.0 + (-0.1111111111111111 / x); end
code[x_, y_] := N[(1.0 + N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
1 + \frac{-0.1111111111111111}{x}
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.3%
Simplified62.3%
(FPCore (x y) :precision binary64 1.0)
double code(double x, double y) {
return 1.0;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0
end function
public static double code(double x, double y) {
return 1.0;
}
def code(x, y): return 1.0
function code(x, y) return 1.0 end
function tmp = code(x, y) tmp = 1.0; end
code[x_, y_] := 1.0
\begin{array}{l}
\\
1
\end{array}
Initial program 99.7%
sub-negN/A
+-lowering-+.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-/r*N/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f64N/A
*-commutativeN/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0
sub-negN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f6462.3%
Simplified62.3%
Taylor expanded in x around inf
Simplified31.7%
(FPCore (x y) :precision binary64 (- (- 1.0 (/ (/ 1.0 x) 9.0)) (/ y (* 3.0 (sqrt x)))))
double code(double x, double y) {
return (1.0 - ((1.0 / x) / 9.0)) - (y / (3.0 * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - ((1.0d0 / x) / 9.0d0)) - (y / (3.0d0 * sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 - ((1.0 / x) / 9.0)) - (y / (3.0 * Math.sqrt(x)));
}
def code(x, y): return (1.0 - ((1.0 / x) / 9.0)) - (y / (3.0 * math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 - Float64(Float64(1.0 / x) / 9.0)) - Float64(y / Float64(3.0 * sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 - ((1.0 / x) / 9.0)) - (y / (3.0 * sqrt(x))); end
code[x_, y_] := N[(N[(1.0 - N[(N[(1.0 / x), $MachinePrecision] / 9.0), $MachinePrecision]), $MachinePrecision] - N[(y / N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{\frac{1}{x}}{9}\right) - \frac{y}{3 \cdot \sqrt{x}}
\end{array}
herbie shell --seed 2024158
(FPCore (x y)
:name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, D"
:precision binary64
:alt
(! :herbie-platform default (- (- 1 (/ (/ 1 x) 9)) (/ y (* 3 (sqrt x)))))
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ y (* 3.0 (sqrt x)))))