
(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 16 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 (* (sqrt (* x 9.0)) (+ y (+ (/ 0.1111111111111111 x) -1.0))))
double code(double x, double y) {
return sqrt((x * 9.0)) * (y + ((0.1111111111111111 / x) + -1.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = sqrt((x * 9.0d0)) * (y + ((0.1111111111111111d0 / x) + (-1.0d0)))
end function
public static double code(double x, double y) {
return Math.sqrt((x * 9.0)) * (y + ((0.1111111111111111 / x) + -1.0));
}
def code(x, y): return math.sqrt((x * 9.0)) * (y + ((0.1111111111111111 / x) + -1.0))
function code(x, y) return Float64(sqrt(Float64(x * 9.0)) * Float64(y + Float64(Float64(0.1111111111111111 / x) + -1.0))) end
function tmp = code(x, y) tmp = sqrt((x * 9.0)) * (y + ((0.1111111111111111 / x) + -1.0)); end
code[x_, y_] := N[(N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision] * N[(y + N[(N[(0.1111111111111111 / x), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\sqrt{x \cdot 9} \cdot \left(y + \left(\frac{0.1111111111111111}{x} + -1\right)\right)
\end{array}
Initial program 99.3%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.5%
+-commutative99.5%
Applied egg-rr99.5%
distribute-lft-out99.5%
associate-+r+99.5%
metadata-eval99.5%
sub-neg99.5%
associate-+l-99.5%
Simplified99.5%
Final simplification99.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (sqrt (* x 9.0))))
(if (<= x 2.5e-43)
(* (/ 3.0 x) (/ (sqrt x) 9.0))
(if (<= x 2.9e-24)
(* t_0 y)
(if (<= x 0.00062)
(* t_0 (- -1.0 (/ -0.1111111111111111 x)))
(* t_0 (+ y -1.0)))))))
double code(double x, double y) {
double t_0 = sqrt((x * 9.0));
double tmp;
if (x <= 2.5e-43) {
tmp = (3.0 / x) * (sqrt(x) / 9.0);
} else if (x <= 2.9e-24) {
tmp = t_0 * y;
} else if (x <= 0.00062) {
tmp = t_0 * (-1.0 - (-0.1111111111111111 / x));
} else {
tmp = t_0 * (y + -1.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 = sqrt((x * 9.0d0))
if (x <= 2.5d-43) then
tmp = (3.0d0 / x) * (sqrt(x) / 9.0d0)
else if (x <= 2.9d-24) then
tmp = t_0 * y
else if (x <= 0.00062d0) then
tmp = t_0 * ((-1.0d0) - ((-0.1111111111111111d0) / x))
else
tmp = t_0 * (y + (-1.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt((x * 9.0));
double tmp;
if (x <= 2.5e-43) {
tmp = (3.0 / x) * (Math.sqrt(x) / 9.0);
} else if (x <= 2.9e-24) {
tmp = t_0 * y;
} else if (x <= 0.00062) {
tmp = t_0 * (-1.0 - (-0.1111111111111111 / x));
} else {
tmp = t_0 * (y + -1.0);
}
return tmp;
}
def code(x, y): t_0 = math.sqrt((x * 9.0)) tmp = 0 if x <= 2.5e-43: tmp = (3.0 / x) * (math.sqrt(x) / 9.0) elif x <= 2.9e-24: tmp = t_0 * y elif x <= 0.00062: tmp = t_0 * (-1.0 - (-0.1111111111111111 / x)) else: tmp = t_0 * (y + -1.0) return tmp
function code(x, y) t_0 = sqrt(Float64(x * 9.0)) tmp = 0.0 if (x <= 2.5e-43) tmp = Float64(Float64(3.0 / x) * Float64(sqrt(x) / 9.0)); elseif (x <= 2.9e-24) tmp = Float64(t_0 * y); elseif (x <= 0.00062) tmp = Float64(t_0 * Float64(-1.0 - Float64(-0.1111111111111111 / x))); else tmp = Float64(t_0 * Float64(y + -1.0)); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt((x * 9.0)); tmp = 0.0; if (x <= 2.5e-43) tmp = (3.0 / x) * (sqrt(x) / 9.0); elseif (x <= 2.9e-24) tmp = t_0 * y; elseif (x <= 0.00062) tmp = t_0 * (-1.0 - (-0.1111111111111111 / x)); else tmp = t_0 * (y + -1.0); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[x, 2.5e-43], N[(N[(3.0 / x), $MachinePrecision] * N[(N[Sqrt[x], $MachinePrecision] / 9.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.9e-24], N[(t$95$0 * y), $MachinePrecision], If[LessEqual[x, 0.00062], N[(t$95$0 * N[(-1.0 - N[(-0.1111111111111111 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t$95$0 * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x \cdot 9}\\
\mathbf{if}\;x \leq 2.5 \cdot 10^{-43}:\\
\;\;\;\;\frac{3}{x} \cdot \frac{\sqrt{x}}{9}\\
\mathbf{elif}\;x \leq 2.9 \cdot 10^{-24}:\\
\;\;\;\;t_0 \cdot y\\
\mathbf{elif}\;x \leq 0.00062:\\
\;\;\;\;t_0 \cdot \left(-1 - \frac{-0.1111111111111111}{x}\right)\\
\mathbf{else}:\\
\;\;\;\;t_0 \cdot \left(y + -1\right)\\
\end{array}
\end{array}
if x < 2.50000000000000009e-43Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 80.4%
associate-*r*80.6%
clear-num80.6%
un-div-inv80.6%
div-inv80.7%
metadata-eval80.7%
Applied egg-rr80.7%
times-frac80.7%
Simplified80.7%
if 2.50000000000000009e-43 < x < 2.8999999999999999e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 2.8999999999999999e-24 < x < 6.2e-4Initial program 99.5%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in y around 0 74.0%
sub-neg74.0%
associate-*r/74.0%
metadata-eval74.0%
metadata-eval74.0%
+-commutative74.0%
metadata-eval74.0%
distribute-neg-frac74.0%
unsub-neg74.0%
Simplified74.0%
if 6.2e-4 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
*-commutative99.4%
metadata-eval99.4%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in x around inf 99.0%
Final simplification88.4%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* 0.3333333333333333 (/ (sqrt x) x)))
(t_1 (* 3.0 (* y (sqrt x)))))
(if (<= x 2e-42)
t_0
(if (<= x 7e-24)
t_1
(if (<= x 2e-10) t_0 (if (<= x 4.5e+259) t_1 (* (sqrt x) -3.0)))))))
double code(double x, double y) {
double t_0 = 0.3333333333333333 * (sqrt(x) / x);
double t_1 = 3.0 * (y * sqrt(x));
double tmp;
if (x <= 2e-42) {
tmp = t_0;
} else if (x <= 7e-24) {
tmp = t_1;
} else if (x <= 2e-10) {
tmp = t_0;
} else if (x <= 4.5e+259) {
tmp = t_1;
} else {
tmp = sqrt(x) * -3.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 = 0.3333333333333333d0 * (sqrt(x) / x)
t_1 = 3.0d0 * (y * sqrt(x))
if (x <= 2d-42) then
tmp = t_0
else if (x <= 7d-24) then
tmp = t_1
else if (x <= 2d-10) then
tmp = t_0
else if (x <= 4.5d+259) then
tmp = t_1
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 0.3333333333333333 * (Math.sqrt(x) / x);
double t_1 = 3.0 * (y * Math.sqrt(x));
double tmp;
if (x <= 2e-42) {
tmp = t_0;
} else if (x <= 7e-24) {
tmp = t_1;
} else if (x <= 2e-10) {
tmp = t_0;
} else if (x <= 4.5e+259) {
tmp = t_1;
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): t_0 = 0.3333333333333333 * (math.sqrt(x) / x) t_1 = 3.0 * (y * math.sqrt(x)) tmp = 0 if x <= 2e-42: tmp = t_0 elif x <= 7e-24: tmp = t_1 elif x <= 2e-10: tmp = t_0 elif x <= 4.5e+259: tmp = t_1 else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) t_0 = Float64(0.3333333333333333 * Float64(sqrt(x) / x)) t_1 = Float64(3.0 * Float64(y * sqrt(x))) tmp = 0.0 if (x <= 2e-42) tmp = t_0; elseif (x <= 7e-24) tmp = t_1; elseif (x <= 2e-10) tmp = t_0; elseif (x <= 4.5e+259) tmp = t_1; else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) t_0 = 0.3333333333333333 * (sqrt(x) / x); t_1 = 3.0 * (y * sqrt(x)); tmp = 0.0; if (x <= 2e-42) tmp = t_0; elseif (x <= 7e-24) tmp = t_1; elseif (x <= 2e-10) tmp = t_0; elseif (x <= 4.5e+259) tmp = t_1; else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(0.3333333333333333 * N[(N[Sqrt[x], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(3.0 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 2e-42], t$95$0, If[LessEqual[x, 7e-24], t$95$1, If[LessEqual[x, 2e-10], t$95$0, If[LessEqual[x, 4.5e+259], t$95$1, N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.3333333333333333 \cdot \frac{\sqrt{x}}{x}\\
t_1 := 3 \cdot \left(y \cdot \sqrt{x}\right)\\
\mathbf{if}\;x \leq 2 \cdot 10^{-42}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 7 \cdot 10^{-24}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;x \leq 2 \cdot 10^{-10}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 4.5 \cdot 10^{+259}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 2.00000000000000008e-42 or 6.9999999999999993e-24 < x < 2.00000000000000007e-10Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
Taylor expanded in x around 0 80.2%
associate-*r*80.3%
clear-num80.3%
un-div-inv80.3%
div-inv80.4%
metadata-eval80.4%
Applied egg-rr80.4%
*-commutative80.4%
times-frac80.3%
metadata-eval80.3%
Simplified80.3%
if 2.00000000000000008e-42 < x < 6.9999999999999993e-24 or 2.00000000000000007e-10 < x < 4.4999999999999997e259Initial program 99.4%
*-commutative99.4%
associate-*l*99.4%
associate--l+99.4%
distribute-lft-in99.4%
fma-def99.4%
sub-neg99.4%
+-commutative99.4%
distribute-lft-in99.4%
metadata-eval99.4%
metadata-eval99.4%
*-commutative99.4%
associate-/r*99.4%
associate-*r/99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in y around inf 61.5%
if 4.4999999999999997e259 < x Initial program 99.2%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.2%
distribute-lft-in99.2%
*-commutative99.2%
metadata-eval99.2%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.9%
+-commutative99.9%
Applied egg-rr99.9%
distribute-lft-out99.9%
associate-+r+99.9%
metadata-eval99.9%
sub-neg99.9%
associate-+l-99.9%
Simplified99.9%
Taylor expanded in x around inf 99.9%
Taylor expanded in y around 0 67.7%
*-commutative67.7%
Simplified67.7%
Final simplification71.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* 0.3333333333333333 (/ (sqrt x) x))))
(if (<= x 4.2e-42)
t_0
(if (<= x 7.5e-24)
(* 3.0 (* y (sqrt x)))
(if (<= x 1.9e-10)
t_0
(if (<= x 1.35e+259) (* (sqrt x) (* y 3.0)) (* (sqrt x) -3.0)))))))
double code(double x, double y) {
double t_0 = 0.3333333333333333 * (sqrt(x) / x);
double tmp;
if (x <= 4.2e-42) {
tmp = t_0;
} else if (x <= 7.5e-24) {
tmp = 3.0 * (y * sqrt(x));
} else if (x <= 1.9e-10) {
tmp = t_0;
} else if (x <= 1.35e+259) {
tmp = sqrt(x) * (y * 3.0);
} else {
tmp = sqrt(x) * -3.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 = 0.3333333333333333d0 * (sqrt(x) / x)
if (x <= 4.2d-42) then
tmp = t_0
else if (x <= 7.5d-24) then
tmp = 3.0d0 * (y * sqrt(x))
else if (x <= 1.9d-10) then
tmp = t_0
else if (x <= 1.35d+259) then
tmp = sqrt(x) * (y * 3.0d0)
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = 0.3333333333333333 * (Math.sqrt(x) / x);
double tmp;
if (x <= 4.2e-42) {
tmp = t_0;
} else if (x <= 7.5e-24) {
tmp = 3.0 * (y * Math.sqrt(x));
} else if (x <= 1.9e-10) {
tmp = t_0;
} else if (x <= 1.35e+259) {
tmp = Math.sqrt(x) * (y * 3.0);
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): t_0 = 0.3333333333333333 * (math.sqrt(x) / x) tmp = 0 if x <= 4.2e-42: tmp = t_0 elif x <= 7.5e-24: tmp = 3.0 * (y * math.sqrt(x)) elif x <= 1.9e-10: tmp = t_0 elif x <= 1.35e+259: tmp = math.sqrt(x) * (y * 3.0) else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) t_0 = Float64(0.3333333333333333 * Float64(sqrt(x) / x)) tmp = 0.0 if (x <= 4.2e-42) tmp = t_0; elseif (x <= 7.5e-24) tmp = Float64(3.0 * Float64(y * sqrt(x))); elseif (x <= 1.9e-10) tmp = t_0; elseif (x <= 1.35e+259) tmp = Float64(sqrt(x) * Float64(y * 3.0)); else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) t_0 = 0.3333333333333333 * (sqrt(x) / x); tmp = 0.0; if (x <= 4.2e-42) tmp = t_0; elseif (x <= 7.5e-24) tmp = 3.0 * (y * sqrt(x)); elseif (x <= 1.9e-10) tmp = t_0; elseif (x <= 1.35e+259) tmp = sqrt(x) * (y * 3.0); else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(0.3333333333333333 * N[(N[Sqrt[x], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 4.2e-42], t$95$0, If[LessEqual[x, 7.5e-24], N[(3.0 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.9e-10], t$95$0, If[LessEqual[x, 1.35e+259], N[(N[Sqrt[x], $MachinePrecision] * N[(y * 3.0), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 0.3333333333333333 \cdot \frac{\sqrt{x}}{x}\\
\mathbf{if}\;x \leq 4.2 \cdot 10^{-42}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 7.5 \cdot 10^{-24}:\\
\;\;\;\;3 \cdot \left(y \cdot \sqrt{x}\right)\\
\mathbf{elif}\;x \leq 1.9 \cdot 10^{-10}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 1.35 \cdot 10^{+259}:\\
\;\;\;\;\sqrt{x} \cdot \left(y \cdot 3\right)\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 4.20000000000000013e-42 or 7.50000000000000007e-24 < x < 1.8999999999999999e-10Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
Taylor expanded in x around 0 80.2%
associate-*r*80.3%
clear-num80.3%
un-div-inv80.3%
div-inv80.4%
metadata-eval80.4%
Applied egg-rr80.4%
*-commutative80.4%
times-frac80.3%
metadata-eval80.3%
Simplified80.3%
if 4.20000000000000013e-42 < x < 7.50000000000000007e-24Initial program 99.1%
*-commutative99.1%
associate-*l*98.8%
associate--l+98.8%
distribute-lft-in98.8%
fma-def98.8%
sub-neg98.8%
+-commutative98.8%
distribute-lft-in98.8%
metadata-eval98.8%
metadata-eval98.8%
*-commutative98.8%
associate-/r*99.0%
associate-*r/99.0%
metadata-eval99.0%
metadata-eval99.0%
Simplified99.0%
Taylor expanded in y around inf 77.7%
if 1.8999999999999999e-10 < x < 1.34999999999999994e259Initial program 99.4%
*-commutative99.4%
associate-*l*99.4%
associate--l+99.4%
distribute-lft-in99.5%
fma-def99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
metadata-eval99.5%
metadata-eval99.5%
*-commutative99.5%
associate-/r*99.5%
associate-*r/99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around inf 59.9%
*-commutative59.9%
associate-*l*60.0%
*-commutative60.0%
Simplified60.0%
if 1.34999999999999994e259 < x Initial program 99.2%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.2%
distribute-lft-in99.2%
*-commutative99.2%
metadata-eval99.2%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.9%
+-commutative99.9%
Applied egg-rr99.9%
distribute-lft-out99.9%
associate-+r+99.9%
metadata-eval99.9%
sub-neg99.9%
associate-+l-99.9%
Simplified99.9%
Taylor expanded in x around inf 99.9%
Taylor expanded in y around 0 67.7%
*-commutative67.7%
Simplified67.7%
Final simplification71.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* (sqrt x) (/ 0.3333333333333333 x))))
(if (<= x 1.55e-43)
t_0
(if (<= x 6.8e-24)
(* 3.0 (* y (sqrt x)))
(if (<= x 2.5e-10)
t_0
(if (<= x 3e+259) (* (sqrt x) (* y 3.0)) (* (sqrt x) -3.0)))))))
double code(double x, double y) {
double t_0 = sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 1.55e-43) {
tmp = t_0;
} else if (x <= 6.8e-24) {
tmp = 3.0 * (y * sqrt(x));
} else if (x <= 2.5e-10) {
tmp = t_0;
} else if (x <= 3e+259) {
tmp = sqrt(x) * (y * 3.0);
} else {
tmp = sqrt(x) * -3.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 = sqrt(x) * (0.3333333333333333d0 / x)
if (x <= 1.55d-43) then
tmp = t_0
else if (x <= 6.8d-24) then
tmp = 3.0d0 * (y * sqrt(x))
else if (x <= 2.5d-10) then
tmp = t_0
else if (x <= 3d+259) then
tmp = sqrt(x) * (y * 3.0d0)
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 1.55e-43) {
tmp = t_0;
} else if (x <= 6.8e-24) {
tmp = 3.0 * (y * Math.sqrt(x));
} else if (x <= 2.5e-10) {
tmp = t_0;
} else if (x <= 3e+259) {
tmp = Math.sqrt(x) * (y * 3.0);
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): t_0 = math.sqrt(x) * (0.3333333333333333 / x) tmp = 0 if x <= 1.55e-43: tmp = t_0 elif x <= 6.8e-24: tmp = 3.0 * (y * math.sqrt(x)) elif x <= 2.5e-10: tmp = t_0 elif x <= 3e+259: tmp = math.sqrt(x) * (y * 3.0) else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) t_0 = Float64(sqrt(x) * Float64(0.3333333333333333 / x)) tmp = 0.0 if (x <= 1.55e-43) tmp = t_0; elseif (x <= 6.8e-24) tmp = Float64(3.0 * Float64(y * sqrt(x))); elseif (x <= 2.5e-10) tmp = t_0; elseif (x <= 3e+259) tmp = Float64(sqrt(x) * Float64(y * 3.0)); else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt(x) * (0.3333333333333333 / x); tmp = 0.0; if (x <= 1.55e-43) tmp = t_0; elseif (x <= 6.8e-24) tmp = 3.0 * (y * sqrt(x)); elseif (x <= 2.5e-10) tmp = t_0; elseif (x <= 3e+259) tmp = sqrt(x) * (y * 3.0); else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[Sqrt[x], $MachinePrecision] * N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 1.55e-43], t$95$0, If[LessEqual[x, 6.8e-24], N[(3.0 * N[(y * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 2.5e-10], t$95$0, If[LessEqual[x, 3e+259], N[(N[Sqrt[x], $MachinePrecision] * N[(y * 3.0), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x} \cdot \frac{0.3333333333333333}{x}\\
\mathbf{if}\;x \leq 1.55 \cdot 10^{-43}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 6.8 \cdot 10^{-24}:\\
\;\;\;\;3 \cdot \left(y \cdot \sqrt{x}\right)\\
\mathbf{elif}\;x \leq 2.5 \cdot 10^{-10}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 3 \cdot 10^{+259}:\\
\;\;\;\;\sqrt{x} \cdot \left(y \cdot 3\right)\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 1.55e-43 or 6.79999999999999985e-24 < x < 2.50000000000000016e-10Initial program 99.2%
*-commutative99.2%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.2%
fma-def99.2%
sub-neg99.2%
+-commutative99.2%
distribute-lft-in99.2%
metadata-eval99.2%
metadata-eval99.2%
*-commutative99.2%
associate-/r*99.3%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in x around 0 80.3%
if 1.55e-43 < x < 6.79999999999999985e-24Initial program 99.1%
*-commutative99.1%
associate-*l*98.8%
associate--l+98.8%
distribute-lft-in98.8%
fma-def98.8%
sub-neg98.8%
+-commutative98.8%
distribute-lft-in98.8%
metadata-eval98.8%
metadata-eval98.8%
*-commutative98.8%
associate-/r*99.0%
associate-*r/99.0%
metadata-eval99.0%
metadata-eval99.0%
Simplified99.0%
Taylor expanded in y around inf 77.7%
if 2.50000000000000016e-10 < x < 3.00000000000000013e259Initial program 99.4%
*-commutative99.4%
associate-*l*99.4%
associate--l+99.4%
distribute-lft-in99.5%
fma-def99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
metadata-eval99.5%
metadata-eval99.5%
*-commutative99.5%
associate-/r*99.5%
associate-*r/99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around inf 59.9%
*-commutative59.9%
associate-*l*60.0%
*-commutative60.0%
Simplified60.0%
if 3.00000000000000013e259 < x Initial program 99.2%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.2%
distribute-lft-in99.2%
*-commutative99.2%
metadata-eval99.2%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.9%
+-commutative99.9%
Applied egg-rr99.9%
distribute-lft-out99.9%
associate-+r+99.9%
metadata-eval99.9%
sub-neg99.9%
associate-+l-99.9%
Simplified99.9%
Taylor expanded in x around inf 99.9%
Taylor expanded in y around 0 67.7%
*-commutative67.7%
Simplified67.7%
Final simplification71.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* (sqrt x) (/ 0.3333333333333333 x))))
(if (<= x 3.3e-43)
t_0
(if (<= x 4e-24)
(* (sqrt (* x 9.0)) y)
(if (<= x 2e-10)
t_0
(if (<= x 3.4e+259) (* (sqrt x) (* y 3.0)) (* (sqrt x) -3.0)))))))
double code(double x, double y) {
double t_0 = sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 3.3e-43) {
tmp = t_0;
} else if (x <= 4e-24) {
tmp = sqrt((x * 9.0)) * y;
} else if (x <= 2e-10) {
tmp = t_0;
} else if (x <= 3.4e+259) {
tmp = sqrt(x) * (y * 3.0);
} else {
tmp = sqrt(x) * -3.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 = sqrt(x) * (0.3333333333333333d0 / x)
if (x <= 3.3d-43) then
tmp = t_0
else if (x <= 4d-24) then
tmp = sqrt((x * 9.0d0)) * y
else if (x <= 2d-10) then
tmp = t_0
else if (x <= 3.4d+259) then
tmp = sqrt(x) * (y * 3.0d0)
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 3.3e-43) {
tmp = t_0;
} else if (x <= 4e-24) {
tmp = Math.sqrt((x * 9.0)) * y;
} else if (x <= 2e-10) {
tmp = t_0;
} else if (x <= 3.4e+259) {
tmp = Math.sqrt(x) * (y * 3.0);
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): t_0 = math.sqrt(x) * (0.3333333333333333 / x) tmp = 0 if x <= 3.3e-43: tmp = t_0 elif x <= 4e-24: tmp = math.sqrt((x * 9.0)) * y elif x <= 2e-10: tmp = t_0 elif x <= 3.4e+259: tmp = math.sqrt(x) * (y * 3.0) else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) t_0 = Float64(sqrt(x) * Float64(0.3333333333333333 / x)) tmp = 0.0 if (x <= 3.3e-43) tmp = t_0; elseif (x <= 4e-24) tmp = Float64(sqrt(Float64(x * 9.0)) * y); elseif (x <= 2e-10) tmp = t_0; elseif (x <= 3.4e+259) tmp = Float64(sqrt(x) * Float64(y * 3.0)); else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt(x) * (0.3333333333333333 / x); tmp = 0.0; if (x <= 3.3e-43) tmp = t_0; elseif (x <= 4e-24) tmp = sqrt((x * 9.0)) * y; elseif (x <= 2e-10) tmp = t_0; elseif (x <= 3.4e+259) tmp = sqrt(x) * (y * 3.0); else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[Sqrt[x], $MachinePrecision] * N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 3.3e-43], t$95$0, If[LessEqual[x, 4e-24], N[(N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision] * y), $MachinePrecision], If[LessEqual[x, 2e-10], t$95$0, If[LessEqual[x, 3.4e+259], N[(N[Sqrt[x], $MachinePrecision] * N[(y * 3.0), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x} \cdot \frac{0.3333333333333333}{x}\\
\mathbf{if}\;x \leq 3.3 \cdot 10^{-43}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 4 \cdot 10^{-24}:\\
\;\;\;\;\sqrt{x \cdot 9} \cdot y\\
\mathbf{elif}\;x \leq 2 \cdot 10^{-10}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 3.4 \cdot 10^{+259}:\\
\;\;\;\;\sqrt{x} \cdot \left(y \cdot 3\right)\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 3.30000000000000016e-43 or 3.99999999999999969e-24 < x < 2.00000000000000007e-10Initial program 99.2%
*-commutative99.2%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.2%
fma-def99.2%
sub-neg99.2%
+-commutative99.2%
distribute-lft-in99.2%
metadata-eval99.2%
metadata-eval99.2%
*-commutative99.2%
associate-/r*99.3%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in x around 0 80.3%
if 3.30000000000000016e-43 < x < 3.99999999999999969e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 2.00000000000000007e-10 < x < 3.39999999999999989e259Initial program 99.4%
*-commutative99.4%
associate-*l*99.4%
associate--l+99.4%
distribute-lft-in99.5%
fma-def99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
metadata-eval99.5%
metadata-eval99.5%
*-commutative99.5%
associate-/r*99.5%
associate-*r/99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in y around inf 59.9%
*-commutative59.9%
associate-*l*60.0%
*-commutative60.0%
Simplified60.0%
if 3.39999999999999989e259 < x Initial program 99.2%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.2%
distribute-lft-in99.2%
*-commutative99.2%
metadata-eval99.2%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.9%
+-commutative99.9%
Applied egg-rr99.9%
distribute-lft-out99.9%
associate-+r+99.9%
metadata-eval99.9%
sub-neg99.9%
associate-+l-99.9%
Simplified99.9%
Taylor expanded in x around inf 99.9%
Taylor expanded in y around 0 67.7%
*-commutative67.7%
Simplified67.7%
Final simplification71.5%
(FPCore (x y)
:precision binary64
(let* ((t_0 (* (sqrt x) (/ 0.3333333333333333 x))))
(if (<= x 7e-42)
t_0
(if (<= x 6.8e-24)
(* (sqrt (* x 9.0)) y)
(if (<= x 1.9e-10) t_0 (* 3.0 (* (sqrt x) (+ y -1.0))))))))
double code(double x, double y) {
double t_0 = sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 7e-42) {
tmp = t_0;
} else if (x <= 6.8e-24) {
tmp = sqrt((x * 9.0)) * y;
} else if (x <= 1.9e-10) {
tmp = t_0;
} else {
tmp = 3.0 * (sqrt(x) * (y + -1.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 = sqrt(x) * (0.3333333333333333d0 / x)
if (x <= 7d-42) then
tmp = t_0
else if (x <= 6.8d-24) then
tmp = sqrt((x * 9.0d0)) * y
else if (x <= 1.9d-10) then
tmp = t_0
else
tmp = 3.0d0 * (sqrt(x) * (y + (-1.0d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt(x) * (0.3333333333333333 / x);
double tmp;
if (x <= 7e-42) {
tmp = t_0;
} else if (x <= 6.8e-24) {
tmp = Math.sqrt((x * 9.0)) * y;
} else if (x <= 1.9e-10) {
tmp = t_0;
} else {
tmp = 3.0 * (Math.sqrt(x) * (y + -1.0));
}
return tmp;
}
def code(x, y): t_0 = math.sqrt(x) * (0.3333333333333333 / x) tmp = 0 if x <= 7e-42: tmp = t_0 elif x <= 6.8e-24: tmp = math.sqrt((x * 9.0)) * y elif x <= 1.9e-10: tmp = t_0 else: tmp = 3.0 * (math.sqrt(x) * (y + -1.0)) return tmp
function code(x, y) t_0 = Float64(sqrt(x) * Float64(0.3333333333333333 / x)) tmp = 0.0 if (x <= 7e-42) tmp = t_0; elseif (x <= 6.8e-24) tmp = Float64(sqrt(Float64(x * 9.0)) * y); elseif (x <= 1.9e-10) tmp = t_0; else tmp = Float64(3.0 * Float64(sqrt(x) * Float64(y + -1.0))); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt(x) * (0.3333333333333333 / x); tmp = 0.0; if (x <= 7e-42) tmp = t_0; elseif (x <= 6.8e-24) tmp = sqrt((x * 9.0)) * y; elseif (x <= 1.9e-10) tmp = t_0; else tmp = 3.0 * (sqrt(x) * (y + -1.0)); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[(N[Sqrt[x], $MachinePrecision] * N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[x, 7e-42], t$95$0, If[LessEqual[x, 6.8e-24], N[(N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision] * y), $MachinePrecision], If[LessEqual[x, 1.9e-10], t$95$0, N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x} \cdot \frac{0.3333333333333333}{x}\\
\mathbf{if}\;x \leq 7 \cdot 10^{-42}:\\
\;\;\;\;t_0\\
\mathbf{elif}\;x \leq 6.8 \cdot 10^{-24}:\\
\;\;\;\;\sqrt{x \cdot 9} \cdot y\\
\mathbf{elif}\;x \leq 1.9 \cdot 10^{-10}:\\
\;\;\;\;t_0\\
\mathbf{else}:\\
\;\;\;\;3 \cdot \left(\sqrt{x} \cdot \left(y + -1\right)\right)\\
\end{array}
\end{array}
if x < 7.0000000000000004e-42 or 6.79999999999999985e-24 < x < 1.8999999999999999e-10Initial program 99.2%
*-commutative99.2%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.2%
fma-def99.2%
sub-neg99.2%
+-commutative99.2%
distribute-lft-in99.2%
metadata-eval99.2%
metadata-eval99.2%
*-commutative99.2%
associate-/r*99.3%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in x around 0 80.3%
if 7.0000000000000004e-42 < x < 6.79999999999999985e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 1.8999999999999999e-10 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 96.3%
Final simplification87.6%
(FPCore (x y)
:precision binary64
(if (<= x 2.9e-42)
(* 3.0 (/ (sqrt x) (* x 9.0)))
(if (<= x 8.6e-24)
(* (sqrt (* x 9.0)) y)
(if (<= x 2.5e-10)
(* (sqrt x) (/ 0.3333333333333333 x))
(* 3.0 (* (sqrt x) (+ y -1.0)))))))
double code(double x, double y) {
double tmp;
if (x <= 2.9e-42) {
tmp = 3.0 * (sqrt(x) / (x * 9.0));
} else if (x <= 8.6e-24) {
tmp = sqrt((x * 9.0)) * y;
} else if (x <= 2.5e-10) {
tmp = sqrt(x) * (0.3333333333333333 / x);
} else {
tmp = 3.0 * (sqrt(x) * (y + -1.0));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 2.9d-42) then
tmp = 3.0d0 * (sqrt(x) / (x * 9.0d0))
else if (x <= 8.6d-24) then
tmp = sqrt((x * 9.0d0)) * y
else if (x <= 2.5d-10) then
tmp = sqrt(x) * (0.3333333333333333d0 / x)
else
tmp = 3.0d0 * (sqrt(x) * (y + (-1.0d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 2.9e-42) {
tmp = 3.0 * (Math.sqrt(x) / (x * 9.0));
} else if (x <= 8.6e-24) {
tmp = Math.sqrt((x * 9.0)) * y;
} else if (x <= 2.5e-10) {
tmp = Math.sqrt(x) * (0.3333333333333333 / x);
} else {
tmp = 3.0 * (Math.sqrt(x) * (y + -1.0));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 2.9e-42: tmp = 3.0 * (math.sqrt(x) / (x * 9.0)) elif x <= 8.6e-24: tmp = math.sqrt((x * 9.0)) * y elif x <= 2.5e-10: tmp = math.sqrt(x) * (0.3333333333333333 / x) else: tmp = 3.0 * (math.sqrt(x) * (y + -1.0)) return tmp
function code(x, y) tmp = 0.0 if (x <= 2.9e-42) tmp = Float64(3.0 * Float64(sqrt(x) / Float64(x * 9.0))); elseif (x <= 8.6e-24) tmp = Float64(sqrt(Float64(x * 9.0)) * y); elseif (x <= 2.5e-10) tmp = Float64(sqrt(x) * Float64(0.3333333333333333 / x)); else tmp = Float64(3.0 * Float64(sqrt(x) * Float64(y + -1.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 2.9e-42) tmp = 3.0 * (sqrt(x) / (x * 9.0)); elseif (x <= 8.6e-24) tmp = sqrt((x * 9.0)) * y; elseif (x <= 2.5e-10) tmp = sqrt(x) * (0.3333333333333333 / x); else tmp = 3.0 * (sqrt(x) * (y + -1.0)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 2.9e-42], N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 8.6e-24], N[(N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision] * y), $MachinePrecision], If[LessEqual[x, 2.5e-10], N[(N[Sqrt[x], $MachinePrecision] * N[(0.3333333333333333 / x), $MachinePrecision]), $MachinePrecision], N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 2.9 \cdot 10^{-42}:\\
\;\;\;\;3 \cdot \frac{\sqrt{x}}{x \cdot 9}\\
\mathbf{elif}\;x \leq 8.6 \cdot 10^{-24}:\\
\;\;\;\;\sqrt{x \cdot 9} \cdot y\\
\mathbf{elif}\;x \leq 2.5 \cdot 10^{-10}:\\
\;\;\;\;\sqrt{x} \cdot \frac{0.3333333333333333}{x}\\
\mathbf{else}:\\
\;\;\;\;3 \cdot \left(\sqrt{x} \cdot \left(y + -1\right)\right)\\
\end{array}
\end{array}
if x < 2.9000000000000003e-42Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 80.4%
clear-num80.5%
un-div-inv80.6%
div-inv80.7%
metadata-eval80.7%
Applied egg-rr80.7%
if 2.9000000000000003e-42 < x < 8.6000000000000006e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 8.6000000000000006e-24 < x < 2.50000000000000016e-10Initial program 99.4%
*-commutative99.4%
associate-*l*99.0%
associate--l+99.0%
distribute-lft-in99.2%
fma-def99.2%
sub-neg99.2%
+-commutative99.2%
distribute-lft-in99.2%
metadata-eval99.2%
metadata-eval99.2%
*-commutative99.2%
associate-/r*99.1%
associate-*r/99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 76.2%
if 2.50000000000000016e-10 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 96.3%
Final simplification87.7%
(FPCore (x y)
:precision binary64
(if (<= x 3.6e-42)
(* 3.0 (/ (sqrt x) (* x 9.0)))
(if (<= x 9.6e-24)
(* (sqrt (* x 9.0)) y)
(if (<= x 0.0007)
(* (sqrt x) (+ (/ 0.3333333333333333 x) -3.0))
(* 3.0 (* (sqrt x) (+ y -1.0)))))))
double code(double x, double y) {
double tmp;
if (x <= 3.6e-42) {
tmp = 3.0 * (sqrt(x) / (x * 9.0));
} else if (x <= 9.6e-24) {
tmp = sqrt((x * 9.0)) * y;
} else if (x <= 0.0007) {
tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = 3.0 * (sqrt(x) * (y + -1.0));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 3.6d-42) then
tmp = 3.0d0 * (sqrt(x) / (x * 9.0d0))
else if (x <= 9.6d-24) then
tmp = sqrt((x * 9.0d0)) * y
else if (x <= 0.0007d0) then
tmp = sqrt(x) * ((0.3333333333333333d0 / x) + (-3.0d0))
else
tmp = 3.0d0 * (sqrt(x) * (y + (-1.0d0)))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 3.6e-42) {
tmp = 3.0 * (Math.sqrt(x) / (x * 9.0));
} else if (x <= 9.6e-24) {
tmp = Math.sqrt((x * 9.0)) * y;
} else if (x <= 0.0007) {
tmp = Math.sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = 3.0 * (Math.sqrt(x) * (y + -1.0));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 3.6e-42: tmp = 3.0 * (math.sqrt(x) / (x * 9.0)) elif x <= 9.6e-24: tmp = math.sqrt((x * 9.0)) * y elif x <= 0.0007: tmp = math.sqrt(x) * ((0.3333333333333333 / x) + -3.0) else: tmp = 3.0 * (math.sqrt(x) * (y + -1.0)) return tmp
function code(x, y) tmp = 0.0 if (x <= 3.6e-42) tmp = Float64(3.0 * Float64(sqrt(x) / Float64(x * 9.0))); elseif (x <= 9.6e-24) tmp = Float64(sqrt(Float64(x * 9.0)) * y); elseif (x <= 0.0007) tmp = Float64(sqrt(x) * Float64(Float64(0.3333333333333333 / x) + -3.0)); else tmp = Float64(3.0 * Float64(sqrt(x) * Float64(y + -1.0))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 3.6e-42) tmp = 3.0 * (sqrt(x) / (x * 9.0)); elseif (x <= 9.6e-24) tmp = sqrt((x * 9.0)) * y; elseif (x <= 0.0007) tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0); else tmp = 3.0 * (sqrt(x) * (y + -1.0)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 3.6e-42], N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 9.6e-24], N[(N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision] * y), $MachinePrecision], If[LessEqual[x, 0.0007], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(0.3333333333333333 / x), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision], N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 3.6 \cdot 10^{-42}:\\
\;\;\;\;3 \cdot \frac{\sqrt{x}}{x \cdot 9}\\
\mathbf{elif}\;x \leq 9.6 \cdot 10^{-24}:\\
\;\;\;\;\sqrt{x \cdot 9} \cdot y\\
\mathbf{elif}\;x \leq 0.0007:\\
\;\;\;\;\sqrt{x} \cdot \left(\frac{0.3333333333333333}{x} + -3\right)\\
\mathbf{else}:\\
\;\;\;\;3 \cdot \left(\sqrt{x} \cdot \left(y + -1\right)\right)\\
\end{array}
\end{array}
if x < 3.6000000000000002e-42Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 80.4%
clear-num80.5%
un-div-inv80.6%
div-inv80.7%
metadata-eval80.7%
Applied egg-rr80.7%
if 3.6000000000000002e-42 < x < 9.5999999999999993e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 9.5999999999999993e-24 < x < 6.99999999999999993e-4Initial program 99.5%
*-commutative99.5%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.3%
fma-def99.3%
sub-neg99.3%
+-commutative99.3%
distribute-lft-in99.3%
metadata-eval99.3%
metadata-eval99.3%
*-commutative99.3%
associate-/r*99.2%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in y around 0 73.7%
sub-neg73.7%
associate-*r/73.9%
metadata-eval73.9%
metadata-eval73.9%
Simplified73.9%
if 6.99999999999999993e-4 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 98.8%
Final simplification88.3%
(FPCore (x y)
:precision binary64
(let* ((t_0 (sqrt (* x 9.0))))
(if (<= x 7.6e-44)
(* 3.0 (/ (sqrt x) (* x 9.0)))
(if (<= x 6.4e-24)
(* t_0 y)
(if (<= x 0.0014)
(* (sqrt x) (+ (/ 0.3333333333333333 x) -3.0))
(* t_0 (+ y -1.0)))))))
double code(double x, double y) {
double t_0 = sqrt((x * 9.0));
double tmp;
if (x <= 7.6e-44) {
tmp = 3.0 * (sqrt(x) / (x * 9.0));
} else if (x <= 6.4e-24) {
tmp = t_0 * y;
} else if (x <= 0.0014) {
tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = t_0 * (y + -1.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 = sqrt((x * 9.0d0))
if (x <= 7.6d-44) then
tmp = 3.0d0 * (sqrt(x) / (x * 9.0d0))
else if (x <= 6.4d-24) then
tmp = t_0 * y
else if (x <= 0.0014d0) then
tmp = sqrt(x) * ((0.3333333333333333d0 / x) + (-3.0d0))
else
tmp = t_0 * (y + (-1.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt((x * 9.0));
double tmp;
if (x <= 7.6e-44) {
tmp = 3.0 * (Math.sqrt(x) / (x * 9.0));
} else if (x <= 6.4e-24) {
tmp = t_0 * y;
} else if (x <= 0.0014) {
tmp = Math.sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = t_0 * (y + -1.0);
}
return tmp;
}
def code(x, y): t_0 = math.sqrt((x * 9.0)) tmp = 0 if x <= 7.6e-44: tmp = 3.0 * (math.sqrt(x) / (x * 9.0)) elif x <= 6.4e-24: tmp = t_0 * y elif x <= 0.0014: tmp = math.sqrt(x) * ((0.3333333333333333 / x) + -3.0) else: tmp = t_0 * (y + -1.0) return tmp
function code(x, y) t_0 = sqrt(Float64(x * 9.0)) tmp = 0.0 if (x <= 7.6e-44) tmp = Float64(3.0 * Float64(sqrt(x) / Float64(x * 9.0))); elseif (x <= 6.4e-24) tmp = Float64(t_0 * y); elseif (x <= 0.0014) tmp = Float64(sqrt(x) * Float64(Float64(0.3333333333333333 / x) + -3.0)); else tmp = Float64(t_0 * Float64(y + -1.0)); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt((x * 9.0)); tmp = 0.0; if (x <= 7.6e-44) tmp = 3.0 * (sqrt(x) / (x * 9.0)); elseif (x <= 6.4e-24) tmp = t_0 * y; elseif (x <= 0.0014) tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0); else tmp = t_0 * (y + -1.0); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[x, 7.6e-44], N[(3.0 * N[(N[Sqrt[x], $MachinePrecision] / N[(x * 9.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 6.4e-24], N[(t$95$0 * y), $MachinePrecision], If[LessEqual[x, 0.0014], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(0.3333333333333333 / x), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision], N[(t$95$0 * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x \cdot 9}\\
\mathbf{if}\;x \leq 7.6 \cdot 10^{-44}:\\
\;\;\;\;3 \cdot \frac{\sqrt{x}}{x \cdot 9}\\
\mathbf{elif}\;x \leq 6.4 \cdot 10^{-24}:\\
\;\;\;\;t_0 \cdot y\\
\mathbf{elif}\;x \leq 0.0014:\\
\;\;\;\;\sqrt{x} \cdot \left(\frac{0.3333333333333333}{x} + -3\right)\\
\mathbf{else}:\\
\;\;\;\;t_0 \cdot \left(y + -1\right)\\
\end{array}
\end{array}
if x < 7.6000000000000002e-44Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 80.4%
clear-num80.5%
un-div-inv80.6%
div-inv80.7%
metadata-eval80.7%
Applied egg-rr80.7%
if 7.6000000000000002e-44 < x < 6.40000000000000025e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 6.40000000000000025e-24 < x < 0.00139999999999999999Initial program 99.5%
*-commutative99.5%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.3%
fma-def99.3%
sub-neg99.3%
+-commutative99.3%
distribute-lft-in99.3%
metadata-eval99.3%
metadata-eval99.3%
*-commutative99.3%
associate-/r*99.2%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in y around 0 73.7%
sub-neg73.7%
associate-*r/73.9%
metadata-eval73.9%
metadata-eval73.9%
Simplified73.9%
if 0.00139999999999999999 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
*-commutative99.4%
metadata-eval99.4%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in x around inf 99.0%
Final simplification88.3%
(FPCore (x y)
:precision binary64
(let* ((t_0 (sqrt (* x 9.0))))
(if (<= x 6e-42)
(* (/ 3.0 x) (/ (sqrt x) 9.0))
(if (<= x 6.1e-24)
(* t_0 y)
(if (<= x 0.00092)
(* (sqrt x) (+ (/ 0.3333333333333333 x) -3.0))
(* t_0 (+ y -1.0)))))))
double code(double x, double y) {
double t_0 = sqrt((x * 9.0));
double tmp;
if (x <= 6e-42) {
tmp = (3.0 / x) * (sqrt(x) / 9.0);
} else if (x <= 6.1e-24) {
tmp = t_0 * y;
} else if (x <= 0.00092) {
tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = t_0 * (y + -1.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 = sqrt((x * 9.0d0))
if (x <= 6d-42) then
tmp = (3.0d0 / x) * (sqrt(x) / 9.0d0)
else if (x <= 6.1d-24) then
tmp = t_0 * y
else if (x <= 0.00092d0) then
tmp = sqrt(x) * ((0.3333333333333333d0 / x) + (-3.0d0))
else
tmp = t_0 * (y + (-1.0d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double t_0 = Math.sqrt((x * 9.0));
double tmp;
if (x <= 6e-42) {
tmp = (3.0 / x) * (Math.sqrt(x) / 9.0);
} else if (x <= 6.1e-24) {
tmp = t_0 * y;
} else if (x <= 0.00092) {
tmp = Math.sqrt(x) * ((0.3333333333333333 / x) + -3.0);
} else {
tmp = t_0 * (y + -1.0);
}
return tmp;
}
def code(x, y): t_0 = math.sqrt((x * 9.0)) tmp = 0 if x <= 6e-42: tmp = (3.0 / x) * (math.sqrt(x) / 9.0) elif x <= 6.1e-24: tmp = t_0 * y elif x <= 0.00092: tmp = math.sqrt(x) * ((0.3333333333333333 / x) + -3.0) else: tmp = t_0 * (y + -1.0) return tmp
function code(x, y) t_0 = sqrt(Float64(x * 9.0)) tmp = 0.0 if (x <= 6e-42) tmp = Float64(Float64(3.0 / x) * Float64(sqrt(x) / 9.0)); elseif (x <= 6.1e-24) tmp = Float64(t_0 * y); elseif (x <= 0.00092) tmp = Float64(sqrt(x) * Float64(Float64(0.3333333333333333 / x) + -3.0)); else tmp = Float64(t_0 * Float64(y + -1.0)); end return tmp end
function tmp_2 = code(x, y) t_0 = sqrt((x * 9.0)); tmp = 0.0; if (x <= 6e-42) tmp = (3.0 / x) * (sqrt(x) / 9.0); elseif (x <= 6.1e-24) tmp = t_0 * y; elseif (x <= 0.00092) tmp = sqrt(x) * ((0.3333333333333333 / x) + -3.0); else tmp = t_0 * (y + -1.0); end tmp_2 = tmp; end
code[x_, y_] := Block[{t$95$0 = N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[x, 6e-42], N[(N[(3.0 / x), $MachinePrecision] * N[(N[Sqrt[x], $MachinePrecision] / 9.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 6.1e-24], N[(t$95$0 * y), $MachinePrecision], If[LessEqual[x, 0.00092], N[(N[Sqrt[x], $MachinePrecision] * N[(N[(0.3333333333333333 / x), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision], N[(t$95$0 * N[(y + -1.0), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{x \cdot 9}\\
\mathbf{if}\;x \leq 6 \cdot 10^{-42}:\\
\;\;\;\;\frac{3}{x} \cdot \frac{\sqrt{x}}{9}\\
\mathbf{elif}\;x \leq 6.1 \cdot 10^{-24}:\\
\;\;\;\;t_0 \cdot y\\
\mathbf{elif}\;x \leq 0.00092:\\
\;\;\;\;\sqrt{x} \cdot \left(\frac{0.3333333333333333}{x} + -3\right)\\
\mathbf{else}:\\
\;\;\;\;t_0 \cdot \left(y + -1\right)\\
\end{array}
\end{array}
if x < 6.00000000000000054e-42Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 80.4%
associate-*r*80.6%
clear-num80.6%
un-div-inv80.6%
div-inv80.7%
metadata-eval80.7%
Applied egg-rr80.7%
times-frac80.7%
Simplified80.7%
if 6.00000000000000054e-42 < x < 6.10000000000000036e-24Initial program 99.1%
associate-*l*99.1%
associate--l+99.1%
sub-neg99.1%
*-commutative99.1%
associate-/r*99.1%
metadata-eval99.1%
metadata-eval99.1%
Simplified99.1%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.7%
*-commutative99.7%
metadata-eval99.7%
sqrt-prod99.7%
+-commutative99.7%
Applied egg-rr99.7%
distribute-lft-out99.7%
associate-+r+99.7%
metadata-eval99.7%
sub-neg99.7%
associate-+l-99.7%
Simplified99.7%
Taylor expanded in y around inf 78.3%
if 6.10000000000000036e-24 < x < 9.2000000000000003e-4Initial program 99.5%
*-commutative99.5%
associate-*l*99.2%
associate--l+99.2%
distribute-lft-in99.3%
fma-def99.3%
sub-neg99.3%
+-commutative99.3%
distribute-lft-in99.3%
metadata-eval99.3%
metadata-eval99.3%
*-commutative99.3%
associate-/r*99.2%
associate-*r/99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in y around 0 73.7%
sub-neg73.7%
associate-*r/73.9%
metadata-eval73.9%
metadata-eval73.9%
Simplified73.9%
if 9.2000000000000003e-4 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
*-commutative99.4%
metadata-eval99.4%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in x around inf 99.0%
Final simplification88.4%
(FPCore (x y) :precision binary64 (* 3.0 (* (+ y (+ (/ 0.1111111111111111 x) -1.0)) (sqrt x))))
double code(double x, double y) {
return 3.0 * ((y + ((0.1111111111111111 / x) + -1.0)) * sqrt(x));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 3.0d0 * ((y + ((0.1111111111111111d0 / x) + (-1.0d0))) * sqrt(x))
end function
public static double code(double x, double y) {
return 3.0 * ((y + ((0.1111111111111111 / x) + -1.0)) * Math.sqrt(x));
}
def code(x, y): return 3.0 * ((y + ((0.1111111111111111 / x) + -1.0)) * math.sqrt(x))
function code(x, y) return Float64(3.0 * Float64(Float64(y + Float64(Float64(0.1111111111111111 / x) + -1.0)) * sqrt(x))) end
function tmp = code(x, y) tmp = 3.0 * ((y + ((0.1111111111111111 / x) + -1.0)) * sqrt(x)); end
code[x_, y_] := N[(3.0 * N[(N[(y + N[(N[(0.1111111111111111 / x), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision] * N[Sqrt[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
3 \cdot \left(\left(y + \left(\frac{0.1111111111111111}{x} + -1\right)\right) \cdot \sqrt{x}\right)
\end{array}
Initial program 99.3%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
Final simplification99.3%
(FPCore (x y) :precision binary64 (* (sqrt x) (+ (* y 3.0) (+ (/ 0.3333333333333333 x) -3.0))))
double code(double x, double y) {
return sqrt(x) * ((y * 3.0) + ((0.3333333333333333 / x) + -3.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = sqrt(x) * ((y * 3.0d0) + ((0.3333333333333333d0 / x) + (-3.0d0)))
end function
public static double code(double x, double y) {
return Math.sqrt(x) * ((y * 3.0) + ((0.3333333333333333 / x) + -3.0));
}
def code(x, y): return math.sqrt(x) * ((y * 3.0) + ((0.3333333333333333 / x) + -3.0))
function code(x, y) return Float64(sqrt(x) * Float64(Float64(y * 3.0) + Float64(Float64(0.3333333333333333 / x) + -3.0))) end
function tmp = code(x, y) tmp = sqrt(x) * ((y * 3.0) + ((0.3333333333333333 / x) + -3.0)); end
code[x_, y_] := N[(N[Sqrt[x], $MachinePrecision] * N[(N[(y * 3.0), $MachinePrecision] + N[(N[(0.3333333333333333 / x), $MachinePrecision] + -3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\sqrt{x} \cdot \left(y \cdot 3 + \left(\frac{0.3333333333333333}{x} + -3\right)\right)
\end{array}
Initial program 99.3%
*-commutative99.3%
associate-*l*99.3%
associate--l+99.3%
distribute-lft-in99.3%
fma-def99.3%
sub-neg99.3%
+-commutative99.3%
distribute-lft-in99.3%
metadata-eval99.3%
metadata-eval99.3%
*-commutative99.3%
associate-/r*99.3%
associate-*r/99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
fma-udef99.3%
+-commutative99.3%
Applied egg-rr99.3%
Final simplification99.3%
(FPCore (x y) :precision binary64 (if (<= x 0.112) (* 0.3333333333333333 (/ (sqrt x) x)) (* (sqrt x) -3.0)))
double code(double x, double y) {
double tmp;
if (x <= 0.112) {
tmp = 0.3333333333333333 * (sqrt(x) / x);
} else {
tmp = sqrt(x) * -3.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.112d0) then
tmp = 0.3333333333333333d0 * (sqrt(x) / x)
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.112) {
tmp = 0.3333333333333333 * (Math.sqrt(x) / x);
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.112: tmp = 0.3333333333333333 * (math.sqrt(x) / x) else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 0.112) tmp = Float64(0.3333333333333333 * Float64(sqrt(x) / x)); else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.112) tmp = 0.3333333333333333 * (sqrt(x) / x); else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.112], N[(0.3333333333333333 * N[(N[Sqrt[x], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.112:\\
\;\;\;\;0.3333333333333333 \cdot \frac{\sqrt{x}}{x}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 0.112000000000000002Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
Taylor expanded in x around 0 74.2%
associate-*r*74.4%
clear-num74.4%
un-div-inv74.4%
div-inv74.4%
metadata-eval74.4%
Applied egg-rr74.4%
*-commutative74.4%
times-frac74.4%
metadata-eval74.4%
Simplified74.4%
if 0.112000000000000002 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
*-commutative99.4%
metadata-eval99.4%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in x around inf 99.0%
Taylor expanded in y around 0 43.6%
*-commutative43.6%
Simplified43.6%
Final simplification60.9%
(FPCore (x y) :precision binary64 (if (<= x 0.112) (sqrt (* x 9.0)) (* (sqrt x) -3.0)))
double code(double x, double y) {
double tmp;
if (x <= 0.112) {
tmp = sqrt((x * 9.0));
} else {
tmp = sqrt(x) * -3.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 0.112d0) then
tmp = sqrt((x * 9.0d0))
else
tmp = sqrt(x) * (-3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 0.112) {
tmp = Math.sqrt((x * 9.0));
} else {
tmp = Math.sqrt(x) * -3.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 0.112: tmp = math.sqrt((x * 9.0)) else: tmp = math.sqrt(x) * -3.0 return tmp
function code(x, y) tmp = 0.0 if (x <= 0.112) tmp = sqrt(Float64(x * 9.0)); else tmp = Float64(sqrt(x) * -3.0); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 0.112) tmp = sqrt((x * 9.0)); else tmp = sqrt(x) * -3.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 0.112], N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision], N[(N[Sqrt[x], $MachinePrecision] * -3.0), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 0.112:\\
\;\;\;\;\sqrt{x \cdot 9}\\
\mathbf{else}:\\
\;\;\;\;\sqrt{x} \cdot -3\\
\end{array}
\end{array}
if x < 0.112000000000000002Initial program 99.2%
associate-*l*99.2%
associate--l+99.2%
sub-neg99.2%
*-commutative99.2%
associate-/r*99.2%
metadata-eval99.2%
metadata-eval99.2%
Simplified99.2%
associate-*r*99.2%
distribute-lft-in99.2%
*-commutative99.2%
metadata-eval99.2%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
+-commutative99.4%
Applied egg-rr99.4%
distribute-lft-out99.4%
associate-+r+99.4%
metadata-eval99.4%
sub-neg99.4%
associate-+l-99.4%
Simplified99.4%
Taylor expanded in x around inf 23.7%
Taylor expanded in y around 0 1.7%
*-commutative1.7%
Simplified1.7%
add-sqr-sqrt0.0%
sqrt-unprod4.7%
swap-sqr4.7%
add-sqr-sqrt4.7%
metadata-eval4.7%
Applied egg-rr4.7%
if 0.112000000000000002 < x Initial program 99.3%
associate-*l*99.4%
associate--l+99.4%
sub-neg99.4%
*-commutative99.4%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.4%
*-commutative99.4%
metadata-eval99.4%
sqrt-prod99.6%
+-commutative99.6%
Applied egg-rr99.6%
distribute-lft-out99.6%
associate-+r+99.6%
metadata-eval99.6%
sub-neg99.6%
associate-+l-99.6%
Simplified99.6%
Taylor expanded in x around inf 99.0%
Taylor expanded in y around 0 43.6%
*-commutative43.6%
Simplified43.6%
Final simplification21.7%
(FPCore (x y) :precision binary64 (sqrt (* x 9.0)))
double code(double x, double y) {
return sqrt((x * 9.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = sqrt((x * 9.0d0))
end function
public static double code(double x, double y) {
return Math.sqrt((x * 9.0));
}
def code(x, y): return math.sqrt((x * 9.0))
function code(x, y) return sqrt(Float64(x * 9.0)) end
function tmp = code(x, y) tmp = sqrt((x * 9.0)); end
code[x_, y_] := N[Sqrt[N[(x * 9.0), $MachinePrecision]], $MachinePrecision]
\begin{array}{l}
\\
\sqrt{x \cdot 9}
\end{array}
Initial program 99.3%
associate-*l*99.3%
associate--l+99.3%
sub-neg99.3%
*-commutative99.3%
associate-/r*99.3%
metadata-eval99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r*99.3%
distribute-lft-in99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.3%
*-commutative99.3%
metadata-eval99.3%
sqrt-prod99.5%
+-commutative99.5%
Applied egg-rr99.5%
distribute-lft-out99.5%
associate-+r+99.5%
metadata-eval99.5%
sub-neg99.5%
associate-+l-99.5%
Simplified99.5%
Taylor expanded in x around inf 56.7%
Taylor expanded in y around 0 20.1%
*-commutative20.1%
Simplified20.1%
add-sqr-sqrt0.0%
sqrt-unprod3.7%
swap-sqr3.7%
add-sqr-sqrt3.7%
metadata-eval3.7%
Applied egg-rr3.7%
Final simplification3.7%
(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 2023271
(FPCore (x y)
:name "Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B"
:precision binary64
:herbie-target
(* 3.0 (+ (* y (sqrt x)) (* (- (/ 1.0 (* x 9.0)) 1.0) (sqrt x))))
(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0)))