
(FPCore (x y) :precision binary64 (/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))))
double code(double x, double y) {
return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0d0))
end function
public static double code(double x, double y) {
return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0));
}
def code(x, y): return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0))
function code(x, y) return Float64(Float64(x * y) / Float64(Float64(Float64(x + y) * Float64(x + y)) * Float64(Float64(x + y) + 1.0))) end
function tmp = code(x, y) tmp = (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0)); end
code[x_, y_] := N[(N[(x * y), $MachinePrecision] / N[(N[(N[(x + y), $MachinePrecision] * N[(x + y), $MachinePrecision]), $MachinePrecision] * N[(N[(x + y), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot y}{\left(\left(x + y\right) \cdot \left(x + y\right)\right) \cdot \left(\left(x + y\right) + 1\right)}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 22 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))))
double code(double x, double y) {
return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0d0))
end function
public static double code(double x, double y) {
return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0));
}
def code(x, y): return (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0))
function code(x, y) return Float64(Float64(x * y) / Float64(Float64(Float64(x + y) * Float64(x + y)) * Float64(Float64(x + y) + 1.0))) end
function tmp = code(x, y) tmp = (x * y) / (((x + y) * (x + y)) * ((x + y) + 1.0)); end
code[x_, y_] := N[(N[(x * y), $MachinePrecision] / N[(N[(N[(x + y), $MachinePrecision] * N[(x + y), $MachinePrecision]), $MachinePrecision] * N[(N[(x + y), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot y}{\left(\left(x + y\right) \cdot \left(x + y\right)\right) \cdot \left(\left(x + y\right) + 1\right)}
\end{array}
(FPCore (x y) :precision binary64 (/ (* (/ y (+ y x)) (/ x (+ y (+ x 1.0)))) (+ y x)))
double code(double x, double y) {
return ((y / (y + x)) * (x / (y + (x + 1.0)))) / (y + x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((y / (y + x)) * (x / (y + (x + 1.0d0)))) / (y + x)
end function
public static double code(double x, double y) {
return ((y / (y + x)) * (x / (y + (x + 1.0)))) / (y + x);
}
def code(x, y): return ((y / (y + x)) * (x / (y + (x + 1.0)))) / (y + x)
function code(x, y) return Float64(Float64(Float64(y / Float64(y + x)) * Float64(x / Float64(y + Float64(x + 1.0)))) / Float64(y + x)) end
function tmp = code(x, y) tmp = ((y / (y + x)) * (x / (y + (x + 1.0)))) / (y + x); end
code[x_, y_] := N[(N[(N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision] * N[(x / N[(y + N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\frac{y}{y + x} \cdot \frac{x}{y + \left(x + 1\right)}}{y + x}
\end{array}
Initial program 65.0%
+-commutative65.0%
+-commutative65.0%
+-commutative65.0%
*-commutative65.0%
distribute-rgt1-in54.5%
fma-define65.0%
+-commutative65.0%
+-commutative65.0%
cube-unmult65.0%
+-commutative65.0%
Simplified65.0%
*-commutative65.0%
fma-define54.5%
cube-mult54.5%
distribute-rgt1-in65.0%
*-commutative65.0%
associate-*l*65.0%
times-frac92.4%
associate-+r+92.4%
Applied egg-rr92.4%
frac-times65.0%
*-commutative65.0%
*-un-lft-identity65.0%
frac-times70.9%
associate-*l/70.9%
*-un-lft-identity70.9%
associate-/l*92.4%
+-commutative92.4%
+-commutative92.4%
Applied egg-rr92.4%
associate-*r/70.9%
+-commutative70.9%
Applied egg-rr70.9%
*-commutative70.9%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Final simplification99.8%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ y (+ y x))))
(if (<= y 5e-294)
(/ (* t_0 (/ x (+ x 1.0))) (+ y x))
(if (<= y 1.55e+136)
(* t_0 (/ x (* (+ y x) (+ x (+ y 1.0)))))
(/ (/ (- x (* x (* 2.0 (/ x y)))) y) (+ y x))))))
double code(double x, double y) {
double t_0 = y / (y + x);
double tmp;
if (y <= 5e-294) {
tmp = (t_0 * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.55e+136) {
tmp = t_0 * (x / ((y + x) * (x + (y + 1.0))));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + 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 = y / (y + x)
if (y <= 5d-294) then
tmp = (t_0 * (x / (x + 1.0d0))) / (y + x)
else if (y <= 1.55d+136) then
tmp = t_0 * (x / ((y + x) * (x + (y + 1.0d0))))
else
tmp = ((x - (x * (2.0d0 * (x / y)))) / y) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = y / (y + x);
double tmp;
if (y <= 5e-294) {
tmp = (t_0 * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.55e+136) {
tmp = t_0 * (x / ((y + x) * (x + (y + 1.0))));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x);
}
return tmp;
}
def code(x, y): t_0 = y / (y + x) tmp = 0 if y <= 5e-294: tmp = (t_0 * (x / (x + 1.0))) / (y + x) elif y <= 1.55e+136: tmp = t_0 * (x / ((y + x) * (x + (y + 1.0)))) else: tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x) return tmp
function code(x, y) t_0 = Float64(y / Float64(y + x)) tmp = 0.0 if (y <= 5e-294) tmp = Float64(Float64(t_0 * Float64(x / Float64(x + 1.0))) / Float64(y + x)); elseif (y <= 1.55e+136) tmp = Float64(t_0 * Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0))))); else tmp = Float64(Float64(Float64(x - Float64(x * Float64(2.0 * Float64(x / y)))) / y) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) t_0 = y / (y + x); tmp = 0.0; if (y <= 5e-294) tmp = (t_0 * (x / (x + 1.0))) / (y + x); elseif (y <= 1.55e+136) tmp = t_0 * (x / ((y + x) * (x + (y + 1.0)))); else tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, 5e-294], N[(N[(t$95$0 * N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.55e+136], N[(t$95$0 * N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x - N[(x * N[(2.0 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{y}{y + x}\\
\mathbf{if}\;y \leq 5 \cdot 10^{-294}:\\
\;\;\;\;\frac{t\_0 \cdot \frac{x}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 1.55 \cdot 10^{+136}:\\
\;\;\;\;t\_0 \cdot \frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x - x \cdot \left(2 \cdot \frac{x}{y}\right)}{y}}{y + x}\\
\end{array}
\end{array}
if y < 5.0000000000000003e-294Initial program 61.8%
+-commutative61.8%
+-commutative61.8%
+-commutative61.8%
*-commutative61.8%
distribute-rgt1-in48.7%
fma-define61.8%
+-commutative61.8%
+-commutative61.8%
cube-unmult61.8%
+-commutative61.8%
Simplified61.8%
*-commutative61.8%
fma-define48.7%
cube-mult48.7%
distribute-rgt1-in61.8%
*-commutative61.8%
associate-*l*61.8%
times-frac89.2%
associate-+r+89.2%
Applied egg-rr89.2%
frac-times61.8%
*-commutative61.8%
*-un-lft-identity61.8%
frac-times66.6%
associate-*l/66.6%
*-un-lft-identity66.6%
associate-/l*89.2%
+-commutative89.2%
+-commutative89.2%
Applied egg-rr89.2%
associate-*r/66.6%
+-commutative66.6%
Applied egg-rr66.6%
*-commutative66.6%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around 0 82.9%
if 5.0000000000000003e-294 < y < 1.54999999999999992e136Initial program 72.1%
+-commutative72.1%
+-commutative72.1%
+-commutative72.1%
*-commutative72.1%
distribute-rgt1-in62.0%
fma-define72.2%
+-commutative72.2%
+-commutative72.2%
cube-unmult72.1%
+-commutative72.1%
Simplified72.1%
*-commutative72.1%
fma-define61.9%
cube-mult62.0%
distribute-rgt1-in72.1%
*-commutative72.1%
associate-*l*72.1%
times-frac99.8%
associate-+r+99.8%
Applied egg-rr99.8%
if 1.54999999999999992e136 < y Initial program 58.5%
+-commutative58.5%
+-commutative58.5%
+-commutative58.5%
*-commutative58.5%
distribute-rgt1-in58.5%
fma-define58.5%
+-commutative58.5%
+-commutative58.5%
cube-unmult58.5%
+-commutative58.5%
Simplified58.5%
*-commutative58.5%
fma-define58.5%
cube-mult58.5%
distribute-rgt1-in58.5%
*-commutative58.5%
associate-*l*58.5%
times-frac85.3%
associate-+r+85.3%
Applied egg-rr85.3%
frac-times58.5%
*-commutative58.5%
*-un-lft-identity58.5%
frac-times64.5%
associate-*l/64.5%
*-un-lft-identity64.5%
associate-/l*85.3%
+-commutative85.3%
+-commutative85.3%
Applied egg-rr85.3%
Taylor expanded in y around inf 74.6%
mul-1-neg74.6%
unsub-neg74.6%
associate-/l*90.6%
*-commutative90.6%
Simplified90.6%
Taylor expanded in x around inf 90.6%
Final simplification89.7%
(FPCore (x y)
:precision binary64
(if (<= y -8.6e+27)
(/ (/ 1.0 (+ y x)) (/ x y))
(if (<= y 4.4e+129)
(* (/ y (* (+ y x) (+ x (+ y 1.0)))) (/ x (+ y x)))
(/ (/ (- x (* x (* 2.0 (/ x y)))) y) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= -8.6e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.4e+129) {
tmp = (y / ((y + x) * (x + (y + 1.0)))) * (x / (y + x));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-8.6d+27)) then
tmp = (1.0d0 / (y + x)) / (x / y)
else if (y <= 4.4d+129) then
tmp = (y / ((y + x) * (x + (y + 1.0d0)))) * (x / (y + x))
else
tmp = ((x - (x * (2.0d0 * (x / y)))) / y) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -8.6e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.4e+129) {
tmp = (y / ((y + x) * (x + (y + 1.0)))) * (x / (y + x));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -8.6e+27: tmp = (1.0 / (y + x)) / (x / y) elif y <= 4.4e+129: tmp = (y / ((y + x) * (x + (y + 1.0)))) * (x / (y + x)) else: tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= -8.6e+27) tmp = Float64(Float64(1.0 / Float64(y + x)) / Float64(x / y)); elseif (y <= 4.4e+129) tmp = Float64(Float64(y / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))) * Float64(x / Float64(y + x))); else tmp = Float64(Float64(Float64(x - Float64(x * Float64(2.0 * Float64(x / y)))) / y) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -8.6e+27) tmp = (1.0 / (y + x)) / (x / y); elseif (y <= 4.4e+129) tmp = (y / ((y + x) * (x + (y + 1.0)))) * (x / (y + x)); else tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -8.6e+27], N[(N[(1.0 / N[(y + x), $MachinePrecision]), $MachinePrecision] / N[(x / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4.4e+129], N[(N[(y / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(x / N[(y + x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x - N[(x * N[(2.0 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.6 \cdot 10^{+27}:\\
\;\;\;\;\frac{\frac{1}{y + x}}{\frac{x}{y}}\\
\mathbf{elif}\;y \leq 4.4 \cdot 10^{+129}:\\
\;\;\;\;\frac{y}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)} \cdot \frac{x}{y + x}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x - x \cdot \left(2 \cdot \frac{x}{y}\right)}{y}}{y + x}\\
\end{array}
\end{array}
if y < -8.60000000000000017e27Initial program 44.4%
+-commutative44.4%
+-commutative44.4%
+-commutative44.4%
*-commutative44.4%
distribute-rgt1-in22.7%
fma-define44.4%
+-commutative44.4%
+-commutative44.4%
cube-unmult44.4%
+-commutative44.4%
Simplified44.4%
*-commutative44.4%
fma-define22.7%
cube-mult22.7%
distribute-rgt1-in44.4%
*-commutative44.4%
associate-*l*44.4%
times-frac71.0%
associate-+r+71.0%
Applied egg-rr71.0%
frac-times44.4%
*-commutative44.4%
*-un-lft-identity44.4%
frac-times49.9%
clear-num49.9%
frac-times49.9%
metadata-eval49.9%
+-commutative49.9%
*-commutative49.9%
times-frac98.4%
+-commutative98.4%
Applied egg-rr98.4%
associate-/r*99.8%
Simplified99.8%
Taylor expanded in x around inf 33.4%
if -8.60000000000000017e27 < y < 4.3999999999999999e129Initial program 71.9%
+-commutative71.9%
+-commutative71.9%
+-commutative71.9%
*-commutative71.9%
distribute-rgt1-in62.7%
fma-define71.9%
+-commutative71.9%
+-commutative71.9%
cube-unmult71.9%
+-commutative71.9%
Simplified71.9%
fma-define62.7%
cube-mult62.7%
distribute-rgt1-in71.9%
*-commutative71.9%
associate-*l*71.9%
times-frac99.8%
associate-+r+99.8%
Applied egg-rr99.8%
if 4.3999999999999999e129 < y Initial program 59.8%
+-commutative59.8%
+-commutative59.8%
+-commutative59.8%
*-commutative59.8%
distribute-rgt1-in59.8%
fma-define59.8%
+-commutative59.8%
+-commutative59.8%
cube-unmult59.8%
+-commutative59.8%
Simplified59.8%
*-commutative59.8%
fma-define59.8%
cube-mult59.8%
distribute-rgt1-in59.8%
*-commutative59.8%
associate-*l*59.8%
times-frac85.8%
associate-+r+85.8%
Applied egg-rr85.8%
frac-times59.8%
*-commutative59.8%
*-un-lft-identity59.8%
frac-times65.6%
associate-*l/65.6%
*-un-lft-identity65.6%
associate-/l*85.8%
+-commutative85.8%
+-commutative85.8%
Applied egg-rr85.8%
Taylor expanded in y around inf 75.4%
mul-1-neg75.4%
unsub-neg75.4%
associate-/l*90.9%
*-commutative90.9%
Simplified90.9%
Taylor expanded in x around inf 90.9%
Final simplification85.7%
(FPCore (x y)
:precision binary64
(if (<= y 4.3e-17)
(/ (* (/ y (+ y x)) (/ x (+ x 1.0))) (+ y x))
(if (<= y 1.7e+94)
(* x (/ y (* (+ x (+ y 1.0)) (* (+ y x) (+ y x)))))
(/ (/ (- x (* x (* 2.0 (/ x y)))) y) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= 4.3e-17) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.7e+94) {
tmp = x * (y / ((x + (y + 1.0)) * ((y + x) * (y + x))));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + 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.3d-17) then
tmp = ((y / (y + x)) * (x / (x + 1.0d0))) / (y + x)
else if (y <= 1.7d+94) then
tmp = x * (y / ((x + (y + 1.0d0)) * ((y + x) * (y + x))))
else
tmp = ((x - (x * (2.0d0 * (x / y)))) / y) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4.3e-17) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.7e+94) {
tmp = x * (y / ((x + (y + 1.0)) * ((y + x) * (y + x))));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4.3e-17: tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x) elif y <= 1.7e+94: tmp = x * (y / ((x + (y + 1.0)) * ((y + x) * (y + x)))) else: tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 4.3e-17) tmp = Float64(Float64(Float64(y / Float64(y + x)) * Float64(x / Float64(x + 1.0))) / Float64(y + x)); elseif (y <= 1.7e+94) tmp = Float64(x * Float64(y / Float64(Float64(x + Float64(y + 1.0)) * Float64(Float64(y + x) * Float64(y + x))))); else tmp = Float64(Float64(Float64(x - Float64(x * Float64(2.0 * Float64(x / y)))) / y) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4.3e-17) tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x); elseif (y <= 1.7e+94) tmp = x * (y / ((x + (y + 1.0)) * ((y + x) * (y + x)))); else tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4.3e-17], N[(N[(N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision] * N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.7e+94], N[(x * N[(y / N[(N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision] * N[(N[(y + x), $MachinePrecision] * N[(y + x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x - N[(x * N[(2.0 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4.3 \cdot 10^{-17}:\\
\;\;\;\;\frac{\frac{y}{y + x} \cdot \frac{x}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 1.7 \cdot 10^{+94}:\\
\;\;\;\;x \cdot \frac{y}{\left(x + \left(y + 1\right)\right) \cdot \left(\left(y + x\right) \cdot \left(y + x\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x - x \cdot \left(2 \cdot \frac{x}{y}\right)}{y}}{y + x}\\
\end{array}
\end{array}
if y < 4.30000000000000023e-17Initial program 64.6%
+-commutative64.6%
+-commutative64.6%
+-commutative64.6%
*-commutative64.6%
distribute-rgt1-in52.2%
fma-define64.6%
+-commutative64.6%
+-commutative64.6%
cube-unmult64.6%
+-commutative64.6%
Simplified64.6%
*-commutative64.6%
fma-define52.2%
cube-mult52.2%
distribute-rgt1-in64.6%
*-commutative64.6%
associate-*l*64.6%
times-frac92.3%
associate-+r+92.3%
Applied egg-rr92.3%
frac-times64.6%
*-commutative64.6%
*-un-lft-identity64.6%
frac-times68.1%
associate-*l/68.1%
*-un-lft-identity68.1%
associate-/l*92.3%
+-commutative92.3%
+-commutative92.3%
Applied egg-rr92.3%
associate-*r/68.1%
+-commutative68.1%
Applied egg-rr68.1%
*-commutative68.1%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around 0 87.8%
if 4.30000000000000023e-17 < y < 1.7000000000000001e94Initial program 90.5%
associate-/l*95.1%
associate-+l+95.1%
Simplified95.1%
if 1.7000000000000001e94 < y Initial program 54.5%
+-commutative54.5%
+-commutative54.5%
+-commutative54.5%
*-commutative54.5%
distribute-rgt1-in54.5%
fma-define54.5%
+-commutative54.5%
+-commutative54.5%
cube-unmult54.5%
+-commutative54.5%
Simplified54.5%
*-commutative54.5%
fma-define54.5%
cube-mult54.5%
distribute-rgt1-in54.5%
*-commutative54.5%
associate-*l*54.5%
times-frac89.3%
associate-+r+89.3%
Applied egg-rr89.3%
frac-times54.5%
*-commutative54.5%
*-un-lft-identity54.5%
frac-times71.9%
associate-*l/71.9%
*-un-lft-identity71.9%
associate-/l*89.3%
+-commutative89.3%
+-commutative89.3%
Applied egg-rr89.3%
Taylor expanded in y around inf 70.8%
mul-1-neg70.8%
unsub-neg70.8%
associate-/l*82.4%
*-commutative82.4%
Simplified82.4%
Taylor expanded in x around inf 82.4%
Final simplification87.5%
(FPCore (x y)
:precision binary64
(if (<= y -8.5e+27)
(/ (/ 1.0 (+ y x)) (/ x y))
(if (<= y 1.05e-32)
(* (/ x (+ y x)) (/ y (* (+ y x) (+ x 1.0))))
(if (<= y 1.2e+150)
(/ x (* (+ y x) (+ x (+ y 1.0))))
(/ (/ x (+ y (+ x 1.0))) (+ y x))))))
double code(double x, double y) {
double tmp;
if (y <= -8.5e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 1.05e-32) {
tmp = (x / (y + x)) * (y / ((y + x) * (x + 1.0)));
} else if (y <= 1.2e+150) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + x);
}
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+27)) then
tmp = (1.0d0 / (y + x)) / (x / y)
else if (y <= 1.05d-32) then
tmp = (x / (y + x)) * (y / ((y + x) * (x + 1.0d0)))
else if (y <= 1.2d+150) then
tmp = x / ((y + x) * (x + (y + 1.0d0)))
else
tmp = (x / (y + (x + 1.0d0))) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -8.5e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 1.05e-32) {
tmp = (x / (y + x)) * (y / ((y + x) * (x + 1.0)));
} else if (y <= 1.2e+150) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -8.5e+27: tmp = (1.0 / (y + x)) / (x / y) elif y <= 1.05e-32: tmp = (x / (y + x)) * (y / ((y + x) * (x + 1.0))) elif y <= 1.2e+150: tmp = x / ((y + x) * (x + (y + 1.0))) else: tmp = (x / (y + (x + 1.0))) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= -8.5e+27) tmp = Float64(Float64(1.0 / Float64(y + x)) / Float64(x / y)); elseif (y <= 1.05e-32) tmp = Float64(Float64(x / Float64(y + x)) * Float64(y / Float64(Float64(y + x) * Float64(x + 1.0)))); elseif (y <= 1.2e+150) tmp = Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))); else tmp = Float64(Float64(x / Float64(y + Float64(x + 1.0))) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -8.5e+27) tmp = (1.0 / (y + x)) / (x / y); elseif (y <= 1.05e-32) tmp = (x / (y + x)) * (y / ((y + x) * (x + 1.0))); elseif (y <= 1.2e+150) tmp = x / ((y + x) * (x + (y + 1.0))); else tmp = (x / (y + (x + 1.0))) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -8.5e+27], N[(N[(1.0 / N[(y + x), $MachinePrecision]), $MachinePrecision] / N[(x / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.05e-32], N[(N[(x / N[(y + x), $MachinePrecision]), $MachinePrecision] * N[(y / N[(N[(y + x), $MachinePrecision] * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.2e+150], N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -8.5 \cdot 10^{+27}:\\
\;\;\;\;\frac{\frac{1}{y + x}}{\frac{x}{y}}\\
\mathbf{elif}\;y \leq 1.05 \cdot 10^{-32}:\\
\;\;\;\;\frac{x}{y + x} \cdot \frac{y}{\left(y + x\right) \cdot \left(x + 1\right)}\\
\mathbf{elif}\;y \leq 1.2 \cdot 10^{+150}:\\
\;\;\;\;\frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + \left(x + 1\right)}}{y + x}\\
\end{array}
\end{array}
if y < -8.5e27Initial program 44.4%
+-commutative44.4%
+-commutative44.4%
+-commutative44.4%
*-commutative44.4%
distribute-rgt1-in22.7%
fma-define44.4%
+-commutative44.4%
+-commutative44.4%
cube-unmult44.4%
+-commutative44.4%
Simplified44.4%
*-commutative44.4%
fma-define22.7%
cube-mult22.7%
distribute-rgt1-in44.4%
*-commutative44.4%
associate-*l*44.4%
times-frac71.0%
associate-+r+71.0%
Applied egg-rr71.0%
frac-times44.4%
*-commutative44.4%
*-un-lft-identity44.4%
frac-times49.9%
clear-num49.9%
frac-times49.9%
metadata-eval49.9%
+-commutative49.9%
*-commutative49.9%
times-frac98.4%
+-commutative98.4%
Applied egg-rr98.4%
associate-/r*99.8%
Simplified99.8%
Taylor expanded in x around inf 33.4%
if -8.5e27 < y < 1.05e-32Initial program 71.7%
Taylor expanded in x around inf 70.3%
associate-*l*70.3%
times-frac98.5%
+-commutative98.5%
+-commutative98.5%
Applied egg-rr98.5%
if 1.05e-32 < y < 1.20000000000000001e150Initial program 73.2%
+-commutative73.2%
+-commutative73.2%
+-commutative73.2%
*-commutative73.2%
distribute-rgt1-in64.9%
fma-define73.3%
+-commutative73.3%
+-commutative73.3%
cube-unmult73.2%
+-commutative73.2%
Simplified73.2%
*-commutative73.2%
fma-define64.8%
cube-mult64.9%
distribute-rgt1-in73.2%
*-commutative73.2%
associate-*l*73.2%
times-frac99.8%
associate-+r+99.8%
Applied egg-rr99.8%
Taylor expanded in y around inf 77.1%
if 1.20000000000000001e150 < y Initial program 57.4%
+-commutative57.4%
+-commutative57.4%
+-commutative57.4%
*-commutative57.4%
distribute-rgt1-in57.4%
fma-define57.4%
+-commutative57.4%
+-commutative57.4%
cube-unmult57.4%
+-commutative57.4%
Simplified57.4%
*-commutative57.4%
fma-define57.4%
cube-mult57.4%
distribute-rgt1-in57.4%
*-commutative57.4%
associate-*l*57.4%
times-frac83.7%
associate-+r+83.7%
Applied egg-rr83.7%
frac-times57.4%
*-commutative57.4%
*-un-lft-identity57.4%
frac-times60.7%
associate-*l/60.7%
*-un-lft-identity60.7%
associate-/l*83.7%
+-commutative83.7%
+-commutative83.7%
Applied egg-rr83.7%
associate-*r/60.7%
+-commutative60.7%
Applied egg-rr60.7%
*-commutative60.7%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around inf 89.2%
Final simplification81.7%
(FPCore (x y)
:precision binary64
(if (<= y 1.05e-32)
(/ (* (/ y (+ y x)) (/ x (+ x 1.0))) (+ y x))
(if (<= y 1.55e+136)
(/ x (* (+ y x) (+ x (+ y 1.0))))
(/ (/ (- x (* x (* 2.0 (/ x y)))) y) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= 1.05e-32) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.55e+136) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + 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.05d-32) then
tmp = ((y / (y + x)) * (x / (x + 1.0d0))) / (y + x)
else if (y <= 1.55d+136) then
tmp = x / ((y + x) * (x + (y + 1.0d0)))
else
tmp = ((x - (x * (2.0d0 * (x / y)))) / y) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.05e-32) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.55e+136) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.05e-32: tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x) elif y <= 1.55e+136: tmp = x / ((y + x) * (x + (y + 1.0))) else: tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.05e-32) tmp = Float64(Float64(Float64(y / Float64(y + x)) * Float64(x / Float64(x + 1.0))) / Float64(y + x)); elseif (y <= 1.55e+136) tmp = Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))); else tmp = Float64(Float64(Float64(x - Float64(x * Float64(2.0 * Float64(x / y)))) / y) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.05e-32) tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x); elseif (y <= 1.55e+136) tmp = x / ((y + x) * (x + (y + 1.0))); else tmp = ((x - (x * (2.0 * (x / y)))) / y) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.05e-32], N[(N[(N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision] * N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.55e+136], N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x - N[(x * N[(2.0 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.05 \cdot 10^{-32}:\\
\;\;\;\;\frac{\frac{y}{y + x} \cdot \frac{x}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 1.55 \cdot 10^{+136}:\\
\;\;\;\;\frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x - x \cdot \left(2 \cdot \frac{x}{y}\right)}{y}}{y + x}\\
\end{array}
\end{array}
if y < 1.05e-32Initial program 64.6%
+-commutative64.6%
+-commutative64.6%
+-commutative64.6%
*-commutative64.6%
distribute-rgt1-in52.2%
fma-define64.6%
+-commutative64.6%
+-commutative64.6%
cube-unmult64.6%
+-commutative64.6%
Simplified64.6%
*-commutative64.6%
fma-define52.2%
cube-mult52.2%
distribute-rgt1-in64.6%
*-commutative64.6%
associate-*l*64.6%
times-frac92.3%
associate-+r+92.3%
Applied egg-rr92.3%
frac-times64.6%
*-commutative64.6%
*-un-lft-identity64.6%
frac-times68.1%
associate-*l/68.1%
*-un-lft-identity68.1%
associate-/l*92.3%
+-commutative92.3%
+-commutative92.3%
Applied egg-rr92.3%
associate-*r/68.1%
+-commutative68.1%
Applied egg-rr68.1%
*-commutative68.1%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around 0 87.8%
if 1.05e-32 < y < 1.54999999999999992e136Initial program 73.6%
+-commutative73.6%
+-commutative73.6%
+-commutative73.6%
*-commutative73.6%
distribute-rgt1-in64.6%
fma-define73.7%
+-commutative73.7%
+-commutative73.7%
cube-unmult73.6%
+-commutative73.6%
Simplified73.6%
*-commutative73.6%
fma-define64.4%
cube-mult64.6%
distribute-rgt1-in73.6%
*-commutative73.6%
associate-*l*73.6%
times-frac99.8%
associate-+r+99.8%
Applied egg-rr99.8%
Taylor expanded in y around inf 75.0%
if 1.54999999999999992e136 < y Initial program 58.5%
+-commutative58.5%
+-commutative58.5%
+-commutative58.5%
*-commutative58.5%
distribute-rgt1-in58.5%
fma-define58.5%
+-commutative58.5%
+-commutative58.5%
cube-unmult58.5%
+-commutative58.5%
Simplified58.5%
*-commutative58.5%
fma-define58.5%
cube-mult58.5%
distribute-rgt1-in58.5%
*-commutative58.5%
associate-*l*58.5%
times-frac85.3%
associate-+r+85.3%
Applied egg-rr85.3%
frac-times58.5%
*-commutative58.5%
*-un-lft-identity58.5%
frac-times64.5%
associate-*l/64.5%
*-un-lft-identity64.5%
associate-/l*85.3%
+-commutative85.3%
+-commutative85.3%
Applied egg-rr85.3%
Taylor expanded in y around inf 74.6%
mul-1-neg74.6%
unsub-neg74.6%
associate-/l*90.6%
*-commutative90.6%
Simplified90.6%
Taylor expanded in x around inf 90.6%
Final simplification86.5%
(FPCore (x y)
:precision binary64
(if (<= y 1.05e-32)
(/ (* (/ y (+ y x)) (/ x (+ x 1.0))) (+ y x))
(if (<= y 1.26e+150)
(/ x (* (+ y x) (+ x (+ y 1.0))))
(/ (/ x (+ y (+ x 1.0))) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= 1.05e-32) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.26e+150) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + 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.05d-32) then
tmp = ((y / (y + x)) * (x / (x + 1.0d0))) / (y + x)
else if (y <= 1.26d+150) then
tmp = x / ((y + x) * (x + (y + 1.0d0)))
else
tmp = (x / (y + (x + 1.0d0))) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.05e-32) {
tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x);
} else if (y <= 1.26e+150) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.05e-32: tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x) elif y <= 1.26e+150: tmp = x / ((y + x) * (x + (y + 1.0))) else: tmp = (x / (y + (x + 1.0))) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.05e-32) tmp = Float64(Float64(Float64(y / Float64(y + x)) * Float64(x / Float64(x + 1.0))) / Float64(y + x)); elseif (y <= 1.26e+150) tmp = Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))); else tmp = Float64(Float64(x / Float64(y + Float64(x + 1.0))) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.05e-32) tmp = ((y / (y + x)) * (x / (x + 1.0))) / (y + x); elseif (y <= 1.26e+150) tmp = x / ((y + x) * (x + (y + 1.0))); else tmp = (x / (y + (x + 1.0))) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.05e-32], N[(N[(N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision] * N[(x / N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.26e+150], N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.05 \cdot 10^{-32}:\\
\;\;\;\;\frac{\frac{y}{y + x} \cdot \frac{x}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 1.26 \cdot 10^{+150}:\\
\;\;\;\;\frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + \left(x + 1\right)}}{y + x}\\
\end{array}
\end{array}
if y < 1.05e-32Initial program 64.6%
+-commutative64.6%
+-commutative64.6%
+-commutative64.6%
*-commutative64.6%
distribute-rgt1-in52.2%
fma-define64.6%
+-commutative64.6%
+-commutative64.6%
cube-unmult64.6%
+-commutative64.6%
Simplified64.6%
*-commutative64.6%
fma-define52.2%
cube-mult52.2%
distribute-rgt1-in64.6%
*-commutative64.6%
associate-*l*64.6%
times-frac92.3%
associate-+r+92.3%
Applied egg-rr92.3%
frac-times64.6%
*-commutative64.6%
*-un-lft-identity64.6%
frac-times68.1%
associate-*l/68.1%
*-un-lft-identity68.1%
associate-/l*92.3%
+-commutative92.3%
+-commutative92.3%
Applied egg-rr92.3%
associate-*r/68.1%
+-commutative68.1%
Applied egg-rr68.1%
*-commutative68.1%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around 0 87.8%
if 1.05e-32 < y < 1.26e150Initial program 73.2%
+-commutative73.2%
+-commutative73.2%
+-commutative73.2%
*-commutative73.2%
distribute-rgt1-in64.9%
fma-define73.3%
+-commutative73.3%
+-commutative73.3%
cube-unmult73.2%
+-commutative73.2%
Simplified73.2%
*-commutative73.2%
fma-define64.8%
cube-mult64.9%
distribute-rgt1-in73.2%
*-commutative73.2%
associate-*l*73.2%
times-frac99.8%
associate-+r+99.8%
Applied egg-rr99.8%
Taylor expanded in y around inf 77.1%
if 1.26e150 < y Initial program 57.4%
+-commutative57.4%
+-commutative57.4%
+-commutative57.4%
*-commutative57.4%
distribute-rgt1-in57.4%
fma-define57.4%
+-commutative57.4%
+-commutative57.4%
cube-unmult57.4%
+-commutative57.4%
Simplified57.4%
*-commutative57.4%
fma-define57.4%
cube-mult57.4%
distribute-rgt1-in57.4%
*-commutative57.4%
associate-*l*57.4%
times-frac83.7%
associate-+r+83.7%
Applied egg-rr83.7%
frac-times57.4%
*-commutative57.4%
*-un-lft-identity57.4%
frac-times60.7%
associate-*l/60.7%
*-un-lft-identity60.7%
associate-/l*83.7%
+-commutative83.7%
+-commutative83.7%
Applied egg-rr83.7%
associate-*r/60.7%
+-commutative60.7%
Applied egg-rr60.7%
*-commutative60.7%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around inf 89.2%
Final simplification86.5%
(FPCore (x y)
:precision binary64
(if (<= y 1.75e-162)
(/ (/ y (+ x 1.0)) (+ y x))
(if (<= y 3.1e+149)
(/ x (* (+ y x) (+ x (+ y 1.0))))
(/ (/ x (+ y (+ x 1.0))) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= 1.75e-162) {
tmp = (y / (x + 1.0)) / (y + x);
} else if (y <= 3.1e+149) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + 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.75d-162) then
tmp = (y / (x + 1.0d0)) / (y + x)
else if (y <= 3.1d+149) then
tmp = x / ((y + x) * (x + (y + 1.0d0)))
else
tmp = (x / (y + (x + 1.0d0))) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.75e-162) {
tmp = (y / (x + 1.0)) / (y + x);
} else if (y <= 3.1e+149) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + (x + 1.0))) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.75e-162: tmp = (y / (x + 1.0)) / (y + x) elif y <= 3.1e+149: tmp = x / ((y + x) * (x + (y + 1.0))) else: tmp = (x / (y + (x + 1.0))) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.75e-162) tmp = Float64(Float64(y / Float64(x + 1.0)) / Float64(y + x)); elseif (y <= 3.1e+149) tmp = Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))); else tmp = Float64(Float64(x / Float64(y + Float64(x + 1.0))) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.75e-162) tmp = (y / (x + 1.0)) / (y + x); elseif (y <= 3.1e+149) tmp = x / ((y + x) * (x + (y + 1.0))); else tmp = (x / (y + (x + 1.0))) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.75e-162], N[(N[(y / N[(x + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 3.1e+149], N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.75 \cdot 10^{-162}:\\
\;\;\;\;\frac{\frac{y}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 3.1 \cdot 10^{+149}:\\
\;\;\;\;\frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + \left(x + 1\right)}}{y + x}\\
\end{array}
\end{array}
if y < 1.74999999999999995e-162Initial program 62.8%
+-commutative62.8%
+-commutative62.8%
+-commutative62.8%
*-commutative62.8%
distribute-rgt1-in50.5%
fma-define62.8%
+-commutative62.8%
+-commutative62.8%
cube-unmult62.8%
+-commutative62.8%
Simplified62.8%
*-commutative62.8%
fma-define50.5%
cube-mult50.5%
distribute-rgt1-in62.8%
*-commutative62.8%
associate-*l*62.8%
times-frac91.0%
associate-+r+91.0%
Applied egg-rr91.0%
frac-times62.8%
*-commutative62.8%
*-un-lft-identity62.8%
frac-times66.9%
associate-*l/66.9%
*-un-lft-identity66.9%
associate-/l*90.9%
+-commutative90.9%
+-commutative90.9%
Applied egg-rr90.9%
Taylor expanded in y around 0 63.7%
+-commutative63.7%
Simplified63.7%
if 1.74999999999999995e-162 < y < 3.09999999999999987e149Initial program 73.7%
+-commutative73.7%
+-commutative73.7%
+-commutative73.7%
*-commutative73.7%
distribute-rgt1-in63.1%
fma-define73.8%
+-commutative73.8%
+-commutative73.8%
cube-unmult73.6%
+-commutative73.6%
Simplified73.6%
*-commutative73.6%
fma-define63.0%
cube-mult63.1%
distribute-rgt1-in73.7%
*-commutative73.7%
associate-*l*73.7%
times-frac99.7%
associate-+r+99.7%
Applied egg-rr99.7%
Taylor expanded in y around inf 68.9%
if 3.09999999999999987e149 < y Initial program 57.4%
+-commutative57.4%
+-commutative57.4%
+-commutative57.4%
*-commutative57.4%
distribute-rgt1-in57.4%
fma-define57.4%
+-commutative57.4%
+-commutative57.4%
cube-unmult57.4%
+-commutative57.4%
Simplified57.4%
*-commutative57.4%
fma-define57.4%
cube-mult57.4%
distribute-rgt1-in57.4%
*-commutative57.4%
associate-*l*57.4%
times-frac83.7%
associate-+r+83.7%
Applied egg-rr83.7%
frac-times57.4%
*-commutative57.4%
*-un-lft-identity57.4%
frac-times60.7%
associate-*l/60.7%
*-un-lft-identity60.7%
associate-/l*83.7%
+-commutative83.7%
+-commutative83.7%
Applied egg-rr83.7%
associate-*r/60.7%
+-commutative60.7%
Applied egg-rr60.7%
*-commutative60.7%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in y around inf 89.2%
Final simplification67.8%
(FPCore (x y)
:precision binary64
(if (<= y 5.2e-161)
(/ (/ y (+ x 1.0)) (+ y x))
(if (<= y 1.55e+136)
(/ x (* (+ y x) (+ x (+ y 1.0))))
(/ (/ x (+ y 1.0)) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= 5.2e-161) {
tmp = (y / (x + 1.0)) / (y + x);
} else if (y <= 1.55e+136) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + 1.0)) / (y + x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 5.2d-161) then
tmp = (y / (x + 1.0d0)) / (y + x)
else if (y <= 1.55d+136) then
tmp = x / ((y + x) * (x + (y + 1.0d0)))
else
tmp = (x / (y + 1.0d0)) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 5.2e-161) {
tmp = (y / (x + 1.0)) / (y + x);
} else if (y <= 1.55e+136) {
tmp = x / ((y + x) * (x + (y + 1.0)));
} else {
tmp = (x / (y + 1.0)) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 5.2e-161: tmp = (y / (x + 1.0)) / (y + x) elif y <= 1.55e+136: tmp = x / ((y + x) * (x + (y + 1.0))) else: tmp = (x / (y + 1.0)) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 5.2e-161) tmp = Float64(Float64(y / Float64(x + 1.0)) / Float64(y + x)); elseif (y <= 1.55e+136) tmp = Float64(x / Float64(Float64(y + x) * Float64(x + Float64(y + 1.0)))); else tmp = Float64(Float64(x / Float64(y + 1.0)) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 5.2e-161) tmp = (y / (x + 1.0)) / (y + x); elseif (y <= 1.55e+136) tmp = x / ((y + x) * (x + (y + 1.0))); else tmp = (x / (y + 1.0)) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 5.2e-161], N[(N[(y / N[(x + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1.55e+136], N[(x / N[(N[(y + x), $MachinePrecision] * N[(x + N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 5.2 \cdot 10^{-161}:\\
\;\;\;\;\frac{\frac{y}{x + 1}}{y + x}\\
\mathbf{elif}\;y \leq 1.55 \cdot 10^{+136}:\\
\;\;\;\;\frac{x}{\left(y + x\right) \cdot \left(x + \left(y + 1\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y + x}\\
\end{array}
\end{array}
if y < 5.19999999999999991e-161Initial program 62.8%
+-commutative62.8%
+-commutative62.8%
+-commutative62.8%
*-commutative62.8%
distribute-rgt1-in50.5%
fma-define62.8%
+-commutative62.8%
+-commutative62.8%
cube-unmult62.8%
+-commutative62.8%
Simplified62.8%
*-commutative62.8%
fma-define50.5%
cube-mult50.5%
distribute-rgt1-in62.8%
*-commutative62.8%
associate-*l*62.8%
times-frac91.0%
associate-+r+91.0%
Applied egg-rr91.0%
frac-times62.8%
*-commutative62.8%
*-un-lft-identity62.8%
frac-times66.9%
associate-*l/66.9%
*-un-lft-identity66.9%
associate-/l*90.9%
+-commutative90.9%
+-commutative90.9%
Applied egg-rr90.9%
Taylor expanded in y around 0 63.7%
+-commutative63.7%
Simplified63.7%
if 5.19999999999999991e-161 < y < 1.54999999999999992e136Initial program 73.9%
+-commutative73.9%
+-commutative73.9%
+-commutative73.9%
*-commutative73.9%
distribute-rgt1-in62.9%
fma-define74.0%
+-commutative74.0%
+-commutative74.0%
cube-unmult73.9%
+-commutative73.9%
Simplified73.9%
*-commutative73.9%
fma-define62.7%
cube-mult62.9%
distribute-rgt1-in73.9%
*-commutative73.9%
associate-*l*73.9%
times-frac99.7%
associate-+r+99.7%
Applied egg-rr99.7%
Taylor expanded in y around inf 67.4%
if 1.54999999999999992e136 < y Initial program 58.5%
+-commutative58.5%
+-commutative58.5%
+-commutative58.5%
*-commutative58.5%
distribute-rgt1-in58.5%
fma-define58.5%
+-commutative58.5%
+-commutative58.5%
cube-unmult58.5%
+-commutative58.5%
Simplified58.5%
*-commutative58.5%
fma-define58.5%
cube-mult58.5%
distribute-rgt1-in58.5%
*-commutative58.5%
associate-*l*58.5%
times-frac85.3%
associate-+r+85.3%
Applied egg-rr85.3%
frac-times58.5%
*-commutative58.5%
*-un-lft-identity58.5%
frac-times64.5%
associate-*l/64.5%
*-un-lft-identity64.5%
associate-/l*85.3%
+-commutative85.3%
+-commutative85.3%
Applied egg-rr85.3%
associate-*r/64.5%
+-commutative64.5%
Applied egg-rr64.5%
*-commutative64.5%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in x around 0 89.8%
+-commutative89.8%
Simplified89.8%
Final simplification67.8%
(FPCore (x y) :precision binary64 (if (<= y -7.8e+27) (/ (/ 1.0 (+ y x)) (/ x y)) (if (<= y 4.8e-137) (/ y (* x (+ x 1.0))) (/ (/ x (+ y 1.0)) (+ y x)))))
double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / (y + x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= (-7.8d+27)) then
tmp = (1.0d0 / (y + x)) / (x / y)
else if (y <= 4.8d-137) then
tmp = y / (x * (x + 1.0d0))
else
tmp = (x / (y + 1.0d0)) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -7.8e+27: tmp = (1.0 / (y + x)) / (x / y) elif y <= 4.8e-137: tmp = y / (x * (x + 1.0)) else: tmp = (x / (y + 1.0)) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= -7.8e+27) tmp = Float64(Float64(1.0 / Float64(y + x)) / Float64(x / y)); elseif (y <= 4.8e-137) tmp = Float64(y / Float64(x * Float64(x + 1.0))); else tmp = Float64(Float64(x / Float64(y + 1.0)) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -7.8e+27) tmp = (1.0 / (y + x)) / (x / y); elseif (y <= 4.8e-137) tmp = y / (x * (x + 1.0)); else tmp = (x / (y + 1.0)) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -7.8e+27], N[(N[(1.0 / N[(y + x), $MachinePrecision]), $MachinePrecision] / N[(x / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4.8e-137], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.8 \cdot 10^{+27}:\\
\;\;\;\;\frac{\frac{1}{y + x}}{\frac{x}{y}}\\
\mathbf{elif}\;y \leq 4.8 \cdot 10^{-137}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y + x}\\
\end{array}
\end{array}
if y < -7.7999999999999997e27Initial program 44.4%
+-commutative44.4%
+-commutative44.4%
+-commutative44.4%
*-commutative44.4%
distribute-rgt1-in22.7%
fma-define44.4%
+-commutative44.4%
+-commutative44.4%
cube-unmult44.4%
+-commutative44.4%
Simplified44.4%
*-commutative44.4%
fma-define22.7%
cube-mult22.7%
distribute-rgt1-in44.4%
*-commutative44.4%
associate-*l*44.4%
times-frac71.0%
associate-+r+71.0%
Applied egg-rr71.0%
frac-times44.4%
*-commutative44.4%
*-un-lft-identity44.4%
frac-times49.9%
clear-num49.9%
frac-times49.9%
metadata-eval49.9%
+-commutative49.9%
*-commutative49.9%
times-frac98.4%
+-commutative98.4%
Applied egg-rr98.4%
associate-/r*99.8%
Simplified99.8%
Taylor expanded in x around inf 33.4%
if -7.7999999999999997e27 < y < 4.8000000000000001e-137Initial program 71.6%
associate-/l*83.3%
associate-+l+83.3%
Simplified83.3%
Taylor expanded in y around 0 77.6%
+-commutative77.6%
Simplified77.6%
if 4.8000000000000001e-137 < y Initial program 67.8%
+-commutative67.8%
+-commutative67.8%
+-commutative67.8%
*-commutative67.8%
distribute-rgt1-in62.2%
fma-define67.9%
+-commutative67.9%
+-commutative67.9%
cube-unmult67.8%
+-commutative67.8%
Simplified67.8%
*-commutative67.8%
fma-define62.1%
cube-mult62.2%
distribute-rgt1-in67.8%
*-commutative67.8%
associate-*l*67.8%
times-frac94.7%
associate-+r+94.7%
Applied egg-rr94.7%
frac-times67.8%
*-commutative67.8%
*-un-lft-identity67.8%
frac-times77.4%
associate-*l/77.4%
*-un-lft-identity77.4%
associate-/l*94.6%
+-commutative94.6%
+-commutative94.6%
Applied egg-rr94.6%
associate-*r/77.4%
+-commutative77.4%
Applied egg-rr77.4%
*-commutative77.4%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in x around 0 62.4%
+-commutative62.4%
Simplified62.4%
(FPCore (x y) :precision binary64 (if (<= y -7.8e+27) (/ (/ 1.0 (+ y x)) (/ x y)) (if (<= y 4.9e-138) (/ y (* x (+ x 1.0))) (/ (/ x (+ y 1.0)) y))))
double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.9e-138) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / 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.8d+27)) then
tmp = (1.0d0 / (y + x)) / (x / y)
else if (y <= 4.9d-138) then
tmp = y / (x * (x + 1.0d0))
else
tmp = (x / (y + 1.0d0)) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (1.0 / (y + x)) / (x / y);
} else if (y <= 4.9e-138) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -7.8e+27: tmp = (1.0 / (y + x)) / (x / y) elif y <= 4.9e-138: tmp = y / (x * (x + 1.0)) else: tmp = (x / (y + 1.0)) / y return tmp
function code(x, y) tmp = 0.0 if (y <= -7.8e+27) tmp = Float64(Float64(1.0 / Float64(y + x)) / Float64(x / y)); elseif (y <= 4.9e-138) tmp = Float64(y / Float64(x * Float64(x + 1.0))); else tmp = Float64(Float64(x / Float64(y + 1.0)) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -7.8e+27) tmp = (1.0 / (y + x)) / (x / y); elseif (y <= 4.9e-138) tmp = y / (x * (x + 1.0)); else tmp = (x / (y + 1.0)) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -7.8e+27], N[(N[(1.0 / N[(y + x), $MachinePrecision]), $MachinePrecision] / N[(x / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4.9e-138], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.8 \cdot 10^{+27}:\\
\;\;\;\;\frac{\frac{1}{y + x}}{\frac{x}{y}}\\
\mathbf{elif}\;y \leq 4.9 \cdot 10^{-138}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y}\\
\end{array}
\end{array}
if y < -7.7999999999999997e27Initial program 44.4%
+-commutative44.4%
+-commutative44.4%
+-commutative44.4%
*-commutative44.4%
distribute-rgt1-in22.7%
fma-define44.4%
+-commutative44.4%
+-commutative44.4%
cube-unmult44.4%
+-commutative44.4%
Simplified44.4%
*-commutative44.4%
fma-define22.7%
cube-mult22.7%
distribute-rgt1-in44.4%
*-commutative44.4%
associate-*l*44.4%
times-frac71.0%
associate-+r+71.0%
Applied egg-rr71.0%
frac-times44.4%
*-commutative44.4%
*-un-lft-identity44.4%
frac-times49.9%
clear-num49.9%
frac-times49.9%
metadata-eval49.9%
+-commutative49.9%
*-commutative49.9%
times-frac98.4%
+-commutative98.4%
Applied egg-rr98.4%
associate-/r*99.8%
Simplified99.8%
Taylor expanded in x around inf 33.4%
if -7.7999999999999997e27 < y < 4.90000000000000016e-138Initial program 71.6%
associate-/l*83.3%
associate-+l+83.3%
Simplified83.3%
Taylor expanded in y around 0 77.6%
+-commutative77.6%
Simplified77.6%
if 4.90000000000000016e-138 < y Initial program 67.8%
associate-/l*83.0%
associate-+l+83.0%
Simplified83.0%
Taylor expanded in x around 0 60.3%
*-un-lft-identity60.3%
+-commutative60.3%
times-frac61.7%
Applied egg-rr61.7%
associate-*l/61.8%
*-un-lft-identity61.8%
+-commutative61.8%
Applied egg-rr61.8%
Final simplification63.5%
(FPCore (x y) :precision binary64 (if (<= y -7.8e+27) (/ (/ y x) (+ y x)) (if (<= y 2.35e-138) (/ y (* x (+ x 1.0))) (/ (/ x (+ y 1.0)) y))))
double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (y / x) / (y + x);
} else if (y <= 2.35e-138) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / 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.8d+27)) then
tmp = (y / x) / (y + x)
else if (y <= 2.35d-138) then
tmp = y / (x * (x + 1.0d0))
else
tmp = (x / (y + 1.0d0)) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= -7.8e+27) {
tmp = (y / x) / (y + x);
} else if (y <= 2.35e-138) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= -7.8e+27: tmp = (y / x) / (y + x) elif y <= 2.35e-138: tmp = y / (x * (x + 1.0)) else: tmp = (x / (y + 1.0)) / y return tmp
function code(x, y) tmp = 0.0 if (y <= -7.8e+27) tmp = Float64(Float64(y / x) / Float64(y + x)); elseif (y <= 2.35e-138) tmp = Float64(y / Float64(x * Float64(x + 1.0))); else tmp = Float64(Float64(x / Float64(y + 1.0)) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= -7.8e+27) tmp = (y / x) / (y + x); elseif (y <= 2.35e-138) tmp = y / (x * (x + 1.0)); else tmp = (x / (y + 1.0)) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, -7.8e+27], N[(N[(y / x), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.35e-138], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -7.8 \cdot 10^{+27}:\\
\;\;\;\;\frac{\frac{y}{x}}{y + x}\\
\mathbf{elif}\;y \leq 2.35 \cdot 10^{-138}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y}\\
\end{array}
\end{array}
if y < -7.7999999999999997e27Initial program 44.4%
+-commutative44.4%
+-commutative44.4%
+-commutative44.4%
*-commutative44.4%
distribute-rgt1-in22.7%
fma-define44.4%
+-commutative44.4%
+-commutative44.4%
cube-unmult44.4%
+-commutative44.4%
Simplified44.4%
*-commutative44.4%
fma-define22.7%
cube-mult22.7%
distribute-rgt1-in44.4%
*-commutative44.4%
associate-*l*44.4%
times-frac71.0%
associate-+r+71.0%
Applied egg-rr71.0%
frac-times44.4%
*-commutative44.4%
*-un-lft-identity44.4%
frac-times49.9%
associate-*l/49.9%
*-un-lft-identity49.9%
associate-/l*71.0%
+-commutative71.0%
+-commutative71.0%
Applied egg-rr71.0%
associate-*r/49.9%
+-commutative49.9%
Applied egg-rr49.9%
*-commutative49.9%
times-frac99.7%
associate-+r+99.7%
Simplified99.7%
Taylor expanded in x around inf 33.2%
if -7.7999999999999997e27 < y < 2.3500000000000001e-138Initial program 71.6%
associate-/l*83.3%
associate-+l+83.3%
Simplified83.3%
Taylor expanded in y around 0 77.6%
+-commutative77.6%
Simplified77.6%
if 2.3500000000000001e-138 < y Initial program 67.8%
associate-/l*83.0%
associate-+l+83.0%
Simplified83.0%
Taylor expanded in x around 0 60.3%
*-un-lft-identity60.3%
+-commutative60.3%
times-frac61.7%
Applied egg-rr61.7%
associate-*l/61.8%
*-un-lft-identity61.8%
+-commutative61.8%
Applied egg-rr61.8%
Final simplification63.5%
(FPCore (x y) :precision binary64 (if (<= y 4.8e-137) (/ y (* x (+ x 1.0))) (if (<= y 5e+133) (/ x (* y (+ y 1.0))) (/ (/ x y) y))))
double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else if (y <= 5e+133) {
tmp = x / (y * (y + 1.0));
} else {
tmp = (x / y) / 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.8d-137) then
tmp = y / (x * (x + 1.0d0))
else if (y <= 5d+133) then
tmp = x / (y * (y + 1.0d0))
else
tmp = (x / y) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else if (y <= 5e+133) {
tmp = x / (y * (y + 1.0));
} else {
tmp = (x / y) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4.8e-137: tmp = y / (x * (x + 1.0)) elif y <= 5e+133: tmp = x / (y * (y + 1.0)) else: tmp = (x / y) / y return tmp
function code(x, y) tmp = 0.0 if (y <= 4.8e-137) tmp = Float64(y / Float64(x * Float64(x + 1.0))); elseif (y <= 5e+133) tmp = Float64(x / Float64(y * Float64(y + 1.0))); else tmp = Float64(Float64(x / y) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4.8e-137) tmp = y / (x * (x + 1.0)); elseif (y <= 5e+133) tmp = x / (y * (y + 1.0)); else tmp = (x / y) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4.8e-137], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5e+133], N[(x / N[(y * N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / y), $MachinePrecision] / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4.8 \cdot 10^{-137}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{elif}\;y \leq 5 \cdot 10^{+133}:\\
\;\;\;\;\frac{x}{y \cdot \left(y + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y}}{y}\\
\end{array}
\end{array}
if y < 4.8000000000000001e-137Initial program 63.5%
associate-/l*77.9%
associate-+l+77.9%
Simplified77.9%
Taylor expanded in y around 0 60.5%
+-commutative60.5%
Simplified60.5%
if 4.8000000000000001e-137 < y < 4.99999999999999961e133Initial program 72.9%
associate-/l*85.0%
associate-+l+85.0%
Simplified85.0%
Taylor expanded in x around 0 46.7%
if 4.99999999999999961e133 < y Initial program 58.5%
associate-/l*79.3%
associate-+l+79.3%
Simplified79.3%
Taylor expanded in x around 0 85.3%
*-un-lft-identity85.3%
+-commutative85.3%
times-frac89.7%
Applied egg-rr89.7%
associate-*l/89.7%
*-un-lft-identity89.7%
+-commutative89.7%
Applied egg-rr89.7%
Taylor expanded in y around inf 89.7%
Final simplification60.9%
(FPCore (x y) :precision binary64 (if (<= y 4.8e-137) (/ (/ y (+ x 1.0)) (+ y x)) (/ (/ x (+ y 1.0)) (+ y x))))
double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = (y / (x + 1.0)) / (y + x);
} else {
tmp = (x / (y + 1.0)) / (y + 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.8d-137) then
tmp = (y / (x + 1.0d0)) / (y + x)
else
tmp = (x / (y + 1.0d0)) / (y + x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = (y / (x + 1.0)) / (y + x);
} else {
tmp = (x / (y + 1.0)) / (y + x);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4.8e-137: tmp = (y / (x + 1.0)) / (y + x) else: tmp = (x / (y + 1.0)) / (y + x) return tmp
function code(x, y) tmp = 0.0 if (y <= 4.8e-137) tmp = Float64(Float64(y / Float64(x + 1.0)) / Float64(y + x)); else tmp = Float64(Float64(x / Float64(y + 1.0)) / Float64(y + x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4.8e-137) tmp = (y / (x + 1.0)) / (y + x); else tmp = (x / (y + 1.0)) / (y + x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4.8e-137], N[(N[(y / N[(x + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4.8 \cdot 10^{-137}:\\
\;\;\;\;\frac{\frac{y}{x + 1}}{y + x}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y + x}\\
\end{array}
\end{array}
if y < 4.8000000000000001e-137Initial program 63.5%
+-commutative63.5%
+-commutative63.5%
+-commutative63.5%
*-commutative63.5%
distribute-rgt1-in50.5%
fma-define63.5%
+-commutative63.5%
+-commutative63.5%
cube-unmult63.5%
+-commutative63.5%
Simplified63.5%
*-commutative63.5%
fma-define50.5%
cube-mult50.5%
distribute-rgt1-in63.5%
*-commutative63.5%
associate-*l*63.5%
times-frac91.2%
associate-+r+91.2%
Applied egg-rr91.2%
frac-times63.5%
*-commutative63.5%
*-un-lft-identity63.5%
frac-times67.5%
associate-*l/67.5%
*-un-lft-identity67.5%
associate-/l*91.2%
+-commutative91.2%
+-commutative91.2%
Applied egg-rr91.2%
Taylor expanded in y around 0 64.4%
+-commutative64.4%
Simplified64.4%
if 4.8000000000000001e-137 < y Initial program 67.8%
+-commutative67.8%
+-commutative67.8%
+-commutative67.8%
*-commutative67.8%
distribute-rgt1-in62.2%
fma-define67.9%
+-commutative67.9%
+-commutative67.9%
cube-unmult67.8%
+-commutative67.8%
Simplified67.8%
*-commutative67.8%
fma-define62.1%
cube-mult62.2%
distribute-rgt1-in67.8%
*-commutative67.8%
associate-*l*67.8%
times-frac94.7%
associate-+r+94.7%
Applied egg-rr94.7%
frac-times67.8%
*-commutative67.8%
*-un-lft-identity67.8%
frac-times77.4%
associate-*l/77.4%
*-un-lft-identity77.4%
associate-/l*94.6%
+-commutative94.6%
+-commutative94.6%
Applied egg-rr94.6%
associate-*r/77.4%
+-commutative77.4%
Applied egg-rr77.4%
*-commutative77.4%
times-frac99.8%
associate-+r+99.8%
Simplified99.8%
Taylor expanded in x around 0 62.4%
+-commutative62.4%
Simplified62.4%
(FPCore (x y) :precision binary64 (if (<= y 4.8e-137) (/ y (* x (+ x 1.0))) (/ (/ x (+ y 1.0)) y)))
double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / 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.8d-137) then
tmp = y / (x * (x + 1.0d0))
else
tmp = (x / (y + 1.0d0)) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4.8e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / (y + 1.0)) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4.8e-137: tmp = y / (x * (x + 1.0)) else: tmp = (x / (y + 1.0)) / y return tmp
function code(x, y) tmp = 0.0 if (y <= 4.8e-137) tmp = Float64(y / Float64(x * Float64(x + 1.0))); else tmp = Float64(Float64(x / Float64(y + 1.0)) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4.8e-137) tmp = y / (x * (x + 1.0)); else tmp = (x / (y + 1.0)) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4.8e-137], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / N[(y + 1.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4.8 \cdot 10^{-137}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y + 1}}{y}\\
\end{array}
\end{array}
if y < 4.8000000000000001e-137Initial program 63.5%
associate-/l*77.9%
associate-+l+77.9%
Simplified77.9%
Taylor expanded in y around 0 60.5%
+-commutative60.5%
Simplified60.5%
if 4.8000000000000001e-137 < y Initial program 67.8%
associate-/l*83.0%
associate-+l+83.0%
Simplified83.0%
Taylor expanded in x around 0 60.3%
*-un-lft-identity60.3%
+-commutative60.3%
times-frac61.7%
Applied egg-rr61.7%
associate-*l/61.8%
*-un-lft-identity61.8%
+-commutative61.8%
Applied egg-rr61.8%
Final simplification60.9%
(FPCore (x y) :precision binary64 (if (<= y 4.25e-137) (/ y (* x (+ x 1.0))) (/ (/ x y) (+ y 1.0))))
double code(double x, double y) {
double tmp;
if (y <= 4.25e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / y) / (y + 1.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 4.25d-137) then
tmp = y / (x * (x + 1.0d0))
else
tmp = (x / y) / (y + 1.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4.25e-137) {
tmp = y / (x * (x + 1.0));
} else {
tmp = (x / y) / (y + 1.0);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4.25e-137: tmp = y / (x * (x + 1.0)) else: tmp = (x / y) / (y + 1.0) return tmp
function code(x, y) tmp = 0.0 if (y <= 4.25e-137) tmp = Float64(y / Float64(x * Float64(x + 1.0))); else tmp = Float64(Float64(x / y) / Float64(y + 1.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4.25e-137) tmp = y / (x * (x + 1.0)); else tmp = (x / y) / (y + 1.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4.25e-137], N[(y / N[(x * N[(x + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / y), $MachinePrecision] / N[(y + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4.25 \cdot 10^{-137}:\\
\;\;\;\;\frac{y}{x \cdot \left(x + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y}}{y + 1}\\
\end{array}
\end{array}
if y < 4.2500000000000001e-137Initial program 63.5%
associate-/l*77.9%
associate-+l+77.9%
Simplified77.9%
Taylor expanded in y around 0 60.5%
+-commutative60.5%
Simplified60.5%
if 4.2500000000000001e-137 < y Initial program 67.8%
associate-/l*83.0%
associate-+l+83.0%
Simplified83.0%
Taylor expanded in x around 0 60.3%
associate-/r*61.8%
+-commutative61.8%
Simplified61.8%
(FPCore (x y) :precision binary64 (if (<= y 5e+133) (/ x (* y (+ y 1.0))) (/ (/ x y) y)))
double code(double x, double y) {
double tmp;
if (y <= 5e+133) {
tmp = x / (y * (y + 1.0));
} else {
tmp = (x / y) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 5d+133) then
tmp = x / (y * (y + 1.0d0))
else
tmp = (x / y) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 5e+133) {
tmp = x / (y * (y + 1.0));
} else {
tmp = (x / y) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 5e+133: tmp = x / (y * (y + 1.0)) else: tmp = (x / y) / y return tmp
function code(x, y) tmp = 0.0 if (y <= 5e+133) tmp = Float64(x / Float64(y * Float64(y + 1.0))); else tmp = Float64(Float64(x / y) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 5e+133) tmp = x / (y * (y + 1.0)); else tmp = (x / y) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 5e+133], N[(x / N[(y * N[(y + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(x / y), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 5 \cdot 10^{+133}:\\
\;\;\;\;\frac{x}{y \cdot \left(y + 1\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y}}{y}\\
\end{array}
\end{array}
if y < 4.99999999999999961e133Initial program 65.9%
associate-/l*79.7%
associate-+l+79.7%
Simplified79.7%
Taylor expanded in x around 0 37.8%
if 4.99999999999999961e133 < y Initial program 58.5%
associate-/l*79.3%
associate-+l+79.3%
Simplified79.3%
Taylor expanded in x around 0 85.3%
*-un-lft-identity85.3%
+-commutative85.3%
times-frac89.7%
Applied egg-rr89.7%
associate-*l/89.7%
*-un-lft-identity89.7%
+-commutative89.7%
Applied egg-rr89.7%
Taylor expanded in y around inf 89.7%
Final simplification44.1%
(FPCore (x y) :precision binary64 (if (<= y 1.0) (/ x y) (/ (/ x y) y)))
double code(double x, double y) {
double tmp;
if (y <= 1.0) {
tmp = x / y;
} else {
tmp = (x / y) / 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.0d0) then
tmp = x / y
else
tmp = (x / y) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.0) {
tmp = x / y;
} else {
tmp = (x / y) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.0: tmp = x / y else: tmp = (x / y) / y return tmp
function code(x, y) tmp = 0.0 if (y <= 1.0) tmp = Float64(x / y); else tmp = Float64(Float64(x / y) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.0) tmp = x / y; else tmp = (x / y) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.0], N[(x / y), $MachinePrecision], N[(N[(x / y), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y}}{y}\\
\end{array}
\end{array}
if y < 1Initial program 65.3%
associate-/l*80.1%
associate-+l+80.1%
Simplified80.1%
Taylor expanded in x around 0 34.9%
Taylor expanded in y around 0 25.3%
if 1 < y Initial program 64.1%
associate-/l*78.1%
associate-+l+78.1%
Simplified78.1%
Taylor expanded in x around 0 71.8%
*-un-lft-identity71.8%
+-commutative71.8%
times-frac74.0%
Applied egg-rr74.0%
associate-*l/74.0%
*-un-lft-identity74.0%
+-commutative74.0%
Applied egg-rr74.0%
Taylor expanded in y around inf 72.0%
(FPCore (x y) :precision binary64 (if (<= y 1.0) (/ x y) (/ x (* y y))))
double code(double x, double y) {
double tmp;
if (y <= 1.0) {
tmp = x / y;
} else {
tmp = x / (y * 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.0d0) then
tmp = x / y
else
tmp = x / (y * y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.0) {
tmp = x / y;
} else {
tmp = x / (y * y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.0: tmp = x / y else: tmp = x / (y * y) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.0) tmp = Float64(x / y); else tmp = Float64(x / Float64(y * y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.0) tmp = x / y; else tmp = x / (y * y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.0], N[(x / y), $MachinePrecision], N[(x / N[(y * y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1:\\
\;\;\;\;\frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot y}\\
\end{array}
\end{array}
if y < 1Initial program 65.3%
associate-/l*80.1%
associate-+l+80.1%
Simplified80.1%
Taylor expanded in x around 0 34.9%
Taylor expanded in y around 0 25.3%
if 1 < y Initial program 64.1%
associate-/l*78.1%
associate-+l+78.1%
Simplified78.1%
Taylor expanded in x around 0 71.8%
Taylor expanded in y around inf 69.8%
(FPCore (x y) :precision binary64 (/ 1.0 (/ y x)))
double code(double x, double y) {
return 1.0 / (y / x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 / (y / x)
end function
public static double code(double x, double y) {
return 1.0 / (y / x);
}
def code(x, y): return 1.0 / (y / x)
function code(x, y) return Float64(1.0 / Float64(y / x)) end
function tmp = code(x, y) tmp = 1.0 / (y / x); end
code[x_, y_] := N[(1.0 / N[(y / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{y}{x}}
\end{array}
Initial program 65.0%
associate-/l*79.7%
associate-+l+79.7%
Simplified79.7%
Taylor expanded in x around 0 43.6%
Taylor expanded in y around 0 25.3%
clear-num25.8%
inv-pow25.8%
Applied egg-rr25.8%
unpow-125.8%
Simplified25.8%
(FPCore (x y) :precision binary64 (/ x y))
double code(double x, double y) {
return x / y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = x / y
end function
public static double code(double x, double y) {
return x / y;
}
def code(x, y): return x / y
function code(x, y) return Float64(x / y) end
function tmp = code(x, y) tmp = x / y; end
code[x_, y_] := N[(x / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y}
\end{array}
Initial program 65.0%
associate-/l*79.7%
associate-+l+79.7%
Simplified79.7%
Taylor expanded in x around 0 43.6%
Taylor expanded in y around 0 25.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 65.0%
+-commutative65.0%
+-commutative65.0%
+-commutative65.0%
*-commutative65.0%
distribute-rgt1-in54.5%
fma-define65.0%
+-commutative65.0%
+-commutative65.0%
cube-unmult65.0%
+-commutative65.0%
Simplified65.0%
*-commutative65.0%
fma-define54.5%
cube-mult54.5%
distribute-rgt1-in65.0%
*-commutative65.0%
associate-*l*65.0%
times-frac92.4%
associate-+r+92.4%
Applied egg-rr92.4%
Taylor expanded in y around 0 55.6%
+-commutative55.6%
Simplified55.6%
Taylor expanded in x around 0 3.5%
(FPCore (x y) :precision binary64 (/ (/ (/ x (+ (+ y 1.0) x)) (+ y x)) (/ 1.0 (/ y (+ y x)))))
double code(double x, double y) {
return ((x / ((y + 1.0) + x)) / (y + x)) / (1.0 / (y / (y + x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((x / ((y + 1.0d0) + x)) / (y + x)) / (1.0d0 / (y / (y + x)))
end function
public static double code(double x, double y) {
return ((x / ((y + 1.0) + x)) / (y + x)) / (1.0 / (y / (y + x)));
}
def code(x, y): return ((x / ((y + 1.0) + x)) / (y + x)) / (1.0 / (y / (y + x)))
function code(x, y) return Float64(Float64(Float64(x / Float64(Float64(y + 1.0) + x)) / Float64(y + x)) / Float64(1.0 / Float64(y / Float64(y + x)))) end
function tmp = code(x, y) tmp = ((x / ((y + 1.0) + x)) / (y + x)) / (1.0 / (y / (y + x))); end
code[x_, y_] := N[(N[(N[(x / N[(N[(y + 1.0), $MachinePrecision] + x), $MachinePrecision]), $MachinePrecision] / N[(y + x), $MachinePrecision]), $MachinePrecision] / N[(1.0 / N[(y / N[(y + x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\frac{\frac{x}{\left(y + 1\right) + x}}{y + x}}{\frac{1}{\frac{y}{y + x}}}
\end{array}
herbie shell --seed 2024146
(FPCore (x y)
:name "Numeric.SpecFunctions:incompleteBetaApprox from math-functions-0.1.5.2, A"
:precision binary64
:alt
(! :herbie-platform default (/ (/ (/ x (+ (+ y 1) x)) (+ y x)) (/ 1 (/ y (+ y x)))))
(/ (* x y) (* (* (+ x y) (+ x y)) (+ (+ x y) 1.0))))