
(FPCore (x y) :precision binary64 (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))
double code(double x, double y) {
return (3.0 * sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (3.0d0 * sqrt(x)) * ((y + (1.0d0 / (x * 9.0d0))) - 1.0d0)
end function
public static double code(double x, double y) {
return (3.0 * Math.sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0);
}
def code(x, y): return (3.0 * math.sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0)
function code(x, y) return Float64(Float64(3.0 * sqrt(x)) * Float64(Float64(y + Float64(1.0 / Float64(x * 9.0))) - 1.0)) end
function tmp = code(x, y) tmp = (3.0 * sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0); end
code[x_, y_] := N[(N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision] * N[(N[(y + N[(1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(3 \cdot \sqrt{x}\right) \cdot \left(\left(y + \frac{1}{x \cdot 9}\right) - 1\right)
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 13 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))
double code(double x, double y) {
return (3.0 * sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (3.0d0 * sqrt(x)) * ((y + (1.0d0 / (x * 9.0d0))) - 1.0d0)
end function
public static double code(double x, double y) {
return (3.0 * Math.sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0);
}
def code(x, y): return (3.0 * math.sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0)
function code(x, y) return Float64(Float64(3.0 * sqrt(x)) * Float64(Float64(y + Float64(1.0 / Float64(x * 9.0))) - 1.0)) end
function tmp = code(x, y) tmp = (3.0 * sqrt(x)) * ((y + (1.0 / (x * 9.0))) - 1.0); end
code[x_, y_] := N[(N[(3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision] * N[(N[(y + N[(1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(3 \cdot \sqrt{x}\right) \cdot \left(\left(y + \frac{1}{x \cdot 9}\right) - 1\right)
\end{array}
(FPCore (x y) :precision binary64 (/ (+ (* 3.0 y) (+ -3.0 (/ 0.3333333333333333 x))) (pow x -0.5)))
double code(double x, double y) {
return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) / pow(x, -0.5);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((3.0d0 * y) + ((-3.0d0) + (0.3333333333333333d0 / x))) / (x ** (-0.5d0))
end function
public static double code(double x, double y) {
return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) / Math.pow(x, -0.5);
}
def code(x, y): return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) / math.pow(x, -0.5)
function code(x, y) return Float64(Float64(Float64(3.0 * y) + Float64(-3.0 + Float64(0.3333333333333333 / x))) / (x ^ -0.5)) end
function tmp = code(x, y) tmp = ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) / (x ^ -0.5); end
code[x_, y_] := N[(N[(N[(3.0 * y), $MachinePrecision] + N[(-3.0 + N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{3 \cdot y + \left(-3 + \frac{0.3333333333333333}{x}\right)}{{x}^{-0.5}}
\end{array}
Initial program 99.4%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.4%
Applied egg-rr99.4%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ -3.0 (pow x -0.5))))
(if (<= x 0.00044)
(/ (pow x -0.5) 3.0)
(if (<= x 5.2e+91)
t_0
(if (<= x 7.6e+113)
(/ (* 3.0 y) (pow x -0.5))
(if (<= x 4.2e+259) t_0 (* 3.0 (* y (sqrt x)))))))))
double code(double x, double y) {
double t_0 = -3.0 / pow(x, -0.5);
double tmp;
if (x <= 0.00044) {
tmp = pow(x, -0.5) / 3.0;
} else if (x <= 5.2e+91) {
tmp = t_0;
} else if (x <= 7.6e+113) {
tmp = (3.0 * y) / pow(x, -0.5);
} else if (x <= 4.2e+259) {
tmp = t_0;
} else {
tmp = 3.0 * (y * sqrt(x));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: t_0
real(8) :: tmp
t_0 = (-3.0d0) / (x ** (-0.5d0))
if (x <= 0.00044d0) then
tmp = (x ** (-0.5d0)) / 3.0d0
else if (x <= 5.2d+91) then
tmp = t_0
else if (x <= 7.6d+113) then
tmp = (3.0d0 * y) / (x ** (-0.5d0))
else if (x <= 4.2d+259) then
tmp = t_0
else
tmp = 3.0d0 * (y * sqrt(x))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = -3.0 / Math.pow(x, -0.5);
double tmp;
if (x <= 0.00044) {
tmp = Math.pow(x, -0.5) / 3.0;
} else if (x <= 5.2e+91) {
tmp = t_0;
} else if (x <= 7.6e+113) {
tmp = (3.0 * y) / Math.pow(x, -0.5);
} else if (x <= 4.2e+259) {
tmp = t_0;
} else {
tmp = 3.0 * (y * Math.sqrt(x));
}
return tmp;
}
def code(x, y): t_0 = -3.0 / math.pow(x, -0.5) tmp = 0 if x <= 0.00044: tmp = math.pow(x, -0.5) / 3.0 elif x <= 5.2e+91: tmp = t_0 elif x <= 7.6e+113: tmp = (3.0 * y) / math.pow(x, -0.5) elif x <= 4.2e+259: tmp = t_0 else: tmp = 3.0 * (y * math.sqrt(x)) return tmp
function code(x, y) t_0 = Float64(-3.0 / (x ^ -0.5)) tmp = 0.0 if (x <= 0.00044) tmp = Float64((x ^ -0.5) / 3.0); elseif (x <= 5.2e+91) tmp = t_0; elseif (x <= 7.6e+113) tmp = Float64(Float64(3.0 * y) / (x ^ -0.5)); elseif (x <= 4.2e+259) tmp = t_0; else tmp = Float64(3.0 * Float64(y * sqrt(x))); end return tmp end
function tmp_2 = code(x, y) t_0 = -3.0 / (x ^ -0.5); tmp = 0.0; if (x <= 0.00044) tmp = (x ^ -0.5) / 3.0; elseif (x <= 5.2e+91) tmp = t_0; elseif (x <= 7.6e+113) tmp = (3.0 * y) / (x ^ -0.5); elseif (x <= 4.2e+259) tmp = t_0; else tmp = 3.0 * (y * sqrt(x)); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(-3.0 / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 0.00044], N[(N[Power[x, -0.5], $MachinePrecision] / 3.0), $MachinePrecision], If[LessEqual[x, 5.2e+91], t$95$0, If[LessEqual[x, 7.6e+113], N[(N[(3.0 * y), $MachinePrecision] / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 4.2e+259], t$95$0, N[(3.0 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{-3}{{x}^{-0.5}}\\
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;\frac{{x}^{-0.5}}{3}\\
\mathbf{elif}\;x \leq 5.2 \cdot 10^{+91}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;x \leq 7.6 \cdot 10^{+113}:\\
\;\;\;\;\frac{3 \cdot y}{{x}^{-0.5}}\\
\mathbf{elif}\;x \leq 4.2 \cdot 10^{+259}:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;3 \cdot \left(y \cdot \sqrt{x}\right)\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
metadata-evalN/A
pow1/2N/A
metadata-evalN/A
pow-plusN/A
frac-timesN/A
pow-flipN/A
metadata-evalN/A
metadata-evalN/A
pow-plusN/A
associate-*l*N/A
remove-double-divN/A
clear-numN/A
frac-timesN/A
metadata-evalN/A
un-div-invN/A
inv-powN/A
clear-numN/A
inv-powN/A
pow-prod-downN/A
*-commutativeN/A
div-invN/A
associate-*l*N/A
lft-mult-inverseN/A
metadata-evalN/A
Applied egg-rr77.3%
if 4.40000000000000016e-4 < x < 5.2000000000000001e91 or 7.6000000000000007e113 < x < 4.20000000000000011e259Initial program 99.5%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.5%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.3%
Simplified98.3%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6458.9%
Simplified58.9%
*-commutativeN/A
pow1/2N/A
metadata-evalN/A
pow-flipN/A
un-div-invN/A
/-lowering-/.f64N/A
pow-lowering-pow.f6459.0%
Applied egg-rr59.0%
if 5.2000000000000001e91 < x < 7.6000000000000007e113Initial program 99.5%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.7%
Applied egg-rr99.9%
Taylor expanded in y around inf
*-lowering-*.f6480.7%
Simplified80.7%
if 4.20000000000000011e259 < x Initial program 99.8%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.8%
Taylor expanded in y around inf
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6466.0%
Simplified66.0%
Final simplification69.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* 3.0 (* y (sqrt x)))) (t_1 (/ -3.0 (pow x -0.5))))
(if (<= x 0.00044)
(/ (pow x -0.5) 3.0)
(if (<= x 4.1e+91)
t_1
(if (<= x 4.9e+117) t_0 (if (<= x 3.1e+262) t_1 t_0))))))
double code(double x, double y) {
double t_0 = 3.0 * (y * sqrt(x));
double t_1 = -3.0 / pow(x, -0.5);
double tmp;
if (x <= 0.00044) {
tmp = pow(x, -0.5) / 3.0;
} else if (x <= 4.1e+91) {
tmp = t_1;
} else if (x <= 4.9e+117) {
tmp = t_0;
} else if (x <= 3.1e+262) {
tmp = t_1;
} 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) :: t_1
real(8) :: tmp
t_0 = 3.0d0 * (y * sqrt(x))
t_1 = (-3.0d0) / (x ** (-0.5d0))
if (x <= 0.00044d0) then
tmp = (x ** (-0.5d0)) / 3.0d0
else if (x <= 4.1d+91) then
tmp = t_1
else if (x <= 4.9d+117) then
tmp = t_0
else if (x <= 3.1d+262) then
tmp = t_1
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 3.0 * (y * Math.sqrt(x));
double t_1 = -3.0 / Math.pow(x, -0.5);
double tmp;
if (x <= 0.00044) {
tmp = Math.pow(x, -0.5) / 3.0;
} else if (x <= 4.1e+91) {
tmp = t_1;
} else if (x <= 4.9e+117) {
tmp = t_0;
} else if (x <= 3.1e+262) {
tmp = t_1;
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y): t_0 = 3.0 * (y * math.sqrt(x)) t_1 = -3.0 / math.pow(x, -0.5) tmp = 0 if x <= 0.00044: tmp = math.pow(x, -0.5) / 3.0 elif x <= 4.1e+91: tmp = t_1 elif x <= 4.9e+117: tmp = t_0 elif x <= 3.1e+262: tmp = t_1 else: tmp = t_0 return tmp
function code(x, y) t_0 = Float64(3.0 * Float64(y * sqrt(x))) t_1 = Float64(-3.0 / (x ^ -0.5)) tmp = 0.0 if (x <= 0.00044) tmp = Float64((x ^ -0.5) / 3.0); elseif (x <= 4.1e+91) tmp = t_1; elseif (x <= 4.9e+117) tmp = t_0; elseif (x <= 3.1e+262) tmp = t_1; else tmp = t_0; end return tmp end
function tmp_2 = code(x, y) t_0 = 3.0 * (y * sqrt(x)); t_1 = -3.0 / (x ^ -0.5); tmp = 0.0; if (x <= 0.00044) tmp = (x ^ -0.5) / 3.0; elseif (x <= 4.1e+91) tmp = t_1; elseif (x <= 4.9e+117) tmp = t_0; elseif (x <= 3.1e+262) tmp = t_1; else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(3.0 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(-3.0 / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 0.00044], N[(N[Power[x, -0.5], $MachinePrecision] / 3.0), $MachinePrecision], If[LessEqual[x, 4.1e+91], t$95$1, If[LessEqual[x, 4.9e+117], t$95$0, If[LessEqual[x, 3.1e+262], t$95$1, t$95$0]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 3 \cdot \left(y \cdot \sqrt{x}\right)\\
t_1 := \frac{-3}{{x}^{-0.5}}\\
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;\frac{{x}^{-0.5}}{3}\\
\mathbf{elif}\;x \leq 4.1 \cdot 10^{+91}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;x \leq 4.9 \cdot 10^{+117}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;x \leq 3.1 \cdot 10^{+262}:\\
\;\;\;\;t\_1\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
metadata-evalN/A
pow1/2N/A
metadata-evalN/A
pow-plusN/A
frac-timesN/A
pow-flipN/A
metadata-evalN/A
metadata-evalN/A
pow-plusN/A
associate-*l*N/A
remove-double-divN/A
clear-numN/A
frac-timesN/A
metadata-evalN/A
un-div-invN/A
inv-powN/A
clear-numN/A
inv-powN/A
pow-prod-downN/A
*-commutativeN/A
div-invN/A
associate-*l*N/A
lft-mult-inverseN/A
metadata-evalN/A
Applied egg-rr77.3%
if 4.40000000000000016e-4 < x < 4.1000000000000002e91 or 4.9000000000000001e117 < x < 3.09999999999999991e262Initial program 99.5%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.5%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.3%
Simplified98.3%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6458.9%
Simplified58.9%
*-commutativeN/A
pow1/2N/A
metadata-evalN/A
pow-flipN/A
un-div-invN/A
/-lowering-/.f64N/A
pow-lowering-pow.f6459.0%
Applied egg-rr59.0%
if 4.1000000000000002e91 < x < 4.9000000000000001e117 or 3.09999999999999991e262 < x Initial program 99.7%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.8%
Taylor expanded in y around inf
*-lowering-*.f64N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6472.9%
Simplified72.9%
Final simplification69.5%
(FPCore (x y) :precision binary64 (if (<= x 0.00135) (/ (+ 0.3333333333333333 (* (* 3.0 y) x)) (sqrt x)) (* (sqrt x) (+ (* 3.0 y) -3.0))))
double code(double x, double y) {
double tmp;
if (x <= 0.00135) {
tmp = (0.3333333333333333 + ((3.0 * y) * x)) / sqrt(x);
} else {
tmp = sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.00135d0) then
tmp = (0.3333333333333333d0 + ((3.0d0 * y) * x)) / sqrt(x)
else
tmp = sqrt(x) * ((3.0d0 * y) + (-3.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00135) {
tmp = (0.3333333333333333 + ((3.0 * y) * x)) / Math.sqrt(x);
} else {
tmp = Math.sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00135: tmp = (0.3333333333333333 + ((3.0 * y) * x)) / math.sqrt(x) else: tmp = math.sqrt(x) * ((3.0 * y) + -3.0) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00135) tmp = Float64(Float64(0.3333333333333333 + Float64(Float64(3.0 * y) * x)) / sqrt(x)); else tmp = Float64(sqrt(x) * Float64(Float64(3.0 * y) + -3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00135) tmp = (0.3333333333333333 + ((3.0 * y) * x)) / sqrt(x); else tmp = sqrt(x) * ((3.0 * y) + -3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00135], N[(N[(0.3333333333333333 + N[(N[(3.0 * y), $MachinePrecision] * x), $MachinePrecision]), $MachinePrecision] / N[Sqrt[x], $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(3.0 * y), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00135:\\
\;\;\;\;\frac{0.3333333333333333 + \left(3 \cdot y\right) \cdot x}{\sqrt{x}}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot \left(3 \cdot y + -3\right)\\
\end{array}
\end{array}
if x < 0.0013500000000000001Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Applied egg-rr99.3%
metadata-evalN/A
pow-prod-upN/A
pow1/2N/A
inv-powN/A
div-invN/A
un-div-invN/A
clear-numN/A
associate-*r/N/A
*-commutativeN/A
/-lowering-/.f64N/A
Applied egg-rr99.4%
Taylor expanded in y around inf
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
if 0.0013500000000000001 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Final simplification98.7%
(FPCore (x y) :precision binary64 (if (<= x 3.2e-8) (* 3.0 (/ (- 0.1111111111111111 x) (sqrt x))) (* (sqrt x) (+ (* 3.0 y) -3.0))))
double code(double x, double y) {
double tmp;
if (x <= 3.2e-8) {
tmp = 3.0 * ((0.1111111111111111 - x) / sqrt(x));
} else {
tmp = sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 3.2d-8) then
tmp = 3.0d0 * ((0.1111111111111111d0 - x) / sqrt(x))
else
tmp = sqrt(x) * ((3.0d0 * y) + (-3.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 3.2e-8) {
tmp = 3.0 * ((0.1111111111111111 - x) / Math.sqrt(x));
} else {
tmp = Math.sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 3.2e-8: tmp = 3.0 * ((0.1111111111111111 - x) / math.sqrt(x)) else: tmp = math.sqrt(x) * ((3.0 * y) + -3.0) return tmp
function code(x, y) tmp = 0.0 if (x <= 3.2e-8) tmp = Float64(3.0 * Float64(Float64(0.1111111111111111 - x) / sqrt(x))); else tmp = Float64(sqrt(x) * Float64(Float64(3.0 * y) + -3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 3.2e-8) tmp = 3.0 * ((0.1111111111111111 - x) / sqrt(x)); else tmp = sqrt(x) * ((3.0 * y) + -3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 3.2e-8], N[(3.0 * N[(N[(0.1111111111111111 - x), $MachinePrecision] / N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(3.0 * y), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 3.2 \cdot 10^{-8}:\\
\;\;\;\;3 \cdot \frac{0.1111111111111111 - x}{\sqrt{x}}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot \left(3 \cdot y + -3\right)\\
\end{array}
\end{array}
if x < 3.2000000000000002e-8Initial program 99.2%
Taylor expanded in y around 0
/-lowering-/.f6477.7%
Simplified77.7%
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f64N/A
Applied egg-rr77.9%
if 3.2000000000000002e-8 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Final simplification88.7%
(FPCore (x y) :precision binary64 (if (<= x 0.00016) (* (sqrt x) (+ -3.0 (/ 0.3333333333333333 x))) (* (sqrt x) (+ (* 3.0 y) -3.0))))
double code(double x, double y) {
double tmp;
if (x <= 0.00016) {
tmp = sqrt(x) * (-3.0 + (0.3333333333333333 / x));
} else {
tmp = sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.00016d0) then
tmp = sqrt(x) * ((-3.0d0) + (0.3333333333333333d0 / x))
else
tmp = sqrt(x) * ((3.0d0 * y) + (-3.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00016) {
tmp = Math.sqrt(x) * (-3.0 + (0.3333333333333333 / x));
} else {
tmp = Math.sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00016: tmp = math.sqrt(x) * (-3.0 + (0.3333333333333333 / x)) else: tmp = math.sqrt(x) * ((3.0 * y) + -3.0) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00016) tmp = Float64(sqrt(x) * Float64(-3.0 + Float64(0.3333333333333333 / x))); else tmp = Float64(sqrt(x) * Float64(Float64(3.0 * y) + -3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00016) tmp = sqrt(x) * (-3.0 + (0.3333333333333333 / x)); else tmp = sqrt(x) * ((3.0 * y) + -3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00016], N[(N[Sqrt[x], $MachinePrecision] * N[(-3.0 + N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(3.0 * y), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00016:\\
\;\;\;\;\sqrt{x} \cdot \left(-3 + \frac{0.3333333333333333}{x}\right)\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot \left(3 \cdot y + -3\right)\\
\end{array}
\end{array}
if x < 1.60000000000000013e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f6477.7%
Simplified77.7%
if 1.60000000000000013e-4 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Final simplification88.6%
(FPCore (x y) :precision binary64 (if (<= x 1e-8) (/ (pow x -0.5) 3.0) (* (sqrt x) (+ (* 3.0 y) -3.0))))
double code(double x, double y) {
double tmp;
if (x <= 1e-8) {
tmp = pow(x, -0.5) / 3.0;
} else {
tmp = sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 1d-8) then
tmp = (x ** (-0.5d0)) / 3.0d0
else
tmp = sqrt(x) * ((3.0d0 * y) + (-3.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 1e-8) {
tmp = Math.pow(x, -0.5) / 3.0;
} else {
tmp = Math.sqrt(x) * ((3.0 * y) + -3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 1e-8: tmp = math.pow(x, -0.5) / 3.0 else: tmp = math.sqrt(x) * ((3.0 * y) + -3.0) return tmp
function code(x, y) tmp = 0.0 if (x <= 1e-8) tmp = Float64((x ^ -0.5) / 3.0); else tmp = Float64(sqrt(x) * Float64(Float64(3.0 * y) + -3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 1e-8) tmp = (x ^ -0.5) / 3.0; else tmp = sqrt(x) * ((3.0 * y) + -3.0); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 1e-8], N[(N[Power[x, -0.5], $MachinePrecision] / 3.0), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(3.0 * y), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 10^{-8}:\\
\;\;\;\;\frac{{x}^{-0.5}}{3}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot \left(3 \cdot y + -3\right)\\
\end{array}
\end{array}
if x < 1e-8Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
metadata-evalN/A
pow1/2N/A
metadata-evalN/A
pow-plusN/A
frac-timesN/A
pow-flipN/A
metadata-evalN/A
metadata-evalN/A
pow-plusN/A
associate-*l*N/A
remove-double-divN/A
clear-numN/A
frac-timesN/A
metadata-evalN/A
un-div-invN/A
inv-powN/A
clear-numN/A
inv-powN/A
pow-prod-downN/A
*-commutativeN/A
div-invN/A
associate-*l*N/A
lft-mult-inverseN/A
metadata-evalN/A
Applied egg-rr77.3%
if 1e-8 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
(FPCore (x y) :precision binary64 (* (+ (* 3.0 y) (+ -3.0 (/ 0.3333333333333333 x))) (sqrt x)))
double code(double x, double y) {
return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) * sqrt(x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((3.0d0 * y) + ((-3.0d0) + (0.3333333333333333d0 / x))) * sqrt(x)
end function
public static double code(double x, double y) {
return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) * Math.sqrt(x);
}
def code(x, y): return ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) * math.sqrt(x)
function code(x, y) return Float64(Float64(Float64(3.0 * y) + Float64(-3.0 + Float64(0.3333333333333333 / x))) * sqrt(x)) end
function tmp = code(x, y) tmp = ((3.0 * y) + (-3.0 + (0.3333333333333333 / x))) * sqrt(x); end
code[x_, y_] := N[(N[(N[(3.0 * y), $MachinePrecision] + N[(-3.0 + N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(3 \cdot y + \left(-3 + \frac{0.3333333333333333}{x}\right)\right) \cdot \sqrt{x}
\end{array}
Initial program 99.4%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.4%
Final simplification99.4%
(FPCore (x y) :precision binary64 (if (<= x 0.00044) (/ (pow x -0.5) 3.0) (/ -3.0 (pow x -0.5))))
double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = pow(x, -0.5) / 3.0;
} else {
tmp = -3.0 / pow(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 <= 0.00044d0) then
tmp = (x ** (-0.5d0)) / 3.0d0
else
tmp = (-3.0d0) / (x ** (-0.5d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = Math.pow(x, -0.5) / 3.0;
} else {
tmp = -3.0 / Math.pow(x, -0.5);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00044: tmp = math.pow(x, -0.5) / 3.0 else: tmp = -3.0 / math.pow(x, -0.5) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00044) tmp = Float64((x ^ -0.5) / 3.0); else tmp = Float64(-3.0 / (x ^ -0.5)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00044) tmp = (x ^ -0.5) / 3.0; else tmp = -3.0 / (x ^ -0.5); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00044], N[(N[Power[x, -0.5], $MachinePrecision] / 3.0), $MachinePrecision], N[(-3.0 / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;\frac{{x}^{-0.5}}{3}\\
\mathbf{else}:\\
\;\;\;\;\frac{-3}{{x}^{-0.5}}\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
metadata-evalN/A
pow1/2N/A
metadata-evalN/A
pow-plusN/A
frac-timesN/A
pow-flipN/A
metadata-evalN/A
metadata-evalN/A
pow-plusN/A
associate-*l*N/A
remove-double-divN/A
clear-numN/A
frac-timesN/A
metadata-evalN/A
un-div-invN/A
inv-powN/A
clear-numN/A
inv-powN/A
pow-prod-downN/A
*-commutativeN/A
div-invN/A
associate-*l*N/A
lft-mult-inverseN/A
metadata-evalN/A
Applied egg-rr77.3%
if 4.40000000000000016e-4 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6451.5%
Simplified51.5%
*-commutativeN/A
pow1/2N/A
metadata-evalN/A
pow-flipN/A
un-div-invN/A
/-lowering-/.f64N/A
pow-lowering-pow.f6451.6%
Applied egg-rr51.6%
(FPCore (x y) :precision binary64 (if (<= x 0.00044) (* 0.3333333333333333 (pow x -0.5)) (/ -3.0 (pow x -0.5))))
double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 * pow(x, -0.5);
} else {
tmp = -3.0 / pow(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 <= 0.00044d0) then
tmp = 0.3333333333333333d0 * (x ** (-0.5d0))
else
tmp = (-3.0d0) / (x ** (-0.5d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 * Math.pow(x, -0.5);
} else {
tmp = -3.0 / Math.pow(x, -0.5);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00044: tmp = 0.3333333333333333 * math.pow(x, -0.5) else: tmp = -3.0 / math.pow(x, -0.5) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00044) tmp = Float64(0.3333333333333333 * (x ^ -0.5)); else tmp = Float64(-3.0 / (x ^ -0.5)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00044) tmp = 0.3333333333333333 * (x ^ -0.5); else tmp = -3.0 / (x ^ -0.5); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00044], N[(0.3333333333333333 * N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision], N[(-3.0 / N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;0.3333333333333333 \cdot {x}^{-0.5}\\
\mathbf{else}:\\
\;\;\;\;\frac{-3}{{x}^{-0.5}}\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
inv-powN/A
sqrt-pow1N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f64N/A
pow-lowering-pow.f6477.3%
Applied egg-rr77.3%
if 4.40000000000000016e-4 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6451.5%
Simplified51.5%
*-commutativeN/A
pow1/2N/A
metadata-evalN/A
pow-flipN/A
un-div-invN/A
/-lowering-/.f64N/A
pow-lowering-pow.f6451.6%
Applied egg-rr51.6%
Final simplification63.9%
(FPCore (x y) :precision binary64 (if (<= x 0.00044) (* 0.3333333333333333 (pow x -0.5)) (* -3.0 (sqrt x))))
double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 * pow(x, -0.5);
} else {
tmp = -3.0 * sqrt(x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.00044d0) then
tmp = 0.3333333333333333d0 * (x ** (-0.5d0))
else
tmp = (-3.0d0) * sqrt(x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 * Math.pow(x, -0.5);
} else {
tmp = -3.0 * Math.sqrt(x);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00044: tmp = 0.3333333333333333 * math.pow(x, -0.5) else: tmp = -3.0 * math.sqrt(x) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00044) tmp = Float64(0.3333333333333333 * (x ^ -0.5)); else tmp = Float64(-3.0 * sqrt(x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00044) tmp = 0.3333333333333333 * (x ^ -0.5); else tmp = -3.0 * sqrt(x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00044], N[(0.3333333333333333 * N[Power[x, -0.5], $MachinePrecision]), $MachinePrecision], N[(-3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;0.3333333333333333 \cdot {x}^{-0.5}\\
\mathbf{else}:\\
\;\;\;\;-3 \cdot \sqrt{x}\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
inv-powN/A
sqrt-pow1N/A
metadata-evalN/A
*-commutativeN/A
*-lowering-*.f64N/A
pow-lowering-pow.f6477.3%
Applied egg-rr77.3%
if 4.40000000000000016e-4 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6451.5%
Simplified51.5%
Final simplification63.9%
(FPCore (x y) :precision binary64 (if (<= x 0.00044) (/ 0.3333333333333333 (sqrt x)) (* -3.0 (sqrt x))))
double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 / sqrt(x);
} else {
tmp = -3.0 * sqrt(x);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.00044d0) then
tmp = 0.3333333333333333d0 / sqrt(x)
else
tmp = (-3.0d0) * sqrt(x)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.00044) {
tmp = 0.3333333333333333 / Math.sqrt(x);
} else {
tmp = -3.0 * Math.sqrt(x);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.00044: tmp = 0.3333333333333333 / math.sqrt(x) else: tmp = -3.0 * math.sqrt(x) return tmp
function code(x, y) tmp = 0.0 if (x <= 0.00044) tmp = Float64(0.3333333333333333 / sqrt(x)); else tmp = Float64(-3.0 * sqrt(x)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.00044) tmp = 0.3333333333333333 / sqrt(x); else tmp = -3.0 * sqrt(x); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.00044], N[(0.3333333333333333 / N[Sqrt[x], $MachinePrecision]), $MachinePrecision], N[(-3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.00044:\\
\;\;\;\;\frac{0.3333333333333333}{\sqrt{x}}\\
\mathbf{else}:\\
\;\;\;\;-3 \cdot \sqrt{x}\\
\end{array}
\end{array}
if x < 4.40000000000000016e-4Initial program 99.2%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.3%
Taylor expanded in x around 0
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f6477.2%
Simplified77.2%
sqrt-divN/A
metadata-evalN/A
un-div-invN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6477.2%
Applied egg-rr77.2%
if 4.40000000000000016e-4 < x Initial program 99.6%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.6%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6498.6%
Simplified98.6%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6451.5%
Simplified51.5%
Final simplification63.9%
(FPCore (x y) :precision binary64 (* -3.0 (sqrt x)))
double code(double x, double y) {
return -3.0 * sqrt(x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (-3.0d0) * sqrt(x)
end function
public static double code(double x, double y) {
return -3.0 * Math.sqrt(x);
}
def code(x, y): return -3.0 * math.sqrt(x)
function code(x, y) return Float64(-3.0 * sqrt(x)) end
function tmp = code(x, y) tmp = -3.0 * sqrt(x); end
code[x_, y_] := N[(-3.0 * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
-3 \cdot \sqrt{x}
\end{array}
Initial program 99.4%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
associate--l+N/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
sub-negN/A
+-commutativeN/A
distribute-lft-inN/A
*-commutativeN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
*-commutativeN/A
*-commutativeN/A
associate-/r*N/A
associate-*r/N/A
/-lowering-/.f64N/A
Simplified99.4%
Taylor expanded in x around inf
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f64N/A
*-lowering-*.f6462.0%
Simplified62.0%
Taylor expanded in y around 0
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6427.6%
Simplified27.6%
Final simplification27.6%
(FPCore (x y) :precision binary64 (* 3.0 (+ (* y (sqrt x)) (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x)))))
double code(double x, double y) {
return 3.0 * ((y * sqrt(x)) + (((1.0 / (x * 9.0)) - 1.0) * sqrt(x)));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 3.0d0 * ((y * sqrt(x)) + (((1.0d0 / (x * 9.0d0)) - 1.0d0) * sqrt(x)))
end function
public static double code(double x, double y) {
return 3.0 * ((y * Math.sqrt(x)) + (((1.0 / (x * 9.0)) - 1.0) * Math.sqrt(x)));
}
def code(x, y): return 3.0 * ((y * math.sqrt(x)) + (((1.0 / (x * 9.0)) - 1.0) * math.sqrt(x)))
function code(x, y) return Float64(3.0 * Float64(Float64(y * sqrt(x)) + Float64(Float64(Float64(1.0 / Float64(x * 9.0)) - 1.0) * sqrt(x)))) end
function tmp = code(x, y) tmp = 3.0 * ((y * sqrt(x)) + (((1.0 / (x * 9.0)) - 1.0) * sqrt(x))); end
code[x_, y_] := N[(3.0 * N[(N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision] + N[(N[(N[(1.0 / N[(x * 9.0), $MachinePrecision]), $MachinePrecision] - 1.0), $MachinePrecision] * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
3 \cdot \left(y \cdot \sqrt{x} + \left(\frac{1}{x \cdot 9} - 1\right) \cdot \sqrt{x}\right)
\end{array}
herbie shell --seed 2024164
(FPCore (x y)
:name "Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B"
:precision binary64
:alt
(! :herbie-platform default (* 3 (+ (* y (sqrt x)) (* (- (/ 1 (* x 9)) 1) (sqrt x)))))
(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))