
(FPCore (x y) :precision binary64 (* (cos x) (/ (sinh y) y)))
double code(double x, double y) {
return cos(x) * (sinh(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = cos(x) * (sinh(y) / y)
end function
public static double code(double x, double y) {
return Math.cos(x) * (Math.sinh(y) / y);
}
def code(x, y): return math.cos(x) * (math.sinh(y) / y)
function code(x, y) return Float64(cos(x) * Float64(sinh(y) / y)) end
function tmp = code(x, y) tmp = cos(x) * (sinh(y) / y); end
code[x_, y_] := N[(N[Cos[x], $MachinePrecision] * N[(N[Sinh[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\cos x \cdot \frac{\sinh y}{y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 22 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (* (cos x) (/ (sinh y) y)))
double code(double x, double y) {
return cos(x) * (sinh(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = cos(x) * (sinh(y) / y)
end function
public static double code(double x, double y) {
return Math.cos(x) * (Math.sinh(y) / y);
}
def code(x, y): return math.cos(x) * (math.sinh(y) / y)
function code(x, y) return Float64(cos(x) * Float64(sinh(y) / y)) end
function tmp = code(x, y) tmp = cos(x) * (sinh(y) / y); end
code[x_, y_] := N[(N[Cos[x], $MachinePrecision] * N[(N[Sinh[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\cos x \cdot \frac{\sinh y}{y}
\end{array}
(FPCore (x y) :precision binary64 (* (cos x) (/ (sinh y) y)))
double code(double x, double y) {
return cos(x) * (sinh(y) / y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = cos(x) * (sinh(y) / y)
end function
public static double code(double x, double y) {
return Math.cos(x) * (Math.sinh(y) / y);
}
def code(x, y): return math.cos(x) * (math.sinh(y) / y)
function code(x, y) return Float64(cos(x) * Float64(sinh(y) / y)) end
function tmp = code(x, y) tmp = cos(x) * (sinh(y) / y); end
code[x_, y_] := N[(N[Cos[x], $MachinePrecision] * N[(N[Sinh[y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\cos x \cdot \frac{\sinh y}{y}
\end{array}
Initial program 100.0%
(FPCore (x y)
:precision binary64
(if (<= y 1.6e-6)
(cos x)
(if (<= y 1.35e+154)
(/ (sinh y) y)
(* (cos x) (+ 1.0 (* 0.16666666666666666 (* y y)))))))
double code(double x, double y) {
double tmp;
if (y <= 1.6e-6) {
tmp = cos(x);
} else if (y <= 1.35e+154) {
tmp = sinh(y) / y;
} else {
tmp = cos(x) * (1.0 + (0.16666666666666666 * (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.6d-6) then
tmp = cos(x)
else if (y <= 1.35d+154) then
tmp = sinh(y) / y
else
tmp = cos(x) * (1.0d0 + (0.16666666666666666d0 * (y * y)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.6e-6) {
tmp = Math.cos(x);
} else if (y <= 1.35e+154) {
tmp = Math.sinh(y) / y;
} else {
tmp = Math.cos(x) * (1.0 + (0.16666666666666666 * (y * y)));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.6e-6: tmp = math.cos(x) elif y <= 1.35e+154: tmp = math.sinh(y) / y else: tmp = math.cos(x) * (1.0 + (0.16666666666666666 * (y * y))) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.6e-6) tmp = cos(x); elseif (y <= 1.35e+154) tmp = Float64(sinh(y) / y); else tmp = Float64(cos(x) * Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.6e-6) tmp = cos(x); elseif (y <= 1.35e+154) tmp = sinh(y) / y; else tmp = cos(x) * (1.0 + (0.16666666666666666 * (y * y))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.6e-6], N[Cos[x], $MachinePrecision], If[LessEqual[y, 1.35e+154], N[(N[Sinh[y], $MachinePrecision] / y), $MachinePrecision], N[(N[Cos[x], $MachinePrecision] * N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.6 \cdot 10^{-6}:\\
\;\;\;\;\cos x\\
\mathbf{elif}\;y \leq 1.35 \cdot 10^{+154}:\\
\;\;\;\;\frac{\sinh y}{y}\\
\mathbf{else}:\\
\;\;\;\;\cos x \cdot \left(1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\right)\\
\end{array}
\end{array}
if y < 1.5999999999999999e-6Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6474.0%
Simplified74.0%
if 1.5999999999999999e-6 < y < 1.35000000000000003e154Initial program 100.0%
Taylor expanded in x around 0
Simplified76.1%
*-lft-identityN/A
/-lowering-/.f64N/A
sinh-lowering-sinh.f6476.1%
Applied egg-rr76.1%
if 1.35000000000000003e154 < y Initial program 100.0%
Taylor expanded in y around 0
*-lft-identityN/A
associate-*r*N/A
distribute-rgt-inN/A
*-lowering-*.f64N/A
cos-lowering-cos.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64100.0%
Simplified100.0%
(FPCore (x y)
:precision binary64
(if (<= y 7.2e-5)
(cos x)
(if (<= y 2.2e+157)
(/ (sinh y) y)
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (y <= 7.2e-5) {
tmp = cos(x);
} else if (y <= 2.2e+157) {
tmp = sinh(y) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 7.2d-5) then
tmp = cos(x)
else if (y <= 2.2d+157) then
tmp = sinh(y) / y
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 7.2e-5) {
tmp = Math.cos(x);
} else if (y <= 2.2e+157) {
tmp = Math.sinh(y) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 7.2e-5: tmp = math.cos(x) elif y <= 2.2e+157: tmp = math.sinh(y) / y else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 7.2e-5) tmp = cos(x); elseif (y <= 2.2e+157) tmp = Float64(sinh(y) / y); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 7.2e-5) tmp = cos(x); elseif (y <= 2.2e+157) tmp = sinh(y) / y; else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 7.2e-5], N[Cos[x], $MachinePrecision], If[LessEqual[y, 2.2e+157], N[(N[Sinh[y], $MachinePrecision] / y), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 7.2 \cdot 10^{-5}:\\
\;\;\;\;\cos x\\
\mathbf{elif}\;y \leq 2.2 \cdot 10^{+157}:\\
\;\;\;\;\frac{\sinh y}{y}\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 7.20000000000000018e-5Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6474.0%
Simplified74.0%
if 7.20000000000000018e-5 < y < 2.2000000000000001e157Initial program 100.0%
Taylor expanded in x around 0
Simplified76.7%
*-lft-identityN/A
/-lowering-/.f64N/A
sinh-lowering-sinh.f6476.7%
Applied egg-rr76.7%
if 2.2000000000000001e157 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(let* ((t_0
(*
(* y y)
(+
0.16666666666666666
(*
y
(*
y
(+ 0.008333333333333333 (* (* y y) 0.0001984126984126984))))))))
(if (<= y 2.5e-5)
(cos x)
(if (<= y 5e+44)
(/ (+ (* t_0 t_0) -1.0) (+ t_0 -1.0))
(if (<= y 2.7e+145)
(*
(/ 1.0 y)
(*
y
(+
1.0
(*
y
(*
(+
(+ 0.0001984126984126984 (/ 0.008333333333333333 (* y y)))
(/ (/ 0.16666666666666666 (* y y)) (* y y)))
(* y (* y (* y (* y y)))))))))
(*
(+ 1.0 (* (* x x) -0.5))
(/ (* y (+ 1.0 (* y (* y 0.16666666666666666)))) y)))))))
double code(double x, double y) {
double t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))));
double tmp;
if (y <= 2.5e-5) {
tmp = cos(x);
} else if (y <= 5e+44) {
tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0);
} else if (y <= 2.7e+145) {
tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
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) * (0.16666666666666666d0 + (y * (y * (0.008333333333333333d0 + ((y * y) * 0.0001984126984126984d0)))))
if (y <= 2.5d-5) then
tmp = cos(x)
else if (y <= 5d+44) then
tmp = ((t_0 * t_0) + (-1.0d0)) / (t_0 + (-1.0d0))
else if (y <= 2.7d+145) then
tmp = (1.0d0 / y) * (y * (1.0d0 + (y * (((0.0001984126984126984d0 + (0.008333333333333333d0 / (y * y))) + ((0.16666666666666666d0 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))))
else
tmp = (1.0d0 + ((x * x) * (-0.5d0))) * ((y * (1.0d0 + (y * (y * 0.16666666666666666d0)))) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))));
double tmp;
if (y <= 2.5e-5) {
tmp = Math.cos(x);
} else if (y <= 5e+44) {
tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0);
} else if (y <= 2.7e+145) {
tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
return tmp;
}
def code(x, y): t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))) tmp = 0 if y <= 2.5e-5: tmp = math.cos(x) elif y <= 5e+44: tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0) elif y <= 2.7e+145: tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y)))))))) else: tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y) return tmp
function code(x, y) t_0 = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(y * Float64(y * Float64(0.008333333333333333 + Float64(Float64(y * y) * 0.0001984126984126984)))))) tmp = 0.0 if (y <= 2.5e-5) tmp = cos(x); elseif (y <= 5e+44) tmp = Float64(Float64(Float64(t_0 * t_0) + -1.0) / Float64(t_0 + -1.0)); elseif (y <= 2.7e+145) tmp = Float64(Float64(1.0 / y) * Float64(y * Float64(1.0 + Float64(y * Float64(Float64(Float64(0.0001984126984126984 + Float64(0.008333333333333333 / Float64(y * y))) + Float64(Float64(0.16666666666666666 / Float64(y * y)) / Float64(y * y))) * Float64(y * Float64(y * Float64(y * Float64(y * y))))))))); else tmp = Float64(Float64(1.0 + Float64(Float64(x * x) * -0.5)) * Float64(Float64(y * Float64(1.0 + Float64(y * Float64(y * 0.16666666666666666)))) / y)); end return tmp end
function tmp_2 = code(x, y) t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))); tmp = 0.0; if (y <= 2.5e-5) tmp = cos(x); elseif (y <= 5e+44) tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0); elseif (y <= 2.7e+145) tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y)))))))); else tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(y * N[(y * N[(0.008333333333333333 + N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, 2.5e-5], N[Cos[x], $MachinePrecision], If[LessEqual[y, 5e+44], N[(N[(N[(t$95$0 * t$95$0), $MachinePrecision] + -1.0), $MachinePrecision] / N[(t$95$0 + -1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.7e+145], N[(N[(1.0 / y), $MachinePrecision] * N[(y * N[(1.0 + N[(y * N[(N[(N[(0.0001984126984126984 + N[(0.008333333333333333 / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(0.16666666666666666 / N[(y * y), $MachinePrecision]), $MachinePrecision] / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(y * N[(y * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 + N[(N[(x * x), $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision] * N[(N[(y * N[(1.0 + N[(y * N[(y * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(y \cdot y\right) \cdot \left(0.16666666666666666 + y \cdot \left(y \cdot \left(0.008333333333333333 + \left(y \cdot y\right) \cdot 0.0001984126984126984\right)\right)\right)\\
\mathbf{if}\;y \leq 2.5 \cdot 10^{-5}:\\
\;\;\;\;\cos x\\
\mathbf{elif}\;y \leq 5 \cdot 10^{+44}:\\
\;\;\;\;\frac{t\_0 \cdot t\_0 + -1}{t\_0 + -1}\\
\mathbf{elif}\;y \leq 2.7 \cdot 10^{+145}:\\
\;\;\;\;\frac{1}{y} \cdot \left(y \cdot \left(1 + y \cdot \left(\left(\left(0.0001984126984126984 + \frac{0.008333333333333333}{y \cdot y}\right) + \frac{\frac{0.16666666666666666}{y \cdot y}}{y \cdot y}\right) \cdot \left(y \cdot \left(y \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 + \left(x \cdot x\right) \cdot -0.5\right) \cdot \frac{y \cdot \left(1 + y \cdot \left(y \cdot 0.16666666666666666\right)\right)}{y}\\
\end{array}
\end{array}
if y < 2.50000000000000012e-5Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6474.0%
Simplified74.0%
if 2.50000000000000012e-5 < y < 4.9999999999999996e44Initial program 100.0%
Taylor expanded in x around 0
Simplified81.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f647.5%
Simplified7.5%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr7.5%
Applied egg-rr39.0%
if 4.9999999999999996e44 < y < 2.70000000000000022e145Initial program 100.0%
Taylor expanded in x around 0
Simplified73.7%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6473.7%
Simplified73.7%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr73.7%
Taylor expanded in y around inf
Simplified73.7%
if 2.70000000000000022e145 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6493.1%
Simplified93.1%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6493.1%
Simplified93.1%
Final simplification73.7%
(FPCore (x y)
:precision binary64
(let* ((t_0
(*
(* y y)
(+
0.16666666666666666
(*
y
(*
y
(+ 0.008333333333333333 (* (* y y) 0.0001984126984126984))))))))
(if (<= y 5e+44)
(/ (+ (* t_0 t_0) -1.0) (+ t_0 -1.0))
(if (<= y 4e+144)
(*
(/ 1.0 y)
(*
y
(+
1.0
(*
y
(*
(+
(+ 0.0001984126984126984 (/ 0.008333333333333333 (* y y)))
(/ (/ 0.16666666666666666 (* y y)) (* y y)))
(* y (* y (* y (* y y)))))))))
(*
(+ 1.0 (* (* x x) -0.5))
(/ (* y (+ 1.0 (* y (* y 0.16666666666666666)))) y))))))
double code(double x, double y) {
double t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))));
double tmp;
if (y <= 5e+44) {
tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0);
} else if (y <= 4e+144) {
tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
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) * (0.16666666666666666d0 + (y * (y * (0.008333333333333333d0 + ((y * y) * 0.0001984126984126984d0)))))
if (y <= 5d+44) then
tmp = ((t_0 * t_0) + (-1.0d0)) / (t_0 + (-1.0d0))
else if (y <= 4d+144) then
tmp = (1.0d0 / y) * (y * (1.0d0 + (y * (((0.0001984126984126984d0 + (0.008333333333333333d0 / (y * y))) + ((0.16666666666666666d0 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))))
else
tmp = (1.0d0 + ((x * x) * (-0.5d0))) * ((y * (1.0d0 + (y * (y * 0.16666666666666666d0)))) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))));
double tmp;
if (y <= 5e+44) {
tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0);
} else if (y <= 4e+144) {
tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y))))))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
return tmp;
}
def code(x, y): t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))) tmp = 0 if y <= 5e+44: tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0) elif y <= 4e+144: tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y)))))))) else: tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y) return tmp
function code(x, y) t_0 = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(y * Float64(y * Float64(0.008333333333333333 + Float64(Float64(y * y) * 0.0001984126984126984)))))) tmp = 0.0 if (y <= 5e+44) tmp = Float64(Float64(Float64(t_0 * t_0) + -1.0) / Float64(t_0 + -1.0)); elseif (y <= 4e+144) tmp = Float64(Float64(1.0 / y) * Float64(y * Float64(1.0 + Float64(y * Float64(Float64(Float64(0.0001984126984126984 + Float64(0.008333333333333333 / Float64(y * y))) + Float64(Float64(0.16666666666666666 / Float64(y * y)) / Float64(y * y))) * Float64(y * Float64(y * Float64(y * Float64(y * y))))))))); else tmp = Float64(Float64(1.0 + Float64(Float64(x * x) * -0.5)) * Float64(Float64(y * Float64(1.0 + Float64(y * Float64(y * 0.16666666666666666)))) / y)); end return tmp end
function tmp_2 = code(x, y) t_0 = (y * y) * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))); tmp = 0.0; if (y <= 5e+44) tmp = ((t_0 * t_0) + -1.0) / (t_0 + -1.0); elseif (y <= 4e+144) tmp = (1.0 / y) * (y * (1.0 + (y * (((0.0001984126984126984 + (0.008333333333333333 / (y * y))) + ((0.16666666666666666 / (y * y)) / (y * y))) * (y * (y * (y * (y * y)))))))); else tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(y * N[(y * N[(0.008333333333333333 + N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, 5e+44], N[(N[(N[(t$95$0 * t$95$0), $MachinePrecision] + -1.0), $MachinePrecision] / N[(t$95$0 + -1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 4e+144], N[(N[(1.0 / y), $MachinePrecision] * N[(y * N[(1.0 + N[(y * N[(N[(N[(0.0001984126984126984 + N[(0.008333333333333333 / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(0.16666666666666666 / N[(y * y), $MachinePrecision]), $MachinePrecision] / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(y * N[(y * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 + N[(N[(x * x), $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision] * N[(N[(y * N[(1.0 + N[(y * N[(y * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(y \cdot y\right) \cdot \left(0.16666666666666666 + y \cdot \left(y \cdot \left(0.008333333333333333 + \left(y \cdot y\right) \cdot 0.0001984126984126984\right)\right)\right)\\
\mathbf{if}\;y \leq 5 \cdot 10^{+44}:\\
\;\;\;\;\frac{t\_0 \cdot t\_0 + -1}{t\_0 + -1}\\
\mathbf{elif}\;y \leq 4 \cdot 10^{+144}:\\
\;\;\;\;\frac{1}{y} \cdot \left(y \cdot \left(1 + y \cdot \left(\left(\left(0.0001984126984126984 + \frac{0.008333333333333333}{y \cdot y}\right) + \frac{\frac{0.16666666666666666}{y \cdot y}}{y \cdot y}\right) \cdot \left(y \cdot \left(y \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 + \left(x \cdot x\right) \cdot -0.5\right) \cdot \frac{y \cdot \left(1 + y \cdot \left(y \cdot 0.16666666666666666\right)\right)}{y}\\
\end{array}
\end{array}
if y < 4.9999999999999996e44Initial program 100.0%
Taylor expanded in x around 0
Simplified65.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6455.0%
Simplified55.0%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr54.8%
Applied egg-rr47.5%
if 4.9999999999999996e44 < y < 4.00000000000000009e144Initial program 100.0%
Taylor expanded in x around 0
Simplified73.7%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6473.7%
Simplified73.7%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr73.7%
Taylor expanded in y around inf
Simplified73.7%
if 4.00000000000000009e144 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6493.1%
Simplified93.1%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6493.1%
Simplified93.1%
Final simplification54.6%
(FPCore (x y)
:precision binary64
(let* ((t_0 (+ 0.008333333333333333 (* y (* y 0.0001984126984126984)))))
(if (<= y 4.2e+77)
(/
(*
y
(+
1.0
(/
(*
(* y y)
(- 0.027777777777777776 (* (* (* y y) (* y y)) (* t_0 t_0))))
(- 0.16666666666666666 (* (* y y) t_0)))))
y)
(*
(+ 1.0 (* (* x x) -0.5))
(+
1.0
(*
y
(* y (+ 0.16666666666666666 (* (* y y) 0.008333333333333333)))))))))
double code(double x, double y) {
double t_0 = 0.008333333333333333 + (y * (y * 0.0001984126984126984));
double tmp;
if (y <= 4.2e+77) {
tmp = (y * (1.0 + (((y * y) * (0.027777777777777776 - (((y * y) * (y * y)) * (t_0 * t_0)))) / (0.16666666666666666 - ((y * y) * t_0))))) / y;
} else {
tmp = (1.0 + ((x * x) * -0.5)) * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))));
}
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 = 0.008333333333333333d0 + (y * (y * 0.0001984126984126984d0))
if (y <= 4.2d+77) then
tmp = (y * (1.0d0 + (((y * y) * (0.027777777777777776d0 - (((y * y) * (y * y)) * (t_0 * t_0)))) / (0.16666666666666666d0 - ((y * y) * t_0))))) / y
else
tmp = (1.0d0 + ((x * x) * (-0.5d0))) * (1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * 0.008333333333333333d0)))))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 0.008333333333333333 + (y * (y * 0.0001984126984126984));
double tmp;
if (y <= 4.2e+77) {
tmp = (y * (1.0 + (((y * y) * (0.027777777777777776 - (((y * y) * (y * y)) * (t_0 * t_0)))) / (0.16666666666666666 - ((y * y) * t_0))))) / y;
} else {
tmp = (1.0 + ((x * x) * -0.5)) * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))));
}
return tmp;
}
def code(x, y): t_0 = 0.008333333333333333 + (y * (y * 0.0001984126984126984)) tmp = 0 if y <= 4.2e+77: tmp = (y * (1.0 + (((y * y) * (0.027777777777777776 - (((y * y) * (y * y)) * (t_0 * t_0)))) / (0.16666666666666666 - ((y * y) * t_0))))) / y else: tmp = (1.0 + ((x * x) * -0.5)) * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))))) return tmp
function code(x, y) t_0 = Float64(0.008333333333333333 + Float64(y * Float64(y * 0.0001984126984126984))) tmp = 0.0 if (y <= 4.2e+77) tmp = Float64(Float64(y * Float64(1.0 + Float64(Float64(Float64(y * y) * Float64(0.027777777777777776 - Float64(Float64(Float64(y * y) * Float64(y * y)) * Float64(t_0 * t_0)))) / Float64(0.16666666666666666 - Float64(Float64(y * y) * t_0))))) / y); else tmp = Float64(Float64(1.0 + Float64(Float64(x * x) * -0.5)) * Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * 0.008333333333333333)))))); end return tmp end
function tmp_2 = code(x, y) t_0 = 0.008333333333333333 + (y * (y * 0.0001984126984126984)); tmp = 0.0; if (y <= 4.2e+77) tmp = (y * (1.0 + (((y * y) * (0.027777777777777776 - (((y * y) * (y * y)) * (t_0 * t_0)))) / (0.16666666666666666 - ((y * y) * t_0))))) / y; else tmp = (1.0 + ((x * x) * -0.5)) * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))))); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(0.008333333333333333 + N[(y * N[(y * 0.0001984126984126984), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, 4.2e+77], N[(N[(y * N[(1.0 + N[(N[(N[(y * y), $MachinePrecision] * N[(0.027777777777777776 - N[(N[(N[(y * y), $MachinePrecision] * N[(y * y), $MachinePrecision]), $MachinePrecision] * N[(t$95$0 * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(0.16666666666666666 - N[(N[(y * y), $MachinePrecision] * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(1.0 + N[(N[(x * x), $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision] * N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * 0.008333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.008333333333333333 + y \cdot \left(y \cdot 0.0001984126984126984\right)\\
\mathbf{if}\;y \leq 4.2 \cdot 10^{+77}:\\
\;\;\;\;\frac{y \cdot \left(1 + \frac{\left(y \cdot y\right) \cdot \left(0.027777777777777776 - \left(\left(y \cdot y\right) \cdot \left(y \cdot y\right)\right) \cdot \left(t\_0 \cdot t\_0\right)\right)}{0.16666666666666666 - \left(y \cdot y\right) \cdot t\_0}\right)}{y}\\
\mathbf{else}:\\
\;\;\;\;\left(1 + \left(x \cdot x\right) \cdot -0.5\right) \cdot \left(1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot 0.008333333333333333\right)\right)\right)\\
\end{array}
\end{array}
if y < 4.1999999999999997e77Initial program 100.0%
Taylor expanded in x around 0
Simplified65.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6455.5%
Simplified55.5%
*-commutativeN/A
flip-+N/A
associate-*l/N/A
/-lowering-/.f64N/A
Applied egg-rr48.8%
if 4.1999999999999997e77 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6487.2%
Simplified87.2%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6487.2%
Simplified87.2%
Final simplification54.6%
(FPCore (x y)
:precision binary64
(if (<= y 10000.0)
(+ 1.0 (* y (* y (+ 0.16666666666666666 (* (* y y) 0.008333333333333333)))))
(if (<= y 2.26e+45)
(+ 1.0 (* x (* x (* x (* x (* (* x x) -0.001388888888888889))))))
(if (<= y 2e+157)
(*
(/ 1.0 y)
(* y (* (* y y) (* y (* 0.0001984126984126984 (* y (* y y)))))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333)))))))
double code(double x, double y) {
double tmp;
if (y <= 10000.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 2e+157) {
tmp = (1.0 / y) * (y * ((y * y) * (y * (0.0001984126984126984 * (y * (y * y))))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 10000.0d0) then
tmp = 1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * 0.008333333333333333d0))))
else if (y <= 2.26d+45) then
tmp = 1.0d0 + (x * (x * (x * (x * ((x * x) * (-0.001388888888888889d0))))))
else if (y <= 2d+157) then
tmp = (1.0d0 / y) * (y * ((y * y) * (y * (0.0001984126984126984d0 * (y * (y * y))))))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 10000.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 2e+157) {
tmp = (1.0 / y) * (y * ((y * y) * (y * (0.0001984126984126984 * (y * (y * y))))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 10000.0: tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))) elif y <= 2.26e+45: tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))) elif y <= 2e+157: tmp = (1.0 / y) * (y * ((y * y) * (y * (0.0001984126984126984 * (y * (y * y)))))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 10000.0) tmp = Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * 0.008333333333333333))))); elseif (y <= 2.26e+45) tmp = Float64(1.0 + Float64(x * Float64(x * Float64(x * Float64(x * Float64(Float64(x * x) * -0.001388888888888889)))))); elseif (y <= 2e+157) tmp = Float64(Float64(1.0 / y) * Float64(y * Float64(Float64(y * y) * Float64(y * Float64(0.0001984126984126984 * Float64(y * Float64(y * y))))))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 10000.0) tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))); elseif (y <= 2.26e+45) tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))); elseif (y <= 2e+157) tmp = (1.0 / y) * (y * ((y * y) * (y * (0.0001984126984126984 * (y * (y * y)))))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 10000.0], N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * 0.008333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.26e+45], N[(1.0 + N[(x * N[(x * N[(x * N[(x * N[(N[(x * x), $MachinePrecision] * -0.001388888888888889), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2e+157], N[(N[(1.0 / y), $MachinePrecision] * N[(y * N[(N[(y * y), $MachinePrecision] * N[(y * N[(0.0001984126984126984 * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 10000:\\
\;\;\;\;1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot 0.008333333333333333\right)\right)\\
\mathbf{elif}\;y \leq 2.26 \cdot 10^{+45}:\\
\;\;\;\;1 + x \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(\left(x \cdot x\right) \cdot -0.001388888888888889\right)\right)\right)\right)\\
\mathbf{elif}\;y \leq 2 \cdot 10^{+157}:\\
\;\;\;\;\frac{1}{y} \cdot \left(y \cdot \left(\left(y \cdot y\right) \cdot \left(y \cdot \left(0.0001984126984126984 \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 1e4Initial program 100.0%
Taylor expanded in x around 0
Simplified64.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.0%
Simplified57.0%
if 1e4 < y < 2.26000000000000009e45Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
Taylor expanded in x around inf
metadata-evalN/A
pow-sqrN/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
associate-*r*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
unpow3N/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
if 2.26000000000000009e45 < y < 1.99999999999999997e157Initial program 100.0%
Taylor expanded in x around 0
Simplified76.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6476.2%
Simplified76.2%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr76.2%
Taylor expanded in y around inf
metadata-evalN/A
pow-sqrN/A
cube-prodN/A
unpow2N/A
unpow3N/A
pow-sqrN/A
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
pow-sqrN/A
associate-*r*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*l*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
Simplified76.2%
if 1.99999999999999997e157 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 8600.0)
(+ 1.0 (* y (* y (+ 0.16666666666666666 (* (* y y) 0.008333333333333333)))))
(if (<= y 2.26e+45)
(+ 1.0 (* x (* x (* x (* x (* (* x x) -0.001388888888888889))))))
(if (<= y 1e+142)
(*
(+ 0.0001984126984126984 (/ 0.008333333333333333 (* y y)))
(* (* y y) (* y (* y (* y y)))))
(*
(+ 1.0 (* (* x x) -0.5))
(/ (* y (+ 1.0 (* y (* y 0.16666666666666666)))) y))))))
double code(double x, double y) {
double tmp;
if (y <= 8600.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 1e+142) {
tmp = (0.0001984126984126984 + (0.008333333333333333 / (y * y))) * ((y * y) * (y * (y * (y * y))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 8600.0d0) then
tmp = 1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * 0.008333333333333333d0))))
else if (y <= 2.26d+45) then
tmp = 1.0d0 + (x * (x * (x * (x * ((x * x) * (-0.001388888888888889d0))))))
else if (y <= 1d+142) then
tmp = (0.0001984126984126984d0 + (0.008333333333333333d0 / (y * y))) * ((y * y) * (y * (y * (y * y))))
else
tmp = (1.0d0 + ((x * x) * (-0.5d0))) * ((y * (1.0d0 + (y * (y * 0.16666666666666666d0)))) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 8600.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 1e+142) {
tmp = (0.0001984126984126984 + (0.008333333333333333 / (y * y))) * ((y * y) * (y * (y * (y * y))));
} else {
tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 8600.0: tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))) elif y <= 2.26e+45: tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))) elif y <= 1e+142: tmp = (0.0001984126984126984 + (0.008333333333333333 / (y * y))) * ((y * y) * (y * (y * (y * y)))) else: tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y) return tmp
function code(x, y) tmp = 0.0 if (y <= 8600.0) tmp = Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * 0.008333333333333333))))); elseif (y <= 2.26e+45) tmp = Float64(1.0 + Float64(x * Float64(x * Float64(x * Float64(x * Float64(Float64(x * x) * -0.001388888888888889)))))); elseif (y <= 1e+142) tmp = Float64(Float64(0.0001984126984126984 + Float64(0.008333333333333333 / Float64(y * y))) * Float64(Float64(y * y) * Float64(y * Float64(y * Float64(y * y))))); else tmp = Float64(Float64(1.0 + Float64(Float64(x * x) * -0.5)) * Float64(Float64(y * Float64(1.0 + Float64(y * Float64(y * 0.16666666666666666)))) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 8600.0) tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))); elseif (y <= 2.26e+45) tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))); elseif (y <= 1e+142) tmp = (0.0001984126984126984 + (0.008333333333333333 / (y * y))) * ((y * y) * (y * (y * (y * y)))); else tmp = (1.0 + ((x * x) * -0.5)) * ((y * (1.0 + (y * (y * 0.16666666666666666)))) / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 8600.0], N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * 0.008333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.26e+45], N[(1.0 + N[(x * N[(x * N[(x * N[(x * N[(N[(x * x), $MachinePrecision] * -0.001388888888888889), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 1e+142], N[(N[(0.0001984126984126984 + N[(0.008333333333333333 / N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(y * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 + N[(N[(x * x), $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision] * N[(N[(y * N[(1.0 + N[(y * N[(y * 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 8600:\\
\;\;\;\;1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot 0.008333333333333333\right)\right)\\
\mathbf{elif}\;y \leq 2.26 \cdot 10^{+45}:\\
\;\;\;\;1 + x \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(\left(x \cdot x\right) \cdot -0.001388888888888889\right)\right)\right)\right)\\
\mathbf{elif}\;y \leq 10^{+142}:\\
\;\;\;\;\left(0.0001984126984126984 + \frac{0.008333333333333333}{y \cdot y}\right) \cdot \left(\left(y \cdot y\right) \cdot \left(y \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 + \left(x \cdot x\right) \cdot -0.5\right) \cdot \frac{y \cdot \left(1 + y \cdot \left(y \cdot 0.16666666666666666\right)\right)}{y}\\
\end{array}
\end{array}
if y < 8600Initial program 100.0%
Taylor expanded in x around 0
Simplified64.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.0%
Simplified57.0%
if 8600 < y < 2.26000000000000009e45Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
Taylor expanded in x around inf
metadata-evalN/A
pow-sqrN/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
associate-*r*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
unpow3N/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
if 2.26000000000000009e45 < y < 1.00000000000000005e142Initial program 100.0%
Taylor expanded in x around 0
Simplified77.8%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6477.8%
Simplified77.8%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr77.8%
Taylor expanded in y around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
cube-prodN/A
unpow2N/A
cube-unmultN/A
pow-sqrN/A
metadata-evalN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
unpow2N/A
associate-*l*N/A
unpow2N/A
cube-multN/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r/N/A
Simplified72.7%
if 1.00000000000000005e142 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6493.1%
Simplified93.1%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6493.1%
Simplified93.1%
Final simplification60.3%
(FPCore (x y)
:precision binary64
(if (<= y 8600.0)
(+ 1.0 (* y (* y (+ 0.16666666666666666 (* (* y y) 0.008333333333333333)))))
(if (<= y 2.26e+45)
(+ 1.0 (* x (* x (* x (* x (* (* x x) -0.001388888888888889))))))
(if (<= y 5.1e+160)
(* (* y y) (* y (* 0.0001984126984126984 (* y (* y y)))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333)))))))
double code(double x, double y) {
double tmp;
if (y <= 8600.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 5.1e+160) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 8600.0d0) then
tmp = 1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * 0.008333333333333333d0))))
else if (y <= 2.26d+45) then
tmp = 1.0d0 + (x * (x * (x * (x * ((x * x) * (-0.001388888888888889d0))))))
else if (y <= 5.1d+160) then
tmp = (y * y) * (y * (0.0001984126984126984d0 * (y * (y * y))))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 8600.0) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2.26e+45) {
tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889)))));
} else if (y <= 5.1e+160) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 8600.0: tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))) elif y <= 2.26e+45: tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))) elif y <= 5.1e+160: tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 8600.0) tmp = Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * 0.008333333333333333))))); elseif (y <= 2.26e+45) tmp = Float64(1.0 + Float64(x * Float64(x * Float64(x * Float64(x * Float64(Float64(x * x) * -0.001388888888888889)))))); elseif (y <= 5.1e+160) tmp = Float64(Float64(y * y) * Float64(y * Float64(0.0001984126984126984 * Float64(y * Float64(y * y))))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 8600.0) tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))); elseif (y <= 2.26e+45) tmp = 1.0 + (x * (x * (x * (x * ((x * x) * -0.001388888888888889))))); elseif (y <= 5.1e+160) tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 8600.0], N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * 0.008333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.26e+45], N[(1.0 + N[(x * N[(x * N[(x * N[(x * N[(N[(x * x), $MachinePrecision] * -0.001388888888888889), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 5.1e+160], N[(N[(y * y), $MachinePrecision] * N[(y * N[(0.0001984126984126984 * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 8600:\\
\;\;\;\;1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot 0.008333333333333333\right)\right)\\
\mathbf{elif}\;y \leq 2.26 \cdot 10^{+45}:\\
\;\;\;\;1 + x \cdot \left(x \cdot \left(x \cdot \left(x \cdot \left(\left(x \cdot x\right) \cdot -0.001388888888888889\right)\right)\right)\right)\\
\mathbf{elif}\;y \leq 5.1 \cdot 10^{+160}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(y \cdot \left(0.0001984126984126984 \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 8600Initial program 100.0%
Taylor expanded in x around 0
Simplified64.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.0%
Simplified57.0%
if 8600 < y < 2.26000000000000009e45Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
Taylor expanded in x around inf
metadata-evalN/A
pow-sqrN/A
associate-*l*N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
associate-*r*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
unpow3N/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.6%
Simplified26.6%
if 2.26000000000000009e45 < y < 5.1000000000000001e160Initial program 100.0%
Taylor expanded in x around 0
Simplified76.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6476.2%
Simplified76.2%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr76.2%
Taylor expanded in y around inf
metadata-evalN/A
pow-sqrN/A
cube-prodN/A
unpow2N/A
unpow3N/A
pow-sqrN/A
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
pow-sqrN/A
associate-*r*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*l*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
Simplified71.8%
if 5.1000000000000001e160 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 4e+160)
(/
(*
y
(+
1.0
(*
y
(*
y
(+
0.16666666666666666
(*
(* y y)
(+ 0.008333333333333333 (* y (* y 0.0001984126984126984)))))))))
y)
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333)))))
double code(double x, double y) {
double tmp;
if (y <= 4e+160) {
tmp = (y * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * (0.008333333333333333 + (y * (y * 0.0001984126984126984))))))))) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 4d+160) then
tmp = (y * (1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * (0.008333333333333333d0 + (y * (y * 0.0001984126984126984d0))))))))) / y
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 4e+160) {
tmp = (y * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * (0.008333333333333333 + (y * (y * 0.0001984126984126984))))))))) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 4e+160: tmp = (y * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * (0.008333333333333333 + (y * (y * 0.0001984126984126984))))))))) / y else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 4e+160) tmp = Float64(Float64(y * Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * Float64(0.008333333333333333 + Float64(y * Float64(y * 0.0001984126984126984))))))))) / y); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 4e+160) tmp = (y * (1.0 + (y * (y * (0.16666666666666666 + ((y * y) * (0.008333333333333333 + (y * (y * 0.0001984126984126984))))))))) / y; else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 4e+160], N[(N[(y * N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * N[(0.008333333333333333 + N[(y * N[(y * 0.0001984126984126984), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 4 \cdot 10^{+160}:\\
\;\;\;\;\frac{y \cdot \left(1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot \left(0.008333333333333333 + y \cdot \left(y \cdot 0.0001984126984126984\right)\right)\right)\right)\right)}{y}\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 4.00000000000000003e160Initial program 100.0%
Taylor expanded in x around 0
Simplified66.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6456.7%
Simplified56.7%
*-lft-identityN/A
/-lowering-/.f64N/A
Applied egg-rr56.7%
if 4.00000000000000003e160 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 2e+157)
(+
1.0
(*
y
(*
y
(+
0.16666666666666666
(*
y
(* y (+ 0.008333333333333333 (* (* y y) 0.0001984126984126984))))))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333)))))
double code(double x, double y) {
double tmp;
if (y <= 2e+157) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 2d+157) then
tmp = 1.0d0 + (y * (y * (0.16666666666666666d0 + (y * (y * (0.008333333333333333d0 + ((y * y) * 0.0001984126984126984d0)))))))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 2e+157) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984)))))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 2e+157: tmp = 1.0 + (y * (y * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 2e+157) tmp = Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(y * Float64(y * Float64(0.008333333333333333 + Float64(Float64(y * y) * 0.0001984126984126984)))))))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 2e+157) tmp = 1.0 + (y * (y * (0.16666666666666666 + (y * (y * (0.008333333333333333 + ((y * y) * 0.0001984126984126984))))))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 2e+157], N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(y * N[(y * N[(0.008333333333333333 + N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 2 \cdot 10^{+157}:\\
\;\;\;\;1 + y \cdot \left(y \cdot \left(0.16666666666666666 + y \cdot \left(y \cdot \left(0.008333333333333333 + \left(y \cdot y\right) \cdot 0.0001984126984126984\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 1.99999999999999997e157Initial program 100.0%
Taylor expanded in x around 0
Simplified66.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6456.7%
Simplified56.7%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6456.3%
Simplified56.3%
if 1.99999999999999997e157 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 7.5)
(+ 1.0 (* y (* y (+ 0.16666666666666666 (* (* y y) 0.008333333333333333)))))
(if (<= y 2e+157)
(* (* y y) (* y (* 0.0001984126984126984 (* y (* y y)))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (y <= 7.5) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2e+157) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 7.5d0) then
tmp = 1.0d0 + (y * (y * (0.16666666666666666d0 + ((y * y) * 0.008333333333333333d0))))
else if (y <= 2d+157) then
tmp = (y * y) * (y * (0.0001984126984126984d0 * (y * (y * y))))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 7.5) {
tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333))));
} else if (y <= 2e+157) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 7.5: tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))) elif y <= 2e+157: tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 7.5) tmp = Float64(1.0 + Float64(y * Float64(y * Float64(0.16666666666666666 + Float64(Float64(y * y) * 0.008333333333333333))))); elseif (y <= 2e+157) tmp = Float64(Float64(y * y) * Float64(y * Float64(0.0001984126984126984 * Float64(y * Float64(y * y))))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 7.5) tmp = 1.0 + (y * (y * (0.16666666666666666 + ((y * y) * 0.008333333333333333)))); elseif (y <= 2e+157) tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 7.5], N[(1.0 + N[(y * N[(y * N[(0.16666666666666666 + N[(N[(y * y), $MachinePrecision] * 0.008333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2e+157], N[(N[(y * y), $MachinePrecision] * N[(y * N[(0.0001984126984126984 * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 7.5:\\
\;\;\;\;1 + y \cdot \left(y \cdot \left(0.16666666666666666 + \left(y \cdot y\right) \cdot 0.008333333333333333\right)\right)\\
\mathbf{elif}\;y \leq 2 \cdot 10^{+157}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(y \cdot \left(0.0001984126984126984 \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 7.5Initial program 100.0%
Taylor expanded in x around 0
Simplified64.0%
Taylor expanded in y around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.5%
Simplified57.5%
if 7.5 < y < 1.99999999999999997e157Initial program 100.0%
Taylor expanded in x around 0
Simplified76.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6442.8%
Simplified42.8%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr42.8%
Taylor expanded in y around inf
metadata-evalN/A
pow-sqrN/A
cube-prodN/A
unpow2N/A
unpow3N/A
pow-sqrN/A
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
pow-sqrN/A
associate-*r*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*l*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
Simplified40.4%
if 1.99999999999999997e157 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 5.6)
(+ 1.0 (* 0.16666666666666666 (* y y)))
(if (<= y 2.8e+157)
(* (* y y) (* y (* 0.0001984126984126984 (* y (* y y)))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (y <= 5.6) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.8e+157) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 5.6d0) then
tmp = 1.0d0 + (0.16666666666666666d0 * (y * y))
else if (y <= 2.8d+157) then
tmp = (y * y) * (y * (0.0001984126984126984d0 * (y * (y * y))))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 5.6) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.8e+157) {
tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y))));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 5.6: tmp = 1.0 + (0.16666666666666666 * (y * y)) elif y <= 2.8e+157: tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 5.6) tmp = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))); elseif (y <= 2.8e+157) tmp = Float64(Float64(y * y) * Float64(y * Float64(0.0001984126984126984 * Float64(y * Float64(y * y))))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 5.6) tmp = 1.0 + (0.16666666666666666 * (y * y)); elseif (y <= 2.8e+157) tmp = (y * y) * (y * (0.0001984126984126984 * (y * (y * y)))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 5.6], N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.8e+157], N[(N[(y * y), $MachinePrecision] * N[(y * N[(0.0001984126984126984 * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 5.6:\\
\;\;\;\;1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{elif}\;y \leq 2.8 \cdot 10^{+157}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(y \cdot \left(0.0001984126984126984 \cdot \left(y \cdot \left(y \cdot y\right)\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 5.5999999999999996Initial program 100.0%
Taylor expanded in x around 0
Simplified64.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6459.5%
Simplified59.5%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6452.4%
Simplified52.4%
if 5.5999999999999996 < y < 2.8000000000000003e157Initial program 100.0%
Taylor expanded in x around 0
Simplified76.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6442.8%
Simplified42.8%
*-lft-identityN/A
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*l*N/A
*-lowering-*.f64N/A
Applied egg-rr42.8%
Taylor expanded in y around inf
metadata-evalN/A
pow-sqrN/A
cube-prodN/A
unpow2N/A
unpow3N/A
pow-sqrN/A
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
pow-sqrN/A
associate-*r*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*l*N/A
unpow2N/A
unpow3N/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
Simplified40.4%
if 2.8000000000000003e157 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y)
:precision binary64
(if (<= y 27500000000000.0)
(+ 1.0 (* 0.16666666666666666 (* y y)))
(if (<= y 2.06e+127)
(+ 1.0 (* x (* x (* (* x x) 0.041666666666666664))))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (y <= 27500000000000.0) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.06e+127) {
tmp = 1.0 + (x * (x * ((x * x) * 0.041666666666666664)));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 27500000000000.0d0) then
tmp = 1.0d0 + (0.16666666666666666d0 * (y * y))
else if (y <= 2.06d+127) then
tmp = 1.0d0 + (x * (x * ((x * x) * 0.041666666666666664d0)))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 27500000000000.0) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.06e+127) {
tmp = 1.0 + (x * (x * ((x * x) * 0.041666666666666664)));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 27500000000000.0: tmp = 1.0 + (0.16666666666666666 * (y * y)) elif y <= 2.06e+127: tmp = 1.0 + (x * (x * ((x * x) * 0.041666666666666664))) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 27500000000000.0) tmp = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))); elseif (y <= 2.06e+127) tmp = Float64(1.0 + Float64(x * Float64(x * Float64(Float64(x * x) * 0.041666666666666664)))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 27500000000000.0) tmp = 1.0 + (0.16666666666666666 * (y * y)); elseif (y <= 2.06e+127) tmp = 1.0 + (x * (x * ((x * x) * 0.041666666666666664))); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 27500000000000.0], N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.06e+127], N[(1.0 + N[(x * N[(x * N[(N[(x * x), $MachinePrecision] * 0.041666666666666664), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 27500000000000:\\
\;\;\;\;1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{elif}\;y \leq 2.06 \cdot 10^{+127}:\\
\;\;\;\;1 + x \cdot \left(x \cdot \left(\left(x \cdot x\right) \cdot 0.041666666666666664\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 2.75e13Initial program 100.0%
Taylor expanded in x around 0
Simplified64.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.5%
Simplified57.5%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6450.7%
Simplified50.7%
if 2.75e13 < y < 2.06000000000000001e127Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6422.0%
Simplified22.0%
Taylor expanded in x around inf
*-commutativeN/A
cube-multN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6422.0%
Simplified22.0%
if 2.06000000000000001e127 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6490.9%
Simplified90.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6490.9%
Simplified90.9%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval77.1%
Simplified77.1%
(FPCore (x y)
:precision binary64
(if (<= y 27500000000000.0)
(+ 1.0 (* 0.16666666666666666 (* y y)))
(if (<= y 2.45e+125)
(* 0.041666666666666664 (* (* x x) (* x x)))
(* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (y <= 27500000000000.0) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.45e+125) {
tmp = 0.041666666666666664 * ((x * x) * (x * x));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 27500000000000.0d0) then
tmp = 1.0d0 + (0.16666666666666666d0 * (y * y))
else if (y <= 2.45d+125) then
tmp = 0.041666666666666664d0 * ((x * x) * (x * x))
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 27500000000000.0) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else if (y <= 2.45e+125) {
tmp = 0.041666666666666664 * ((x * x) * (x * x));
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 27500000000000.0: tmp = 1.0 + (0.16666666666666666 * (y * y)) elif y <= 2.45e+125: tmp = 0.041666666666666664 * ((x * x) * (x * x)) else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 27500000000000.0) tmp = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))); elseif (y <= 2.45e+125) tmp = Float64(0.041666666666666664 * Float64(Float64(x * x) * Float64(x * x))); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 27500000000000.0) tmp = 1.0 + (0.16666666666666666 * (y * y)); elseif (y <= 2.45e+125) tmp = 0.041666666666666664 * ((x * x) * (x * x)); else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 27500000000000.0], N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[y, 2.45e+125], N[(0.041666666666666664 * N[(N[(x * x), $MachinePrecision] * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 27500000000000:\\
\;\;\;\;1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{elif}\;y \leq 2.45 \cdot 10^{+125}:\\
\;\;\;\;0.041666666666666664 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 2.75e13Initial program 100.0%
Taylor expanded in x around 0
Simplified64.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.5%
Simplified57.5%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6450.7%
Simplified50.7%
if 2.75e13 < y < 2.45000000000000008e125Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6422.0%
Simplified22.0%
Taylor expanded in x around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6421.4%
Simplified21.4%
if 2.45000000000000008e125 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6490.9%
Simplified90.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6490.9%
Simplified90.9%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval77.1%
Simplified77.1%
(FPCore (x y)
:precision binary64
(let* ((t_0 (+ 1.0 (* 0.16666666666666666 (* y y)))))
(if (<= y 27500000000000.0)
t_0
(if (<= y 1.4e+149) (* 0.041666666666666664 (* (* x x) (* x x))) t_0))))
double code(double x, double y) {
double t_0 = 1.0 + (0.16666666666666666 * (y * y));
double tmp;
if (y <= 27500000000000.0) {
tmp = t_0;
} else if (y <= 1.4e+149) {
tmp = 0.041666666666666664 * ((x * x) * (x * x));
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = 1.0d0 + (0.16666666666666666d0 * (y * y))
if (y <= 27500000000000.0d0) then
tmp = t_0
else if (y <= 1.4d+149) then
tmp = 0.041666666666666664d0 * ((x * x) * (x * x))
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 1.0 + (0.16666666666666666 * (y * y));
double tmp;
if (y <= 27500000000000.0) {
tmp = t_0;
} else if (y <= 1.4e+149) {
tmp = 0.041666666666666664 * ((x * x) * (x * x));
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y): t_0 = 1.0 + (0.16666666666666666 * (y * y)) tmp = 0 if y <= 27500000000000.0: tmp = t_0 elif y <= 1.4e+149: tmp = 0.041666666666666664 * ((x * x) * (x * x)) else: tmp = t_0 return tmp
function code(x, y) t_0 = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))) tmp = 0.0 if (y <= 27500000000000.0) tmp = t_0; elseif (y <= 1.4e+149) tmp = Float64(0.041666666666666664 * Float64(Float64(x * x) * Float64(x * x))); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y) t_0 = 1.0 + (0.16666666666666666 * (y * y)); tmp = 0.0; if (y <= 27500000000000.0) tmp = t_0; elseif (y <= 1.4e+149) tmp = 0.041666666666666664 * ((x * x) * (x * x)); else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[y, 27500000000000.0], t$95$0, If[LessEqual[y, 1.4e+149], N[(0.041666666666666664 * N[(N[(x * x), $MachinePrecision] * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{if}\;y \leq 27500000000000:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y \leq 1.4 \cdot 10^{+149}:\\
\;\;\;\;0.041666666666666664 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if y < 2.75e13 or 1.4e149 < y Initial program 100.0%
Taylor expanded in x around 0
Simplified65.1%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6459.2%
Simplified59.2%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6452.9%
Simplified52.9%
if 2.75e13 < y < 1.4e149Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f643.1%
Simplified3.1%
Taylor expanded in x around 0
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6422.0%
Simplified22.0%
Taylor expanded in x around inf
*-lowering-*.f64N/A
metadata-evalN/A
pow-sqrN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6421.4%
Simplified21.4%
(FPCore (x y) :precision binary64 (if (<= y 1.3e+160) (/ (* y (+ 1.0 (* 0.16666666666666666 (* y y)))) y) (* (* y y) (+ 0.16666666666666666 (* (* x x) -0.08333333333333333)))))
double code(double x, double y) {
double tmp;
if (y <= 1.3e+160) {
tmp = (y * (1.0 + (0.16666666666666666 * (y * y)))) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (y <= 1.3d+160) then
tmp = (y * (1.0d0 + (0.16666666666666666d0 * (y * y)))) / y
else
tmp = (y * y) * (0.16666666666666666d0 + ((x * x) * (-0.08333333333333333d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 1.3e+160) {
tmp = (y * (1.0 + (0.16666666666666666 * (y * y)))) / y;
} else {
tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 1.3e+160: tmp = (y * (1.0 + (0.16666666666666666 * (y * y)))) / y else: tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (y <= 1.3e+160) tmp = Float64(Float64(y * Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y)))) / y); else tmp = Float64(Float64(y * y) * Float64(0.16666666666666666 + Float64(Float64(x * x) * -0.08333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 1.3e+160) tmp = (y * (1.0 + (0.16666666666666666 * (y * y)))) / y; else tmp = (y * y) * (0.16666666666666666 + ((x * x) * -0.08333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 1.3e+160], N[(N[(y * N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(y * y), $MachinePrecision] * N[(0.16666666666666666 + N[(N[(x * x), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 1.3 \cdot 10^{+160}:\\
\;\;\;\;\frac{y \cdot \left(1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\right)}{y}\\
\mathbf{else}:\\
\;\;\;\;\left(y \cdot y\right) \cdot \left(0.16666666666666666 + \left(x \cdot x\right) \cdot -0.08333333333333333\right)\\
\end{array}
\end{array}
if y < 1.3e160Initial program 100.0%
Taylor expanded in x around 0
Simplified66.2%
*-lft-identityN/A
/-lowering-/.f64N/A
sinh-lowering-sinh.f6466.2%
Applied egg-rr66.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6451.1%
Simplified51.1%
if 1.3e160 < y Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6492.3%
Simplified92.3%
Taylor expanded in y around inf
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
distribute-lft-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval92.3%
Simplified92.3%
(FPCore (x y) :precision binary64 (if (<= x 1.15e+22) (+ 1.0 (* 0.16666666666666666 (* y y))) (* x (* x (+ -0.5 (* (* y y) -0.08333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= 1.15e+22) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else {
tmp = x * (x * (-0.5 + ((y * y) * -0.08333333333333333)));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 1.15d+22) then
tmp = 1.0d0 + (0.16666666666666666d0 * (y * y))
else
tmp = x * (x * ((-0.5d0) + ((y * y) * (-0.08333333333333333d0))))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 1.15e+22) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else {
tmp = x * (x * (-0.5 + ((y * y) * -0.08333333333333333)));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 1.15e+22: tmp = 1.0 + (0.16666666666666666 * (y * y)) else: tmp = x * (x * (-0.5 + ((y * y) * -0.08333333333333333))) return tmp
function code(x, y) tmp = 0.0 if (x <= 1.15e+22) tmp = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))); else tmp = Float64(x * Float64(x * Float64(-0.5 + Float64(Float64(y * y) * -0.08333333333333333)))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 1.15e+22) tmp = 1.0 + (0.16666666666666666 * (y * y)); else tmp = x * (x * (-0.5 + ((y * y) * -0.08333333333333333))); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 1.15e+22], N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x * N[(x * N[(-0.5 + N[(N[(y * y), $MachinePrecision] * -0.08333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 1.15 \cdot 10^{+22}:\\
\;\;\;\;1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(x \cdot \left(-0.5 + \left(y \cdot y\right) \cdot -0.08333333333333333\right)\right)\\
\end{array}
\end{array}
if x < 1.1500000000000001e22Initial program 100.0%
Taylor expanded in x around 0
Simplified75.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6466.4%
Simplified66.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6455.6%
Simplified55.6%
if 1.1500000000000001e22 < x Initial program 100.0%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6426.0%
Simplified26.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6424.2%
Simplified24.2%
Taylor expanded in x around inf
*-commutativeN/A
associate-*r*N/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-inN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
metadata-eval22.6%
Simplified22.6%
(FPCore (x y) :precision binary64 (if (<= x 8.6e+151) (+ 1.0 (* 0.16666666666666666 (* y y))) (+ 1.0 (* (* x x) -0.5))))
double code(double x, double y) {
double tmp;
if (x <= 8.6e+151) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else {
tmp = 1.0 + ((x * x) * -0.5);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 8.6d+151) then
tmp = 1.0d0 + (0.16666666666666666d0 * (y * y))
else
tmp = 1.0d0 + ((x * x) * (-0.5d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 8.6e+151) {
tmp = 1.0 + (0.16666666666666666 * (y * y));
} else {
tmp = 1.0 + ((x * x) * -0.5);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 8.6e+151: tmp = 1.0 + (0.16666666666666666 * (y * y)) else: tmp = 1.0 + ((x * x) * -0.5) return tmp
function code(x, y) tmp = 0.0 if (x <= 8.6e+151) tmp = Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))); else tmp = Float64(1.0 + Float64(Float64(x * x) * -0.5)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 8.6e+151) tmp = 1.0 + (0.16666666666666666 * (y * y)); else tmp = 1.0 + ((x * x) * -0.5); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 8.6e+151], N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 + N[(N[(x * x), $MachinePrecision] * -0.5), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 8.6 \cdot 10^{+151}:\\
\;\;\;\;1 + 0.16666666666666666 \cdot \left(y \cdot y\right)\\
\mathbf{else}:\\
\;\;\;\;1 + \left(x \cdot x\right) \cdot -0.5\\
\end{array}
\end{array}
if x < 8.59999999999999965e151Initial program 100.0%
Taylor expanded in x around 0
Simplified70.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6461.2%
Simplified61.2%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6450.5%
Simplified50.5%
if 8.59999999999999965e151 < x Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6453.5%
Simplified53.5%
Taylor expanded in x around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6424.7%
Simplified24.7%
(FPCore (x y) :precision binary64 (if (<= y 2.4) 1.0 (* 0.16666666666666666 (* y y))))
double code(double x, double y) {
double tmp;
if (y <= 2.4) {
tmp = 1.0;
} else {
tmp = 0.16666666666666666 * (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 <= 2.4d0) then
tmp = 1.0d0
else
tmp = 0.16666666666666666d0 * (y * y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (y <= 2.4) {
tmp = 1.0;
} else {
tmp = 0.16666666666666666 * (y * y);
}
return tmp;
}
def code(x, y): tmp = 0 if y <= 2.4: tmp = 1.0 else: tmp = 0.16666666666666666 * (y * y) return tmp
function code(x, y) tmp = 0.0 if (y <= 2.4) tmp = 1.0; else tmp = Float64(0.16666666666666666 * Float64(y * y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (y <= 2.4) tmp = 1.0; else tmp = 0.16666666666666666 * (y * y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[y, 2.4], 1.0, N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq 2.4:\\
\;\;\;\;1\\
\mathbf{else}:\\
\;\;\;\;0.16666666666666666 \cdot \left(y \cdot y\right)\\
\end{array}
\end{array}
if y < 2.39999999999999991Initial program 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6473.9%
Simplified73.9%
Taylor expanded in x around 0
Simplified45.7%
if 2.39999999999999991 < y Initial program 100.0%
Taylor expanded in x around 0
Simplified73.8%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6453.4%
Simplified53.4%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6431.5%
Simplified31.5%
Taylor expanded in y around inf
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6431.5%
Simplified31.5%
(FPCore (x y) :precision binary64 (+ 1.0 (* 0.16666666666666666 (* y y))))
double code(double x, double y) {
return 1.0 + (0.16666666666666666 * (y * y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 + (0.16666666666666666d0 * (y * y))
end function
public static double code(double x, double y) {
return 1.0 + (0.16666666666666666 * (y * y));
}
def code(x, y): return 1.0 + (0.16666666666666666 * (y * y))
function code(x, y) return Float64(1.0 + Float64(0.16666666666666666 * Float64(y * y))) end
function tmp = code(x, y) tmp = 1.0 + (0.16666666666666666 * (y * y)); end
code[x_, y_] := N[(1.0 + N[(0.16666666666666666 * N[(y * y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
1 + 0.16666666666666666 \cdot \left(y \cdot y\right)
\end{array}
Initial program 100.0%
Taylor expanded in x around 0
Simplified66.5%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6457.9%
Simplified57.9%
Taylor expanded in y around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6447.1%
Simplified47.1%
(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 100.0%
Taylor expanded in y around 0
cos-lowering-cos.f6455.9%
Simplified55.9%
Taylor expanded in x around 0
Simplified34.7%
herbie shell --seed 2024191
(FPCore (x y)
:name "Linear.Quaternion:$csin from linear-1.19.1.3"
:precision binary64
(* (cos x) (/ (sinh y) y)))