
(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 22 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(-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.6%
Final simplification99.6%
(FPCore (x y) :precision binary64 (if (or (<= y -6.5e+60) (not (<= y 1.9e+42))) (+ 1.0 (* -0.3333333333333333 (/ y (sqrt x)))) (+ 1.0 (/ -1.0 (* x 9.0)))))
double code(double x, double y) {
double tmp;
if ((y <= -6.5e+60) || !(y <= 1.9e+42)) {
tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(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 <= (-6.5d+60)) .or. (.not. (y <= 1.9d+42))) then
tmp = 1.0d0 + ((-0.3333333333333333d0) * (y / sqrt(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 <= -6.5e+60) || !(y <= 1.9e+42)) {
tmp = 1.0 + (-0.3333333333333333 * (y / Math.sqrt(x)));
} else {
tmp = 1.0 + (-1.0 / (x * 9.0));
}
return tmp;
}
def code(x, y): tmp = 0 if (y <= -6.5e+60) or not (y <= 1.9e+42): tmp = 1.0 + (-0.3333333333333333 * (y / math.sqrt(x))) else: tmp = 1.0 + (-1.0 / (x * 9.0)) return tmp
function code(x, y) tmp = 0.0 if ((y <= -6.5e+60) || !(y <= 1.9e+42)) tmp = Float64(1.0 + Float64(-0.3333333333333333 * Float64(y / sqrt(x)))); else tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((y <= -6.5e+60) || ~((y <= 1.9e+42))) tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(x))); else tmp = 1.0 + (-1.0 / (x * 9.0)); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[y, -6.5e+60], N[Not[LessEqual[y, 1.9e+42]], $MachinePrecision]], N[(1.0 + N[(-0.3333333333333333 * N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -6.5 \cdot 10^{+60} \lor \neg \left(y \leq 1.9 \cdot 10^{+42}\right):\\
\;\;\;\;1 + -0.3333333333333333 \cdot \frac{y}{\sqrt{x}}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\end{array}
\end{array}
if y < -6.49999999999999931e60 or 1.8999999999999999e42 < y Initial program 99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
distribute-frac-neg99.4%
neg-mul-199.4%
times-frac99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.6%
if -6.49999999999999931e60 < y < 1.8999999999999999e42Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 94.9%
associate-*r/94.9%
metadata-eval94.9%
Simplified94.9%
metadata-eval94.9%
add-sqr-sqrt94.8%
frac-times94.7%
div-inv94.7%
div-inv94.6%
swap-sqr94.7%
metadata-eval94.7%
pow1/294.7%
pow-flip94.8%
metadata-eval94.8%
pow1/294.8%
pow-flip94.8%
metadata-eval94.8%
Applied egg-rr94.8%
*-commutative94.8%
pow-prod-up94.9%
metadata-eval94.9%
inv-pow94.9%
associate-/r/94.9%
div-inv95.0%
metadata-eval95.0%
Applied egg-rr95.0%
Final simplification95.3%
(FPCore (x y)
:precision binary64
(if (<= y -6.5e+60)
(+ 1.0 (/ -1.0 (* (sqrt x) (/ 3.0 y))))
(if (<= y 2.35e+42)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (/ y (* 3.0 (sqrt x)))))))
double code(double x, double y) {
double tmp;
if (y <= -6.5e+60) {
tmp = 1.0 + (-1.0 / (sqrt(x) * (3.0 / y)));
} else if (y <= 2.35e+42) {
tmp = 1.0 + (-1.0 / (x * 9.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 (y <= (-6.5d+60)) then
tmp = 1.0d0 + ((-1.0d0) / (sqrt(x) * (3.0d0 / y)))
else if (y <= 2.35d+42) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.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 (y <= -6.5e+60) {
tmp = 1.0 + (-1.0 / (Math.sqrt(x) * (3.0 / y)));
} else if (y <= 2.35e+42) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -6.5e+60: tmp = 1.0 + (-1.0 / (math.sqrt(x) * (3.0 / y))) elif y <= 2.35e+42: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (y <= -6.5e+60) tmp = Float64(1.0 + Float64(-1.0 / Float64(sqrt(x) * Float64(3.0 / y)))); elseif (y <= 2.35e+42) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.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 (y <= -6.5e+60) tmp = 1.0 + (-1.0 / (sqrt(x) * (3.0 / y))); elseif (y <= 2.35e+42) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -6.5e+60], N[(1.0 + N[(-1.0 / N[(N[Sqrt[x], $MachinePrecision] * N[(3.0 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.35e+42], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $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}\;y \leq -6.5 \cdot 10^{+60}:\\
\;\;\;\;1 + \frac{-1}{\sqrt{x} \cdot \frac{3}{y}}\\
\mathbf{elif}\;y \leq 2.35 \cdot 10^{+42}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if y < -6.49999999999999931e60Initial program 99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
distribute-frac-neg99.2%
neg-mul-199.2%
times-frac99.5%
metadata-eval99.5%
Simplified99.5%
*-commutative99.5%
associate-*l/99.4%
associate-*r/99.4%
frac-2neg99.4%
associate-*r/99.4%
metadata-eval99.4%
metadata-eval99.4%
div-inv99.4%
distribute-neg-frac299.4%
associate-/r*99.2%
clear-num99.3%
distribute-neg-frac99.3%
metadata-eval99.3%
*-commutative99.3%
associate-/l*99.6%
Applied egg-rr99.6%
Taylor expanded in x around inf 96.6%
if -6.49999999999999931e60 < y < 2.34999999999999993e42Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 94.9%
associate-*r/94.9%
metadata-eval94.9%
Simplified94.9%
metadata-eval94.9%
add-sqr-sqrt94.8%
frac-times94.7%
div-inv94.7%
div-inv94.6%
swap-sqr94.7%
metadata-eval94.7%
pow1/294.7%
pow-flip94.8%
metadata-eval94.8%
pow1/294.8%
pow-flip94.8%
metadata-eval94.8%
Applied egg-rr94.8%
*-commutative94.8%
pow-prod-up94.9%
metadata-eval94.9%
inv-pow94.9%
associate-/r/94.9%
div-inv95.0%
metadata-eval95.0%
Applied egg-rr95.0%
if 2.34999999999999993e42 < y Initial program 99.6%
Taylor expanded in x around 0 99.5%
Taylor expanded in x around inf 95.1%
Final simplification95.3%
(FPCore (x y)
:precision binary64
(if (<= y -2.7e+61)
(+ 1.0 (* y (* -0.3333333333333333 (sqrt (/ 1.0 x)))))
(if (<= y 1.9e+42)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (/ y (* 3.0 (sqrt x)))))))
double code(double x, double y) {
double tmp;
if (y <= -2.7e+61) {
tmp = 1.0 + (y * (-0.3333333333333333 * sqrt((1.0 / x))));
} else if (y <= 1.9e+42) {
tmp = 1.0 + (-1.0 / (x * 9.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 (y <= (-2.7d+61)) then
tmp = 1.0d0 + (y * ((-0.3333333333333333d0) * sqrt((1.0d0 / x))))
else if (y <= 1.9d+42) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.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 (y <= -2.7e+61) {
tmp = 1.0 + (y * (-0.3333333333333333 * Math.sqrt((1.0 / x))));
} else if (y <= 1.9e+42) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -2.7e+61: tmp = 1.0 + (y * (-0.3333333333333333 * math.sqrt((1.0 / x)))) elif y <= 1.9e+42: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (y <= -2.7e+61) tmp = Float64(1.0 + Float64(y * Float64(-0.3333333333333333 * sqrt(Float64(1.0 / x))))); elseif (y <= 1.9e+42) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.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 (y <= -2.7e+61) tmp = 1.0 + (y * (-0.3333333333333333 * sqrt((1.0 / x)))); elseif (y <= 1.9e+42) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -2.7e+61], N[(1.0 + N[(y * N[(-0.3333333333333333 * N[Sqrt[N[(1.0 / x), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.9e+42], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $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}\;y \leq -2.7 \cdot 10^{+61}:\\
\;\;\;\;1 + y \cdot \left(-0.3333333333333333 \cdot \sqrt{\frac{1}{x}}\right)\\
\mathbf{elif}\;y \leq 1.9 \cdot 10^{+42}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if y < -2.7000000000000002e61Initial program 99.2%
associate--l-99.2%
sub-neg99.2%
+-commutative99.2%
distribute-neg-in99.2%
distribute-frac-neg99.2%
sub-neg99.2%
neg-mul-199.2%
*-commutative99.2%
associate-/l*99.2%
fmm-def99.2%
associate-/r*99.5%
metadata-eval99.5%
*-commutative99.5%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 96.5%
associate-*r*96.5%
Simplified96.5%
if -2.7000000000000002e61 < y < 1.8999999999999999e42Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 94.9%
associate-*r/94.9%
metadata-eval94.9%
Simplified94.9%
metadata-eval94.9%
add-sqr-sqrt94.8%
frac-times94.7%
div-inv94.7%
div-inv94.6%
swap-sqr94.7%
metadata-eval94.7%
pow1/294.7%
pow-flip94.8%
metadata-eval94.8%
pow1/294.8%
pow-flip94.8%
metadata-eval94.8%
Applied egg-rr94.8%
*-commutative94.8%
pow-prod-up94.9%
metadata-eval94.9%
inv-pow94.9%
associate-/r/94.9%
div-inv95.0%
metadata-eval95.0%
Applied egg-rr95.0%
if 1.8999999999999999e42 < y Initial program 99.6%
Taylor expanded in x around 0 99.5%
Taylor expanded in x around inf 95.1%
Final simplification95.3%
(FPCore (x y)
:precision binary64
(if (<= y -1.45e+61)
(+ 1.0 (* -0.3333333333333333 (/ y (sqrt x))))
(if (<= y 5.2e+42)
(+ 1.0 (/ -1.0 (* x 9.0)))
(- 1.0 (/ y (* 3.0 (sqrt x)))))))
double code(double x, double y) {
double tmp;
if (y <= -1.45e+61) {
tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(x)));
} else if (y <= 5.2e+42) {
tmp = 1.0 + (-1.0 / (x * 9.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 (y <= (-1.45d+61)) then
tmp = 1.0d0 + ((-0.3333333333333333d0) * (y / sqrt(x)))
else if (y <= 5.2d+42) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.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 (y <= -1.45e+61) {
tmp = 1.0 + (-0.3333333333333333 * (y / Math.sqrt(x)));
} else if (y <= 5.2e+42) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 - (y / (3.0 * Math.sqrt(x)));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -1.45e+61: tmp = 1.0 + (-0.3333333333333333 * (y / math.sqrt(x))) elif y <= 5.2e+42: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 - (y / (3.0 * math.sqrt(x))) return tmp
function code(x, y) tmp = 0.0 if (y <= -1.45e+61) tmp = Float64(1.0 + Float64(-0.3333333333333333 * Float64(y / sqrt(x)))); elseif (y <= 5.2e+42) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.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 (y <= -1.45e+61) tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(x))); elseif (y <= 5.2e+42) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 - (y / (3.0 * sqrt(x))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -1.45e+61], N[(1.0 + N[(-0.3333333333333333 * N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.2e+42], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $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}\;y \leq -1.45 \cdot 10^{+61}:\\
\;\;\;\;1 + -0.3333333333333333 \cdot \frac{y}{\sqrt{x}}\\
\mathbf{elif}\;y \leq 5.2 \cdot 10^{+42}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 - \frac{y}{3 \cdot \sqrt{x}}\\
\end{array}
\end{array}
if y < -1.45e61Initial program 99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
distribute-frac-neg99.2%
neg-mul-199.2%
times-frac99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.5%
if -1.45e61 < y < 5.1999999999999998e42Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 94.9%
associate-*r/94.9%
metadata-eval94.9%
Simplified94.9%
metadata-eval94.9%
add-sqr-sqrt94.8%
frac-times94.7%
div-inv94.7%
div-inv94.6%
swap-sqr94.7%
metadata-eval94.7%
pow1/294.7%
pow-flip94.8%
metadata-eval94.8%
pow1/294.8%
pow-flip94.8%
metadata-eval94.8%
Applied egg-rr94.8%
*-commutative94.8%
pow-prod-up94.9%
metadata-eval94.9%
inv-pow94.9%
associate-/r/94.9%
div-inv95.0%
metadata-eval95.0%
Applied egg-rr95.0%
if 5.1999999999999998e42 < y Initial program 99.6%
Taylor expanded in x around 0 99.5%
Taylor expanded in x around inf 95.1%
Final simplification95.3%
(FPCore (x y)
:precision binary64
(if (<= y -7.5e+60)
(+ 1.0 (* -0.3333333333333333 (/ y (sqrt x))))
(if (<= y 1.05e+41)
(+ 1.0 (/ -1.0 (* x 9.0)))
(+ 1.0 (/ -0.3333333333333333 (/ (sqrt x) y))))))
double code(double x, double y) {
double tmp;
if (y <= -7.5e+60) {
tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(x)));
} else if (y <= 1.05e+41) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 + (-0.3333333333333333 / (sqrt(x) / y));
}
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+60)) then
tmp = 1.0d0 + ((-0.3333333333333333d0) * (y / sqrt(x)))
else if (y <= 1.05d+41) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = 1.0d0 + ((-0.3333333333333333d0) / (sqrt(x) / y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -7.5e+60) {
tmp = 1.0 + (-0.3333333333333333 * (y / Math.sqrt(x)));
} else if (y <= 1.05e+41) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = 1.0 + (-0.3333333333333333 / (Math.sqrt(x) / y));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -7.5e+60: tmp = 1.0 + (-0.3333333333333333 * (y / math.sqrt(x))) elif y <= 1.05e+41: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = 1.0 + (-0.3333333333333333 / (math.sqrt(x) / y)) return tmp
function code(x, y) tmp = 0.0 if (y <= -7.5e+60) tmp = Float64(1.0 + Float64(-0.3333333333333333 * Float64(y / sqrt(x)))); elseif (y <= 1.05e+41) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(1.0 + Float64(-0.3333333333333333 / Float64(sqrt(x) / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -7.5e+60) tmp = 1.0 + (-0.3333333333333333 * (y / sqrt(x))); elseif (y <= 1.05e+41) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = 1.0 + (-0.3333333333333333 / (sqrt(x) / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -7.5e+60], N[(1.0 + N[(-0.3333333333333333 * N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.05e+41], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(-0.3333333333333333 / N[(N[Sqrt[x], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.5 \cdot 10^{+60}:\\
\;\;\;\;1 + -0.3333333333333333 \cdot \frac{y}{\sqrt{x}}\\
\mathbf{elif}\;y \leq 1.05 \cdot 10^{+41}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{-0.3333333333333333}{\frac{\sqrt{x}}{y}}\\
\end{array}
\end{array}
if y < -7.5e60Initial program 99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
distribute-frac-neg99.2%
neg-mul-199.2%
times-frac99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.5%
if -7.5e60 < y < 1.05e41Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 94.9%
associate-*r/94.9%
metadata-eval94.9%
Simplified94.9%
metadata-eval94.9%
add-sqr-sqrt94.8%
frac-times94.7%
div-inv94.7%
div-inv94.6%
swap-sqr94.7%
metadata-eval94.7%
pow1/294.7%
pow-flip94.8%
metadata-eval94.8%
pow1/294.8%
pow-flip94.8%
metadata-eval94.8%
Applied egg-rr94.8%
*-commutative94.8%
pow-prod-up94.9%
metadata-eval94.9%
inv-pow94.9%
associate-/r/94.9%
div-inv95.0%
metadata-eval95.0%
Applied egg-rr95.0%
if 1.05e41 < y Initial program 99.6%
sub-neg99.6%
*-commutative99.6%
associate-/r*99.5%
metadata-eval99.5%
distribute-frac-neg99.5%
neg-mul-199.5%
times-frac99.4%
metadata-eval99.4%
Simplified99.4%
clear-num99.4%
un-div-inv99.5%
Applied egg-rr99.5%
Taylor expanded in x around inf 95.1%
Final simplification95.3%
(FPCore (x y) :precision binary64 (if (or (<= y -1.5e+68) (not (<= y 1.6e+118))) (* (pow x -0.5) (* y -0.3333333333333333)) (+ 1.0 (/ -1.0 (* x 9.0)))))
double code(double x, double y) {
double tmp;
if ((y <= -1.5e+68) || !(y <= 1.6e+118)) {
tmp = pow(x, -0.5) * (y * -0.3333333333333333);
} 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 <= (-1.5d+68)) .or. (.not. (y <= 1.6d+118))) then
tmp = (x ** (-0.5d0)) * (y * (-0.3333333333333333d0))
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 <= -1.5e+68) || !(y <= 1.6e+118)) {
tmp = Math.pow(x, -0.5) * (y * -0.3333333333333333);
} else {
tmp = 1.0 + (-1.0 / (x * 9.0));
}
return tmp;
}
def code(x, y): tmp = 0 if (y <= -1.5e+68) or not (y <= 1.6e+118): tmp = math.pow(x, -0.5) * (y * -0.3333333333333333) else: tmp = 1.0 + (-1.0 / (x * 9.0)) return tmp
function code(x, y) tmp = 0.0 if ((y <= -1.5e+68) || !(y <= 1.6e+118)) tmp = Float64((x ^ -0.5) * Float64(y * -0.3333333333333333)); else tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((y <= -1.5e+68) || ~((y <= 1.6e+118))) tmp = (x ^ -0.5) * (y * -0.3333333333333333); else tmp = 1.0 + (-1.0 / (x * 9.0)); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[y, -1.5e+68], N[Not[LessEqual[y, 1.6e+118]], $MachinePrecision]], N[(N[Power[x, -0.5], $MachinePrecision] * N[(y * -0.3333333333333333), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.5 \cdot 10^{+68} \lor \neg \left(y \leq 1.6 \cdot 10^{+118}\right):\\
\;\;\;\;{x}^{-0.5} \cdot \left(y \cdot -0.3333333333333333\right)\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\end{array}
\end{array}
if y < -1.5000000000000001e68 or 1.60000000000000008e118 < y Initial program 99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
distribute-frac-neg99.4%
neg-mul-199.4%
times-frac99.4%
metadata-eval99.4%
Simplified99.4%
clear-num99.3%
un-div-inv99.4%
Applied egg-rr99.4%
Taylor expanded in x around inf 98.0%
Taylor expanded in x around 0 95.1%
*-commutative95.1%
associate-*l*95.1%
unpow-195.1%
metadata-eval95.1%
pow-sqr95.1%
rem-sqrt-square95.1%
metadata-eval95.1%
pow-sqr94.9%
fabs-sqr94.9%
pow-sqr95.1%
metadata-eval95.1%
*-commutative95.1%
Simplified95.1%
if -1.5000000000000001e68 < y < 1.60000000000000008e118Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 92.2%
associate-*r/92.2%
metadata-eval92.2%
Simplified92.2%
metadata-eval92.2%
add-sqr-sqrt92.1%
frac-times92.0%
div-inv92.0%
div-inv91.9%
swap-sqr92.0%
metadata-eval92.0%
pow1/292.0%
pow-flip92.1%
metadata-eval92.1%
pow1/292.1%
pow-flip92.1%
metadata-eval92.1%
Applied egg-rr92.1%
*-commutative92.1%
pow-prod-up92.2%
metadata-eval92.2%
inv-pow92.2%
associate-/r/92.2%
div-inv92.3%
metadata-eval92.3%
Applied egg-rr92.3%
Final simplification93.3%
(FPCore (x y) :precision binary64 (if (or (<= y -6.2e+74) (not (<= y 1.6e+118))) (* y (/ -0.3333333333333333 (sqrt x))) (+ 1.0 (/ -1.0 (* x 9.0)))))
double code(double x, double y) {
double tmp;
if ((y <= -6.2e+74) || !(y <= 1.6e+118)) {
tmp = y * (-0.3333333333333333 / sqrt(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 <= (-6.2d+74)) .or. (.not. (y <= 1.6d+118))) then
tmp = y * ((-0.3333333333333333d0) / sqrt(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 <= -6.2e+74) || !(y <= 1.6e+118)) {
tmp = y * (-0.3333333333333333 / Math.sqrt(x));
} else {
tmp = 1.0 + (-1.0 / (x * 9.0));
}
return tmp;
}
def code(x, y): tmp = 0 if (y <= -6.2e+74) or not (y <= 1.6e+118): tmp = y * (-0.3333333333333333 / math.sqrt(x)) else: tmp = 1.0 + (-1.0 / (x * 9.0)) return tmp
function code(x, y) tmp = 0.0 if ((y <= -6.2e+74) || !(y <= 1.6e+118)) tmp = Float64(y * Float64(-0.3333333333333333 / sqrt(x))); else tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((y <= -6.2e+74) || ~((y <= 1.6e+118))) tmp = y * (-0.3333333333333333 / sqrt(x)); else tmp = 1.0 + (-1.0 / (x * 9.0)); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[y, -6.2e+74], N[Not[LessEqual[y, 1.6e+118]], $MachinePrecision]], N[(y * N[(-0.3333333333333333 / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -6.2 \cdot 10^{+74} \lor \neg \left(y \leq 1.6 \cdot 10^{+118}\right):\\
\;\;\;\;y \cdot \frac{-0.3333333333333333}{\sqrt{x}}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\end{array}
\end{array}
if y < -6.20000000000000043e74 or 1.60000000000000008e118 < y Initial program 99.4%
associate--l-99.4%
sub-neg99.4%
+-commutative99.4%
distribute-neg-in99.4%
distribute-frac-neg99.4%
sub-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.2%
fmm-def99.2%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 95.1%
associate-*r*95.0%
Simplified95.0%
sqrt-div94.9%
metadata-eval94.9%
div-inv95.0%
Applied egg-rr95.0%
if -6.20000000000000043e74 < y < 1.60000000000000008e118Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 92.2%
associate-*r/92.2%
metadata-eval92.2%
Simplified92.2%
metadata-eval92.2%
add-sqr-sqrt92.1%
frac-times92.0%
div-inv92.0%
div-inv91.9%
swap-sqr92.0%
metadata-eval92.0%
pow1/292.0%
pow-flip92.1%
metadata-eval92.1%
pow1/292.1%
pow-flip92.1%
metadata-eval92.1%
Applied egg-rr92.1%
*-commutative92.1%
pow-prod-up92.2%
metadata-eval92.2%
inv-pow92.2%
associate-/r/92.2%
div-inv92.3%
metadata-eval92.3%
Applied egg-rr92.3%
Final simplification93.3%
(FPCore (x y)
:precision binary64
(if (<= y -1.66e+74)
(* y (* -0.3333333333333333 (pow x -0.5)))
(if (<= y 1.6e+118)
(+ 1.0 (/ -1.0 (* x 9.0)))
(/ -0.3333333333333333 (/ (sqrt x) y)))))
double code(double x, double y) {
double tmp;
if (y <= -1.66e+74) {
tmp = y * (-0.3333333333333333 * pow(x, -0.5));
} else if (y <= 1.6e+118) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = -0.3333333333333333 / (sqrt(x) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-1.66d+74)) then
tmp = y * ((-0.3333333333333333d0) * (x ** (-0.5d0)))
else if (y <= 1.6d+118) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (-0.3333333333333333d0) / (sqrt(x) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -1.66e+74) {
tmp = y * (-0.3333333333333333 * Math.pow(x, -0.5));
} else if (y <= 1.6e+118) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = -0.3333333333333333 / (Math.sqrt(x) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -1.66e+74: tmp = y * (-0.3333333333333333 * math.pow(x, -0.5)) elif y <= 1.6e+118: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = -0.3333333333333333 / (math.sqrt(x) / y) return tmp
function code(x, y) tmp = 0.0 if (y <= -1.66e+74) tmp = Float64(y * Float64(-0.3333333333333333 * (x ^ -0.5))); elseif (y <= 1.6e+118) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(-0.3333333333333333 / Float64(sqrt(x) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -1.66e+74) tmp = y * (-0.3333333333333333 * (x ^ -0.5)); elseif (y <= 1.6e+118) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = -0.3333333333333333 / (sqrt(x) / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -1.66e+74], N[(y * N[(-0.3333333333333333 * N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.6e+118], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(-0.3333333333333333 / N[(N[Sqrt[x], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1.66 \cdot 10^{+74}:\\
\;\;\;\;y \cdot \left(-0.3333333333333333 \cdot {x}^{-0.5}\right)\\
\mathbf{elif}\;y \leq 1.6 \cdot 10^{+118}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{-0.3333333333333333}{\frac{\sqrt{x}}{y}}\\
\end{array}
\end{array}
if y < -1.66000000000000001e74Initial program 99.2%
associate--l-99.2%
sub-neg99.2%
+-commutative99.2%
distribute-neg-in99.2%
distribute-frac-neg99.2%
sub-neg99.2%
neg-mul-199.2%
*-commutative99.2%
associate-/l*99.1%
fmm-def99.1%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 89.8%
associate-*r*89.8%
Simplified89.8%
*-un-lft-identity89.8%
inv-pow89.8%
sqrt-pow189.8%
metadata-eval89.8%
Applied egg-rr89.8%
*-lft-identity89.8%
Simplified89.8%
if -1.66000000000000001e74 < y < 1.60000000000000008e118Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 92.2%
associate-*r/92.2%
metadata-eval92.2%
Simplified92.2%
metadata-eval92.2%
add-sqr-sqrt92.1%
frac-times92.0%
div-inv92.0%
div-inv91.9%
swap-sqr92.0%
metadata-eval92.0%
pow1/292.0%
pow-flip92.1%
metadata-eval92.1%
pow1/292.1%
pow-flip92.1%
metadata-eval92.1%
Applied egg-rr92.1%
*-commutative92.1%
pow-prod-up92.2%
metadata-eval92.2%
inv-pow92.2%
associate-/r/92.2%
div-inv92.3%
metadata-eval92.3%
Applied egg-rr92.3%
if 1.60000000000000008e118 < y Initial program 99.5%
associate--l-99.5%
sub-neg99.5%
+-commutative99.5%
distribute-neg-in99.5%
distribute-frac-neg99.5%
sub-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.3%
fmm-def99.3%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 99.5%
associate-*r*99.4%
Simplified99.4%
sqrt-div99.4%
metadata-eval99.4%
div-inv99.4%
associate-/r/99.6%
Applied egg-rr99.6%
Final simplification93.3%
(FPCore (x y)
:precision binary64
(if (<= y -4.3e+70)
(* y (/ -0.3333333333333333 (sqrt x)))
(if (<= y 1.6e+118)
(+ 1.0 (/ -1.0 (* x 9.0)))
(/ -0.3333333333333333 (/ (sqrt x) y)))))
double code(double x, double y) {
double tmp;
if (y <= -4.3e+70) {
tmp = y * (-0.3333333333333333 / sqrt(x));
} else if (y <= 1.6e+118) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = -0.3333333333333333 / (sqrt(x) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-4.3d+70)) then
tmp = y * ((-0.3333333333333333d0) / sqrt(x))
else if (y <= 1.6d+118) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (-0.3333333333333333d0) / (sqrt(x) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -4.3e+70) {
tmp = y * (-0.3333333333333333 / Math.sqrt(x));
} else if (y <= 1.6e+118) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = -0.3333333333333333 / (Math.sqrt(x) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -4.3e+70: tmp = y * (-0.3333333333333333 / math.sqrt(x)) elif y <= 1.6e+118: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = -0.3333333333333333 / (math.sqrt(x) / y) return tmp
function code(x, y) tmp = 0.0 if (y <= -4.3e+70) tmp = Float64(y * Float64(-0.3333333333333333 / sqrt(x))); elseif (y <= 1.6e+118) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(-0.3333333333333333 / Float64(sqrt(x) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -4.3e+70) tmp = y * (-0.3333333333333333 / sqrt(x)); elseif (y <= 1.6e+118) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = -0.3333333333333333 / (sqrt(x) / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -4.3e+70], N[(y * N[(-0.3333333333333333 / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.6e+118], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(-0.3333333333333333 / N[(N[Sqrt[x], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -4.3 \cdot 10^{+70}:\\
\;\;\;\;y \cdot \frac{-0.3333333333333333}{\sqrt{x}}\\
\mathbf{elif}\;y \leq 1.6 \cdot 10^{+118}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{-0.3333333333333333}{\frac{\sqrt{x}}{y}}\\
\end{array}
\end{array}
if y < -4.3000000000000001e70Initial program 99.2%
associate--l-99.2%
sub-neg99.2%
+-commutative99.2%
distribute-neg-in99.2%
distribute-frac-neg99.2%
sub-neg99.2%
neg-mul-199.2%
*-commutative99.2%
associate-/l*99.1%
fmm-def99.1%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 89.8%
associate-*r*89.8%
Simplified89.8%
sqrt-div89.5%
metadata-eval89.5%
div-inv89.8%
Applied egg-rr89.8%
if -4.3000000000000001e70 < y < 1.60000000000000008e118Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.8%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 92.2%
associate-*r/92.2%
metadata-eval92.2%
Simplified92.2%
metadata-eval92.2%
add-sqr-sqrt92.1%
frac-times92.0%
div-inv92.0%
div-inv91.9%
swap-sqr92.0%
metadata-eval92.0%
pow1/292.0%
pow-flip92.1%
metadata-eval92.1%
pow1/292.1%
pow-flip92.1%
metadata-eval92.1%
Applied egg-rr92.1%
*-commutative92.1%
pow-prod-up92.2%
metadata-eval92.2%
inv-pow92.2%
associate-/r/92.2%
div-inv92.3%
metadata-eval92.3%
Applied egg-rr92.3%
if 1.60000000000000008e118 < y Initial program 99.5%
associate--l-99.5%
sub-neg99.5%
+-commutative99.5%
distribute-neg-in99.5%
distribute-frac-neg99.5%
sub-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.3%
fmm-def99.3%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 99.5%
associate-*r*99.4%
Simplified99.4%
sqrt-div99.4%
metadata-eval99.4%
div-inv99.4%
associate-/r/99.6%
Applied egg-rr99.6%
Final simplification93.3%
(FPCore (x y) :precision binary64 (if (<= x 4500000.0) (/ (- (* -0.3333333333333333 (* y (sqrt x))) 0.1111111111111111) x) (+ 1.0 (/ -0.3333333333333333 (/ (sqrt x) y)))))
double code(double x, double y) {
double tmp;
if (x <= 4500000.0) {
tmp = ((-0.3333333333333333 * (y * sqrt(x))) - 0.1111111111111111) / x;
} else {
tmp = 1.0 + (-0.3333333333333333 / (sqrt(x) / y));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 4500000.0d0) then
tmp = (((-0.3333333333333333d0) * (y * sqrt(x))) - 0.1111111111111111d0) / x
else
tmp = 1.0d0 + ((-0.3333333333333333d0) / (sqrt(x) / y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 4500000.0) {
tmp = ((-0.3333333333333333 * (y * Math.sqrt(x))) - 0.1111111111111111) / x;
} else {
tmp = 1.0 + (-0.3333333333333333 / (Math.sqrt(x) / y));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 4500000.0: tmp = ((-0.3333333333333333 * (y * math.sqrt(x))) - 0.1111111111111111) / x else: tmp = 1.0 + (-0.3333333333333333 / (math.sqrt(x) / y)) return tmp
function code(x, y) tmp = 0.0 if (x <= 4500000.0) tmp = Float64(Float64(Float64(-0.3333333333333333 * Float64(y * sqrt(x))) - 0.1111111111111111) / x); else tmp = Float64(1.0 + Float64(-0.3333333333333333 / Float64(sqrt(x) / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 4500000.0) tmp = ((-0.3333333333333333 * (y * sqrt(x))) - 0.1111111111111111) / x; else tmp = 1.0 + (-0.3333333333333333 / (sqrt(x) / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 4500000.0], N[(N[(N[(-0.3333333333333333 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 0.1111111111111111), $MachinePrecision] / x), $MachinePrecision], N[(1.0 + N[(-0.3333333333333333 / N[(N[Sqrt[x], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 4500000:\\
\;\;\;\;\frac{-0.3333333333333333 \cdot \left(y \cdot \sqrt{x}\right) - 0.1111111111111111}{x}\\
\mathbf{else}:\\
\;\;\;\;1 + \frac{-0.3333333333333333}{\frac{\sqrt{x}}{y}}\\
\end{array}
\end{array}
if x < 4.5e6Initial program 99.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.6%
metadata-eval99.6%
*-commutative99.6%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0 99.0%
if 4.5e6 < x Initial program 99.7%
sub-neg99.7%
*-commutative99.7%
associate-/r*99.7%
metadata-eval99.7%
distribute-frac-neg99.7%
neg-mul-199.7%
times-frac99.7%
metadata-eval99.7%
Simplified99.7%
clear-num99.7%
un-div-inv99.7%
Applied egg-rr99.7%
Taylor expanded in x around inf 99.4%
Final simplification99.2%
(FPCore (x y) :precision binary64 (+ (- 1.0 (/ 0.1111111111111111 x)) (/ -1.0 (* (sqrt x) (/ 3.0 y)))))
double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-1.0 / (sqrt(x) * (3.0 / y)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - (0.1111111111111111d0 / x)) + ((-1.0d0) / (sqrt(x) * (3.0d0 / y)))
end function
public static double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-1.0 / (Math.sqrt(x) * (3.0 / y)));
}
def code(x, y): return (1.0 - (0.1111111111111111 / x)) + (-1.0 / (math.sqrt(x) * (3.0 / y)))
function code(x, y) return Float64(Float64(1.0 - Float64(0.1111111111111111 / x)) + Float64(-1.0 / Float64(sqrt(x) * Float64(3.0 / y)))) end
function tmp = code(x, y) tmp = (1.0 - (0.1111111111111111 / x)) + (-1.0 / (sqrt(x) * (3.0 / y))); end
code[x_, y_] := N[(N[(1.0 - N[(0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(-1.0 / N[(N[Sqrt[x], $MachinePrecision] * N[(3.0 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{0.1111111111111111}{x}\right) + \frac{-1}{\sqrt{x} \cdot \frac{3}{y}}
\end{array}
Initial program 99.6%
sub-neg99.6%
*-commutative99.6%
associate-/r*99.5%
metadata-eval99.5%
distribute-frac-neg99.5%
neg-mul-199.5%
times-frac99.6%
metadata-eval99.6%
Simplified99.6%
*-commutative99.6%
associate-*l/99.5%
associate-*r/99.6%
frac-2neg99.6%
associate-*r/99.5%
metadata-eval99.5%
metadata-eval99.5%
div-inv99.6%
distribute-neg-frac299.6%
associate-/r*99.5%
clear-num99.5%
distribute-neg-frac99.5%
metadata-eval99.5%
*-commutative99.5%
associate-/l*99.6%
Applied egg-rr99.6%
(FPCore (x y) :precision binary64 (+ (- 1.0 (/ 0.1111111111111111 x)) (* -0.3333333333333333 (* y (pow x -0.5)))))
double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y * pow(x, -0.5)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - (0.1111111111111111d0 / x)) + ((-0.3333333333333333d0) * (y * (x ** (-0.5d0))))
end function
public static double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y * Math.pow(x, -0.5)));
}
def code(x, y): return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y * math.pow(x, -0.5)))
function code(x, y) return Float64(Float64(1.0 - Float64(0.1111111111111111 / x)) + Float64(-0.3333333333333333 * Float64(y * (x ^ -0.5)))) end
function tmp = code(x, y) tmp = (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y * (x ^ -0.5))); end
code[x_, y_] := N[(N[(1.0 - N[(0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(-0.3333333333333333 * N[(y * N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{0.1111111111111111}{x}\right) + -0.3333333333333333 \cdot \left(y \cdot {x}^{-0.5}\right)
\end{array}
Initial program 99.6%
sub-neg99.6%
*-commutative99.6%
associate-/r*99.5%
metadata-eval99.5%
distribute-frac-neg99.5%
neg-mul-199.5%
times-frac99.6%
metadata-eval99.6%
Simplified99.6%
clear-num99.5%
associate-/r/99.5%
pow1/299.5%
pow-flip99.6%
metadata-eval99.6%
Applied egg-rr99.6%
Final simplification99.6%
(FPCore (x y) :precision binary64 (+ (- 1.0 (/ 0.1111111111111111 x)) (* -0.3333333333333333 (/ y (sqrt x)))))
double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y / sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - (0.1111111111111111d0 / x)) + ((-0.3333333333333333d0) * (y / sqrt(x)))
end function
public static double code(double x, double y) {
return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y / Math.sqrt(x)));
}
def code(x, y): return (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y / math.sqrt(x)))
function code(x, y) return Float64(Float64(1.0 - Float64(0.1111111111111111 / x)) + Float64(-0.3333333333333333 * Float64(y / sqrt(x)))) end
function tmp = code(x, y) tmp = (1.0 - (0.1111111111111111 / x)) + (-0.3333333333333333 * (y / sqrt(x))); end
code[x_, y_] := N[(N[(1.0 - N[(0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision] + N[(-0.3333333333333333 * N[(y / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - \frac{0.1111111111111111}{x}\right) + -0.3333333333333333 \cdot \frac{y}{\sqrt{x}}
\end{array}
Initial program 99.6%
sub-neg99.6%
*-commutative99.6%
associate-/r*99.5%
metadata-eval99.5%
distribute-frac-neg99.5%
neg-mul-199.5%
times-frac99.6%
metadata-eval99.6%
Simplified99.6%
(FPCore (x y)
:precision binary64
(if (<= y -3e+107)
(/
(- 1.0 (* (/ -0.1111111111111111 x) (/ -0.1111111111111111 x)))
(+ 1.0 (* 0.1111111111111111 (/ -1.0 x))))
(if (<= y 2.25e+99)
(+ 1.0 (/ -1.0 (* x 9.0)))
(/
(- 1.0 (/ (/ 0.012345679012345678 x) x))
(- 1.0 (/ -0.1111111111111111 x))))))
double code(double x, double y) {
double tmp;
if (y <= -3e+107) {
tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (1.0 + (0.1111111111111111 * (-1.0 / x)));
} else if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-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 <= (-3d+107)) then
tmp = (1.0d0 - (((-0.1111111111111111d0) / x) * ((-0.1111111111111111d0) / x))) / (1.0d0 + (0.1111111111111111d0 * ((-1.0d0) / x)))
else if (y <= 2.25d+99) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (1.0d0 - ((0.012345679012345678d0 / x) / x)) / (1.0d0 - ((-0.1111111111111111d0) / x))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -3e+107) {
tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (1.0 + (0.1111111111111111 * (-1.0 / x)));
} else if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -3e+107: tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (1.0 + (0.1111111111111111 * (-1.0 / x))) elif y <= 2.25e+99: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x)) return tmp
function code(x, y) tmp = 0.0 if (y <= -3e+107) tmp = Float64(Float64(1.0 - Float64(Float64(-0.1111111111111111 / x) * Float64(-0.1111111111111111 / x))) / Float64(1.0 + Float64(0.1111111111111111 * Float64(-1.0 / x)))); elseif (y <= 2.25e+99) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(Float64(1.0 - Float64(Float64(0.012345679012345678 / x) / x)) / Float64(1.0 - Float64(-0.1111111111111111 / x))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -3e+107) tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (1.0 + (0.1111111111111111 * (-1.0 / x))); elseif (y <= 2.25e+99) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -3e+107], N[(N[(1.0 - N[(N[(-0.1111111111111111 / x), $MachinePrecision] * N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(0.1111111111111111 * N[(-1.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.25e+99], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - N[(N[(0.012345679012345678 / x), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision] / N[(1.0 - N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -3 \cdot 10^{+107}:\\
\;\;\;\;\frac{1 - \frac{-0.1111111111111111}{x} \cdot \frac{-0.1111111111111111}{x}}{1 + 0.1111111111111111 \cdot \frac{-1}{x}}\\
\mathbf{elif}\;y \leq 2.25 \cdot 10^{+99}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \frac{\frac{0.012345679012345678}{x}}{x}}{1 - \frac{-0.1111111111111111}{x}}\\
\end{array}
\end{array}
if y < -3.00000000000000023e107Initial program 99.1%
associate--l-99.1%
sub-neg99.1%
+-commutative99.1%
distribute-neg-in99.1%
distribute-frac-neg99.1%
sub-neg99.1%
neg-mul-199.1%
*-commutative99.1%
associate-/l*99.1%
fmm-def99.1%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 4.4%
associate-*r/4.4%
metadata-eval4.4%
Simplified4.4%
metadata-eval4.4%
add-sqr-sqrt4.4%
frac-times4.4%
div-inv4.4%
div-inv4.4%
swap-sqr4.4%
metadata-eval4.4%
pow1/24.4%
pow-flip4.4%
metadata-eval4.4%
pow1/24.4%
pow-flip4.4%
metadata-eval4.4%
Applied egg-rr4.4%
sub-neg4.4%
flip-+4.3%
Applied egg-rr4.3%
add-sqr-sqrt0.0%
sqrt-prod5.5%
frac-times5.5%
sqrt-div5.5%
metadata-eval5.5%
metadata-eval5.5%
sqrt-unprod17.3%
add-sqr-sqrt17.3%
div-inv17.3%
Applied egg-rr17.3%
if -3.00000000000000023e107 < y < 2.25e99Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.7%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 90.1%
associate-*r/90.1%
metadata-eval90.1%
Simplified90.1%
metadata-eval90.1%
add-sqr-sqrt89.9%
frac-times89.9%
div-inv89.9%
div-inv89.8%
swap-sqr89.9%
metadata-eval89.9%
pow1/289.9%
pow-flip90.0%
metadata-eval90.0%
pow1/290.0%
pow-flip90.0%
metadata-eval90.0%
Applied egg-rr90.0%
*-commutative90.0%
pow-prod-up90.1%
metadata-eval90.1%
inv-pow90.1%
associate-/r/90.1%
div-inv90.2%
metadata-eval90.2%
Applied egg-rr90.2%
if 2.25e99 < y Initial program 99.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.4%
fmm-def99.4%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 6.4%
associate-*r/6.4%
metadata-eval6.4%
Simplified6.4%
metadata-eval6.4%
add-sqr-sqrt6.4%
frac-times6.4%
div-inv6.4%
div-inv6.4%
swap-sqr6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
Applied egg-rr6.4%
sub-neg6.4%
flip-+26.1%
Applied egg-rr26.1%
frac-times26.1%
associate-/r*26.1%
metadata-eval26.1%
Applied egg-rr26.1%
Final simplification66.6%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (/ 0.012345679012345678 x) x))
(t_1 (- 1.0 (/ -0.1111111111111111 x))))
(if (<= y -3e+107)
(/ (+ 1.0 t_0) t_1)
(if (<= y 2.25e+99) (+ 1.0 (/ -1.0 (* x 9.0))) (/ (- 1.0 t_0) t_1)))))
double code(double x, double y) {
double t_0 = (0.012345679012345678 / x) / x;
double t_1 = 1.0 - (-0.1111111111111111 / x);
double tmp;
if (y <= -3e+107) {
tmp = (1.0 + t_0) / t_1;
} else if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - t_0) / t_1;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = (0.012345679012345678d0 / x) / x
t_1 = 1.0d0 - ((-0.1111111111111111d0) / x)
if (y <= (-3d+107)) then
tmp = (1.0d0 + t_0) / t_1
else if (y <= 2.25d+99) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (1.0d0 - t_0) / t_1
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = (0.012345679012345678 / x) / x;
double t_1 = 1.0 - (-0.1111111111111111 / x);
double tmp;
if (y <= -3e+107) {
tmp = (1.0 + t_0) / t_1;
} else if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - t_0) / t_1;
}
return tmp;
}
def code(x, y): t_0 = (0.012345679012345678 / x) / x t_1 = 1.0 - (-0.1111111111111111 / x) tmp = 0 if y <= -3e+107: tmp = (1.0 + t_0) / t_1 elif y <= 2.25e+99: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = (1.0 - t_0) / t_1 return tmp
function code(x, y) t_0 = Float64(Float64(0.012345679012345678 / x) / x) t_1 = Float64(1.0 - Float64(-0.1111111111111111 / x)) tmp = 0.0 if (y <= -3e+107) tmp = Float64(Float64(1.0 + t_0) / t_1); elseif (y <= 2.25e+99) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(Float64(1.0 - t_0) / t_1); end return tmp end
function tmp_2 = code(x, y) t_0 = (0.012345679012345678 / x) / x; t_1 = 1.0 - (-0.1111111111111111 / x); tmp = 0.0; if (y <= -3e+107) tmp = (1.0 + t_0) / t_1; elseif (y <= 2.25e+99) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = (1.0 - t_0) / t_1; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[(0.012345679012345678 / x), $MachinePrecision] / x), $MachinePrecision]}, Block[{t$95$1 = N[(1.0 - N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, -3e+107], N[(N[(1.0 + t$95$0), $MachinePrecision] / t$95$1), $MachinePrecision], If[LessEqual[y, 2.25e+99], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - t$95$0), $MachinePrecision] / t$95$1), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\frac{0.012345679012345678}{x}}{x}\\
t_1 := 1 - \frac{-0.1111111111111111}{x}\\
\mathbf{if}\;y \leq -3 \cdot 10^{+107}:\\
\;\;\;\;\frac{1 + t\_0}{t\_1}\\
\mathbf{elif}\;y \leq 2.25 \cdot 10^{+99}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - t\_0}{t\_1}\\
\end{array}
\end{array}
if y < -3.00000000000000023e107Initial program 99.1%
associate--l-99.1%
sub-neg99.1%
+-commutative99.1%
distribute-neg-in99.1%
distribute-frac-neg99.1%
sub-neg99.1%
neg-mul-199.1%
*-commutative99.1%
associate-/l*99.1%
fmm-def99.1%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 4.4%
associate-*r/4.4%
metadata-eval4.4%
Simplified4.4%
metadata-eval4.4%
add-sqr-sqrt4.4%
frac-times4.4%
div-inv4.4%
div-inv4.4%
swap-sqr4.4%
metadata-eval4.4%
pow1/24.4%
pow-flip4.4%
metadata-eval4.4%
pow1/24.4%
pow-flip4.4%
metadata-eval4.4%
Applied egg-rr4.4%
sub-neg4.4%
flip-+4.3%
Applied egg-rr4.3%
add-sqr-sqrt0.0%
sqrt-prod17.3%
frac-times17.3%
sqrt-div17.3%
metadata-eval17.3%
metadata-eval17.3%
sqrt-unprod17.3%
metadata-eval17.3%
add-sqr-sqrt17.3%
distribute-neg-frac17.3%
distribute-rgt-neg-in17.3%
associate-*l/17.3%
distribute-neg-frac217.3%
associate-*r/17.3%
metadata-eval17.3%
Applied egg-rr17.3%
if -3.00000000000000023e107 < y < 2.25e99Initial program 99.8%
associate--l-99.8%
sub-neg99.8%
+-commutative99.8%
distribute-neg-in99.8%
distribute-frac-neg99.8%
sub-neg99.8%
neg-mul-199.8%
*-commutative99.8%
associate-/l*99.8%
fmm-def99.7%
associate-/r*99.8%
metadata-eval99.8%
*-commutative99.8%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 90.1%
associate-*r/90.1%
metadata-eval90.1%
Simplified90.1%
metadata-eval90.1%
add-sqr-sqrt89.9%
frac-times89.9%
div-inv89.9%
div-inv89.8%
swap-sqr89.9%
metadata-eval89.9%
pow1/289.9%
pow-flip90.0%
metadata-eval90.0%
pow1/290.0%
pow-flip90.0%
metadata-eval90.0%
Applied egg-rr90.0%
*-commutative90.0%
pow-prod-up90.1%
metadata-eval90.1%
inv-pow90.1%
associate-/r/90.1%
div-inv90.2%
metadata-eval90.2%
Applied egg-rr90.2%
if 2.25e99 < y Initial program 99.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.4%
fmm-def99.4%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 6.4%
associate-*r/6.4%
metadata-eval6.4%
Simplified6.4%
metadata-eval6.4%
add-sqr-sqrt6.4%
frac-times6.4%
div-inv6.4%
div-inv6.4%
swap-sqr6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
Applied egg-rr6.4%
sub-neg6.4%
flip-+26.1%
Applied egg-rr26.1%
frac-times26.1%
associate-/r*26.1%
metadata-eval26.1%
Applied egg-rr26.1%
Final simplification66.6%
(FPCore (x y)
:precision binary64
(if (<= y 2.25e+99)
(+ 1.0 (/ -1.0 (* x 9.0)))
(/
(- 1.0 (/ (/ 0.012345679012345678 x) x))
(- 1.0 (/ -0.1111111111111111 x)))))
double code(double x, double y) {
double tmp;
if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-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 <= 2.25d+99) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (1.0d0 - ((0.012345679012345678d0 / x) / x)) / (1.0d0 - ((-0.1111111111111111d0) / x))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 2.25e+99) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 2.25e+99: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x)) return tmp
function code(x, y) tmp = 0.0 if (y <= 2.25e+99) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(Float64(1.0 - Float64(Float64(0.012345679012345678 / x) / x)) / Float64(1.0 - Float64(-0.1111111111111111 / x))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 2.25e+99) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = (1.0 - ((0.012345679012345678 / x) / x)) / (1.0 - (-0.1111111111111111 / x)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 2.25e+99], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - N[(N[(0.012345679012345678 / x), $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision] / N[(1.0 - N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 2.25 \cdot 10^{+99}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \frac{\frac{0.012345679012345678}{x}}{x}}{1 - \frac{-0.1111111111111111}{x}}\\
\end{array}
\end{array}
if y < 2.25e99Initial program 99.7%
associate--l-99.7%
sub-neg99.7%
+-commutative99.7%
distribute-neg-in99.7%
distribute-frac-neg99.7%
sub-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.6%
distribute-neg-frac99.6%
metadata-eval99.6%
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0 74.5%
associate-*r/74.5%
metadata-eval74.5%
Simplified74.5%
metadata-eval74.5%
add-sqr-sqrt74.4%
frac-times74.4%
div-inv74.4%
div-inv74.3%
swap-sqr74.4%
metadata-eval74.4%
pow1/274.4%
pow-flip74.5%
metadata-eval74.5%
pow1/274.5%
pow-flip74.5%
metadata-eval74.5%
Applied egg-rr74.5%
*-commutative74.5%
pow-prod-up74.5%
metadata-eval74.5%
inv-pow74.5%
associate-/r/74.6%
div-inv74.6%
metadata-eval74.6%
Applied egg-rr74.6%
if 2.25e99 < y Initial program 99.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.4%
fmm-def99.4%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 6.4%
associate-*r/6.4%
metadata-eval6.4%
Simplified6.4%
metadata-eval6.4%
add-sqr-sqrt6.4%
frac-times6.4%
div-inv6.4%
div-inv6.4%
swap-sqr6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
pow1/26.4%
pow-flip6.4%
metadata-eval6.4%
Applied egg-rr6.4%
sub-neg6.4%
flip-+26.1%
Applied egg-rr26.1%
frac-times26.1%
associate-/r*26.1%
metadata-eval26.1%
Applied egg-rr26.1%
Final simplification64.8%
(FPCore (x y)
:precision binary64
(if (<= y 6.5e+171)
(+ 1.0 (/ -1.0 (* x 9.0)))
(/
(- 1.0 (* (/ -0.1111111111111111 x) (/ -0.1111111111111111 x)))
(/ 0.1111111111111111 x))))
double code(double x, double y) {
double tmp;
if (y <= 6.5e+171) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / 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 <= 6.5d+171) then
tmp = 1.0d0 + ((-1.0d0) / (x * 9.0d0))
else
tmp = (1.0d0 - (((-0.1111111111111111d0) / x) * ((-0.1111111111111111d0) / x))) / (0.1111111111111111d0 / x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 6.5e+171) {
tmp = 1.0 + (-1.0 / (x * 9.0));
} else {
tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (0.1111111111111111 / x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 6.5e+171: tmp = 1.0 + (-1.0 / (x * 9.0)) else: tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (0.1111111111111111 / x) return tmp
function code(x, y) tmp = 0.0 if (y <= 6.5e+171) tmp = Float64(1.0 + Float64(-1.0 / Float64(x * 9.0))); else tmp = Float64(Float64(1.0 - Float64(Float64(-0.1111111111111111 / x) * Float64(-0.1111111111111111 / x))) / Float64(0.1111111111111111 / x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 6.5e+171) tmp = 1.0 + (-1.0 / (x * 9.0)); else tmp = (1.0 - ((-0.1111111111111111 / x) * (-0.1111111111111111 / x))) / (0.1111111111111111 / x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 6.5e+171], N[(1.0 + N[(-1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - N[(N[(-0.1111111111111111 / x), $MachinePrecision] * N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 6.5 \cdot 10^{+171}:\\
\;\;\;\;1 + \frac{-1}{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - \frac{-0.1111111111111111}{x} \cdot \frac{-0.1111111111111111}{x}}{\frac{0.1111111111111111}{x}}\\
\end{array}
\end{array}
if y < 6.5e171Initial program 99.7%
associate--l-99.7%
sub-neg99.7%
+-commutative99.7%
distribute-neg-in99.7%
distribute-frac-neg99.7%
sub-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.6%
distribute-neg-frac99.6%
metadata-eval99.6%
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0 72.1%
associate-*r/72.2%
metadata-eval72.2%
Simplified72.2%
metadata-eval72.2%
add-sqr-sqrt72.1%
frac-times72.0%
div-inv72.0%
div-inv71.9%
swap-sqr72.0%
metadata-eval72.0%
pow1/272.0%
pow-flip72.1%
metadata-eval72.1%
pow1/272.1%
pow-flip72.1%
metadata-eval72.1%
Applied egg-rr72.1%
*-commutative72.1%
pow-prod-up72.1%
metadata-eval72.1%
inv-pow72.1%
associate-/r/72.2%
div-inv72.3%
metadata-eval72.3%
Applied egg-rr72.3%
if 6.5e171 < y Initial program 99.5%
associate--l-99.5%
sub-neg99.5%
+-commutative99.5%
distribute-neg-in99.5%
distribute-frac-neg99.5%
sub-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.4%
fmm-def99.4%
associate-/r*99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
distribute-neg-frac99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around 0 3.9%
associate-*r/3.9%
metadata-eval3.9%
Simplified3.9%
metadata-eval3.9%
add-sqr-sqrt3.9%
frac-times3.9%
div-inv3.9%
div-inv3.9%
swap-sqr3.9%
metadata-eval3.9%
pow1/23.9%
pow-flip3.9%
metadata-eval3.9%
pow1/23.9%
pow-flip3.9%
metadata-eval3.9%
Applied egg-rr3.9%
sub-neg3.9%
flip-+27.7%
Applied egg-rr27.7%
Taylor expanded in x around 0 27.5%
Final simplification64.7%
(FPCore (x y) :precision binary64 (if (<= x 0.112) (/ -0.1111111111111111 x) 1.0))
double code(double x, double y) {
double tmp;
if (x <= 0.112) {
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.112d0) 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.112) {
tmp = -0.1111111111111111 / x;
} else {
tmp = 1.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.112: tmp = -0.1111111111111111 / x else: tmp = 1.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 0.112) 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.112) tmp = -0.1111111111111111 / x; else tmp = 1.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.112], N[(-0.1111111111111111 / x), $MachinePrecision], 1.0]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.112:\\
\;\;\;\;\frac{-0.1111111111111111}{x}\\
\mathbf{else}:\\
\;\;\;\;1\\
\end{array}
\end{array}
if x < 0.112000000000000002Initial program 99.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.6%
metadata-eval99.6%
*-commutative99.6%
associate-/r*99.5%
distribute-neg-frac99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around 0 57.2%
associate-*r/57.3%
metadata-eval57.3%
Simplified57.3%
metadata-eval57.3%
add-sqr-sqrt57.1%
frac-times57.0%
div-inv57.0%
div-inv56.9%
swap-sqr57.0%
metadata-eval57.0%
pow1/257.0%
pow-flip57.1%
metadata-eval57.1%
pow1/257.1%
pow-flip57.1%
metadata-eval57.1%
Applied egg-rr57.1%
Taylor expanded in x around 0 57.0%
if 0.112000000000000002 < x Initial program 99.7%
associate--l-99.7%
sub-neg99.7%
+-commutative99.7%
distribute-neg-in99.7%
distribute-frac-neg99.7%
sub-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.7%
distribute-neg-frac99.7%
metadata-eval99.7%
metadata-eval99.7%
Simplified99.7%
Taylor expanded in y around 0 64.2%
associate-*r/64.2%
metadata-eval64.2%
Simplified64.2%
Taylor expanded in x around inf 63.9%
(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.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.6%
distribute-neg-frac99.6%
metadata-eval99.6%
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0 60.7%
associate-*r/60.7%
metadata-eval60.7%
Simplified60.7%
metadata-eval60.7%
add-sqr-sqrt60.6%
frac-times60.5%
div-inv60.5%
div-inv60.5%
swap-sqr60.6%
metadata-eval60.6%
pow1/260.6%
pow-flip60.6%
metadata-eval60.6%
pow1/260.6%
pow-flip60.6%
metadata-eval60.6%
Applied egg-rr60.6%
*-commutative60.6%
pow-prod-up60.7%
metadata-eval60.7%
inv-pow60.7%
associate-/r/60.7%
div-inv60.8%
metadata-eval60.8%
Applied egg-rr60.8%
Final simplification60.8%
(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.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.6%
distribute-neg-frac99.6%
metadata-eval99.6%
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0 60.7%
associate-*r/60.7%
metadata-eval60.7%
Simplified60.7%
(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.6%
associate--l-99.6%
sub-neg99.6%
+-commutative99.6%
distribute-neg-in99.6%
distribute-frac-neg99.6%
sub-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
fmm-def99.6%
associate-/r*99.7%
metadata-eval99.7%
*-commutative99.7%
associate-/r*99.6%
distribute-neg-frac99.6%
metadata-eval99.6%
metadata-eval99.6%
Simplified99.6%
Taylor expanded in y around 0 60.7%
associate-*r/60.7%
metadata-eval60.7%
Simplified60.7%
Taylor expanded in x around inf 32.2%
(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 2024172
(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)))))