
(FPCore (a rand) :precision binary64 (let* ((t_0 (- a (/ 1.0 3.0)))) (* t_0 (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 t_0))) rand)))))
double code(double a, double rand) {
double t_0 = a - (1.0 / 3.0);
return t_0 * (1.0 + ((1.0 / sqrt((9.0 * t_0))) * rand));
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
t_0 = a - (1.0d0 / 3.0d0)
code = t_0 * (1.0d0 + ((1.0d0 / sqrt((9.0d0 * t_0))) * rand))
end function
public static double code(double a, double rand) {
double t_0 = a - (1.0 / 3.0);
return t_0 * (1.0 + ((1.0 / Math.sqrt((9.0 * t_0))) * rand));
}
def code(a, rand): t_0 = a - (1.0 / 3.0) return t_0 * (1.0 + ((1.0 / math.sqrt((9.0 * t_0))) * rand))
function code(a, rand) t_0 = Float64(a - Float64(1.0 / 3.0)) return Float64(t_0 * Float64(1.0 + Float64(Float64(1.0 / sqrt(Float64(9.0 * t_0))) * rand))) end
function tmp = code(a, rand) t_0 = a - (1.0 / 3.0); tmp = t_0 * (1.0 + ((1.0 / sqrt((9.0 * t_0))) * rand)); end
code[a_, rand_] := Block[{t$95$0 = N[(a - N[(1.0 / 3.0), $MachinePrecision]), $MachinePrecision]}, N[(t$95$0 * N[(1.0 + N[(N[(1.0 / N[Sqrt[N[(9.0 * t$95$0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * rand), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a - \frac{1}{3}\\
t\_0 \cdot \left(1 + \frac{1}{\sqrt{9 \cdot t\_0}} \cdot rand\right)
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a rand) :precision binary64 (let* ((t_0 (- a (/ 1.0 3.0)))) (* t_0 (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 t_0))) rand)))))
double code(double a, double rand) {
double t_0 = a - (1.0 / 3.0);
return t_0 * (1.0 + ((1.0 / sqrt((9.0 * t_0))) * rand));
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
t_0 = a - (1.0d0 / 3.0d0)
code = t_0 * (1.0d0 + ((1.0d0 / sqrt((9.0d0 * t_0))) * rand))
end function
public static double code(double a, double rand) {
double t_0 = a - (1.0 / 3.0);
return t_0 * (1.0 + ((1.0 / Math.sqrt((9.0 * t_0))) * rand));
}
def code(a, rand): t_0 = a - (1.0 / 3.0) return t_0 * (1.0 + ((1.0 / math.sqrt((9.0 * t_0))) * rand))
function code(a, rand) t_0 = Float64(a - Float64(1.0 / 3.0)) return Float64(t_0 * Float64(1.0 + Float64(Float64(1.0 / sqrt(Float64(9.0 * t_0))) * rand))) end
function tmp = code(a, rand) t_0 = a - (1.0 / 3.0); tmp = t_0 * (1.0 + ((1.0 / sqrt((9.0 * t_0))) * rand)); end
code[a_, rand_] := Block[{t$95$0 = N[(a - N[(1.0 / 3.0), $MachinePrecision]), $MachinePrecision]}, N[(t$95$0 * N[(1.0 + N[(N[(1.0 / N[Sqrt[N[(9.0 * t$95$0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * rand), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a - \frac{1}{3}\\
t\_0 \cdot \left(1 + \frac{1}{\sqrt{9 \cdot t\_0}} \cdot rand\right)
\end{array}
\end{array}
(FPCore (a rand) :precision binary64 (* (+ 1.0 (/ rand (sqrt (* 9.0 (+ a -0.3333333333333333))))) (+ a -0.3333333333333333)))
double code(double a, double rand) {
return (1.0 + (rand / sqrt((9.0 * (a + -0.3333333333333333))))) * (a + -0.3333333333333333);
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = (1.0d0 + (rand / sqrt((9.0d0 * (a + (-0.3333333333333333d0)))))) * (a + (-0.3333333333333333d0))
end function
public static double code(double a, double rand) {
return (1.0 + (rand / Math.sqrt((9.0 * (a + -0.3333333333333333))))) * (a + -0.3333333333333333);
}
def code(a, rand): return (1.0 + (rand / math.sqrt((9.0 * (a + -0.3333333333333333))))) * (a + -0.3333333333333333)
function code(a, rand) return Float64(Float64(1.0 + Float64(rand / sqrt(Float64(9.0 * Float64(a + -0.3333333333333333))))) * Float64(a + -0.3333333333333333)) end
function tmp = code(a, rand) tmp = (1.0 + (rand / sqrt((9.0 * (a + -0.3333333333333333))))) * (a + -0.3333333333333333); end
code[a_, rand_] := N[(N[(1.0 + N[(rand / N[Sqrt[N[(9.0 * N[(a + -0.3333333333333333), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(a + -0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{rand}{\sqrt{9 \cdot \left(a + -0.3333333333333333\right)}}\right) \cdot \left(a + -0.3333333333333333\right)
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Final simplification99.9%
(FPCore (a rand)
:precision binary64
(let* ((t_0 (* (/ rand 3.0) (sqrt (+ a -0.3333333333333333)))))
(if (<= rand -9.4e+78)
t_0
(if (<= rand 1.6e+70) (+ a -0.3333333333333333) t_0))))
double code(double a, double rand) {
double t_0 = (rand / 3.0) * sqrt((a + -0.3333333333333333));
double tmp;
if (rand <= -9.4e+78) {
tmp = t_0;
} else if (rand <= 1.6e+70) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
real(8) :: tmp
t_0 = (rand / 3.0d0) * sqrt((a + (-0.3333333333333333d0)))
if (rand <= (-9.4d+78)) then
tmp = t_0
else if (rand <= 1.6d+70) then
tmp = a + (-0.3333333333333333d0)
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double rand) {
double t_0 = (rand / 3.0) * Math.sqrt((a + -0.3333333333333333));
double tmp;
if (rand <= -9.4e+78) {
tmp = t_0;
} else if (rand <= 1.6e+70) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
def code(a, rand): t_0 = (rand / 3.0) * math.sqrt((a + -0.3333333333333333)) tmp = 0 if rand <= -9.4e+78: tmp = t_0 elif rand <= 1.6e+70: tmp = a + -0.3333333333333333 else: tmp = t_0 return tmp
function code(a, rand) t_0 = Float64(Float64(rand / 3.0) * sqrt(Float64(a + -0.3333333333333333))) tmp = 0.0 if (rand <= -9.4e+78) tmp = t_0; elseif (rand <= 1.6e+70) tmp = Float64(a + -0.3333333333333333); else tmp = t_0; end return tmp end
function tmp_2 = code(a, rand) t_0 = (rand / 3.0) * sqrt((a + -0.3333333333333333)); tmp = 0.0; if (rand <= -9.4e+78) tmp = t_0; elseif (rand <= 1.6e+70) tmp = a + -0.3333333333333333; else tmp = t_0; end tmp_2 = tmp; end
code[a_, rand_] := Block[{t$95$0 = N[(N[(rand / 3.0), $MachinePrecision] * N[Sqrt[N[(a + -0.3333333333333333), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[rand, -9.4e+78], t$95$0, If[LessEqual[rand, 1.6e+70], N[(a + -0.3333333333333333), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{rand}{3} \cdot \sqrt{a + -0.3333333333333333}\\
\mathbf{if}\;rand \leq -9.4 \cdot 10^{+78}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;rand \leq 1.6 \cdot 10^{+70}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if rand < -9.40000000000000012e78 or 1.6000000000000001e70 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in rand around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f6490.8%
Simplified90.8%
*-commutativeN/A
metadata-evalN/A
div-invN/A
/-lowering-/.f6490.9%
Applied egg-rr90.9%
if -9.40000000000000012e78 < rand < 1.6000000000000001e70Initial program 100.0%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
Final simplification93.8%
(FPCore (a rand)
:precision binary64
(let* ((t_0 (* (sqrt (+ a -0.3333333333333333)) (* rand 0.3333333333333333))))
(if (<= rand -5e+80)
t_0
(if (<= rand 2.35e+76) (+ a -0.3333333333333333) t_0))))
double code(double a, double rand) {
double t_0 = sqrt((a + -0.3333333333333333)) * (rand * 0.3333333333333333);
double tmp;
if (rand <= -5e+80) {
tmp = t_0;
} else if (rand <= 2.35e+76) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
real(8) :: tmp
t_0 = sqrt((a + (-0.3333333333333333d0))) * (rand * 0.3333333333333333d0)
if (rand <= (-5d+80)) then
tmp = t_0
else if (rand <= 2.35d+76) then
tmp = a + (-0.3333333333333333d0)
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double rand) {
double t_0 = Math.sqrt((a + -0.3333333333333333)) * (rand * 0.3333333333333333);
double tmp;
if (rand <= -5e+80) {
tmp = t_0;
} else if (rand <= 2.35e+76) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
def code(a, rand): t_0 = math.sqrt((a + -0.3333333333333333)) * (rand * 0.3333333333333333) tmp = 0 if rand <= -5e+80: tmp = t_0 elif rand <= 2.35e+76: tmp = a + -0.3333333333333333 else: tmp = t_0 return tmp
function code(a, rand) t_0 = Float64(sqrt(Float64(a + -0.3333333333333333)) * Float64(rand * 0.3333333333333333)) tmp = 0.0 if (rand <= -5e+80) tmp = t_0; elseif (rand <= 2.35e+76) tmp = Float64(a + -0.3333333333333333); else tmp = t_0; end return tmp end
function tmp_2 = code(a, rand) t_0 = sqrt((a + -0.3333333333333333)) * (rand * 0.3333333333333333); tmp = 0.0; if (rand <= -5e+80) tmp = t_0; elseif (rand <= 2.35e+76) tmp = a + -0.3333333333333333; else tmp = t_0; end tmp_2 = tmp; end
code[a_, rand_] := Block[{t$95$0 = N[(N[Sqrt[N[(a + -0.3333333333333333), $MachinePrecision]], $MachinePrecision] * N[(rand * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[rand, -5e+80], t$95$0, If[LessEqual[rand, 2.35e+76], N[(a + -0.3333333333333333), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sqrt{a + -0.3333333333333333} \cdot \left(rand \cdot 0.3333333333333333\right)\\
\mathbf{if}\;rand \leq -5 \cdot 10^{+80}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;rand \leq 2.35 \cdot 10^{+76}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if rand < -4.99999999999999961e80 or 2.3500000000000002e76 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in rand around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f6490.8%
Simplified90.8%
if -4.99999999999999961e80 < rand < 2.3500000000000002e76Initial program 100.0%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
Final simplification93.8%
(FPCore (a rand) :precision binary64 (if (<= rand -1.02e+81) (* (* rand (sqrt a)) 0.3333333333333333) (if (<= rand 6.2e+76) (+ a -0.3333333333333333) (* (sqrt a) (/ rand 3.0)))))
double code(double a, double rand) {
double tmp;
if (rand <= -1.02e+81) {
tmp = (rand * sqrt(a)) * 0.3333333333333333;
} else if (rand <= 6.2e+76) {
tmp = a + -0.3333333333333333;
} else {
tmp = sqrt(a) * (rand / 3.0);
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: tmp
if (rand <= (-1.02d+81)) then
tmp = (rand * sqrt(a)) * 0.3333333333333333d0
else if (rand <= 6.2d+76) then
tmp = a + (-0.3333333333333333d0)
else
tmp = sqrt(a) * (rand / 3.0d0)
end if
code = tmp
end function
public static double code(double a, double rand) {
double tmp;
if (rand <= -1.02e+81) {
tmp = (rand * Math.sqrt(a)) * 0.3333333333333333;
} else if (rand <= 6.2e+76) {
tmp = a + -0.3333333333333333;
} else {
tmp = Math.sqrt(a) * (rand / 3.0);
}
return tmp;
}
def code(a, rand): tmp = 0 if rand <= -1.02e+81: tmp = (rand * math.sqrt(a)) * 0.3333333333333333 elif rand <= 6.2e+76: tmp = a + -0.3333333333333333 else: tmp = math.sqrt(a) * (rand / 3.0) return tmp
function code(a, rand) tmp = 0.0 if (rand <= -1.02e+81) tmp = Float64(Float64(rand * sqrt(a)) * 0.3333333333333333); elseif (rand <= 6.2e+76) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(sqrt(a) * Float64(rand / 3.0)); end return tmp end
function tmp_2 = code(a, rand) tmp = 0.0; if (rand <= -1.02e+81) tmp = (rand * sqrt(a)) * 0.3333333333333333; elseif (rand <= 6.2e+76) tmp = a + -0.3333333333333333; else tmp = sqrt(a) * (rand / 3.0); end tmp_2 = tmp; end
code[a_, rand_] := If[LessEqual[rand, -1.02e+81], N[(N[(rand * N[Sqrt[a], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision], If[LessEqual[rand, 6.2e+76], N[(a + -0.3333333333333333), $MachinePrecision], N[(N[Sqrt[a], $MachinePrecision] * N[(rand / 3.0), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;rand \leq -1.02 \cdot 10^{+81}:\\
\;\;\;\;\left(rand \cdot \sqrt{a}\right) \cdot 0.3333333333333333\\
\mathbf{elif}\;rand \leq 6.2 \cdot 10^{+76}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;\sqrt{a} \cdot \frac{rand}{3}\\
\end{array}
\end{array}
if rand < -1.01999999999999992e81Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in a around 0
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6488.4%
Simplified88.4%
if -1.01999999999999992e81 < rand < 6.20000000000000023e76Initial program 100.0%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
if 6.20000000000000023e76 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in rand around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f6492.9%
Simplified92.9%
*-commutativeN/A
metadata-evalN/A
div-invN/A
/-lowering-/.f6493.1%
Applied egg-rr93.1%
Taylor expanded in a around inf
sqrt-lowering-sqrt.f6490.3%
Simplified90.3%
Final simplification93.2%
(FPCore (a rand)
:precision binary64
(if (<= rand -2.16e+80)
(* (* rand (sqrt a)) 0.3333333333333333)
(if (<= rand 5e+72)
(+ a -0.3333333333333333)
(* rand (* (sqrt a) 0.3333333333333333)))))
double code(double a, double rand) {
double tmp;
if (rand <= -2.16e+80) {
tmp = (rand * sqrt(a)) * 0.3333333333333333;
} else if (rand <= 5e+72) {
tmp = a + -0.3333333333333333;
} else {
tmp = rand * (sqrt(a) * 0.3333333333333333);
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: tmp
if (rand <= (-2.16d+80)) then
tmp = (rand * sqrt(a)) * 0.3333333333333333d0
else if (rand <= 5d+72) then
tmp = a + (-0.3333333333333333d0)
else
tmp = rand * (sqrt(a) * 0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double a, double rand) {
double tmp;
if (rand <= -2.16e+80) {
tmp = (rand * Math.sqrt(a)) * 0.3333333333333333;
} else if (rand <= 5e+72) {
tmp = a + -0.3333333333333333;
} else {
tmp = rand * (Math.sqrt(a) * 0.3333333333333333);
}
return tmp;
}
def code(a, rand): tmp = 0 if rand <= -2.16e+80: tmp = (rand * math.sqrt(a)) * 0.3333333333333333 elif rand <= 5e+72: tmp = a + -0.3333333333333333 else: tmp = rand * (math.sqrt(a) * 0.3333333333333333) return tmp
function code(a, rand) tmp = 0.0 if (rand <= -2.16e+80) tmp = Float64(Float64(rand * sqrt(a)) * 0.3333333333333333); elseif (rand <= 5e+72) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(rand * Float64(sqrt(a) * 0.3333333333333333)); end return tmp end
function tmp_2 = code(a, rand) tmp = 0.0; if (rand <= -2.16e+80) tmp = (rand * sqrt(a)) * 0.3333333333333333; elseif (rand <= 5e+72) tmp = a + -0.3333333333333333; else tmp = rand * (sqrt(a) * 0.3333333333333333); end tmp_2 = tmp; end
code[a_, rand_] := If[LessEqual[rand, -2.16e+80], N[(N[(rand * N[Sqrt[a], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision], If[LessEqual[rand, 5e+72], N[(a + -0.3333333333333333), $MachinePrecision], N[(rand * N[(N[Sqrt[a], $MachinePrecision] * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;rand \leq -2.16 \cdot 10^{+80}:\\
\;\;\;\;\left(rand \cdot \sqrt{a}\right) \cdot 0.3333333333333333\\
\mathbf{elif}\;rand \leq 5 \cdot 10^{+72}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;rand \cdot \left(\sqrt{a} \cdot 0.3333333333333333\right)\\
\end{array}
\end{array}
if rand < -2.16e80Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6498.7%
Simplified98.7%
Taylor expanded in a around 0
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6488.4%
Simplified88.4%
if -2.16e80 < rand < 4.99999999999999992e72Initial program 100.0%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
if 4.99999999999999992e72 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in rand around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-lowering-*.f6492.9%
Simplified92.9%
Taylor expanded in a around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6490.2%
Simplified90.2%
Final simplification93.2%
(FPCore (a rand)
:precision binary64
(let* ((t_0 (* (* rand (sqrt a)) 0.3333333333333333)))
(if (<= rand -6.8e+77)
t_0
(if (<= rand 1.55e+75) (+ a -0.3333333333333333) t_0))))
double code(double a, double rand) {
double t_0 = (rand * sqrt(a)) * 0.3333333333333333;
double tmp;
if (rand <= -6.8e+77) {
tmp = t_0;
} else if (rand <= 1.55e+75) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
real(8) :: tmp
t_0 = (rand * sqrt(a)) * 0.3333333333333333d0
if (rand <= (-6.8d+77)) then
tmp = t_0
else if (rand <= 1.55d+75) then
tmp = a + (-0.3333333333333333d0)
else
tmp = t_0
end if
code = tmp
end function
public static double code(double a, double rand) {
double t_0 = (rand * Math.sqrt(a)) * 0.3333333333333333;
double tmp;
if (rand <= -6.8e+77) {
tmp = t_0;
} else if (rand <= 1.55e+75) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0;
}
return tmp;
}
def code(a, rand): t_0 = (rand * math.sqrt(a)) * 0.3333333333333333 tmp = 0 if rand <= -6.8e+77: tmp = t_0 elif rand <= 1.55e+75: tmp = a + -0.3333333333333333 else: tmp = t_0 return tmp
function code(a, rand) t_0 = Float64(Float64(rand * sqrt(a)) * 0.3333333333333333) tmp = 0.0 if (rand <= -6.8e+77) tmp = t_0; elseif (rand <= 1.55e+75) tmp = Float64(a + -0.3333333333333333); else tmp = t_0; end return tmp end
function tmp_2 = code(a, rand) t_0 = (rand * sqrt(a)) * 0.3333333333333333; tmp = 0.0; if (rand <= -6.8e+77) tmp = t_0; elseif (rand <= 1.55e+75) tmp = a + -0.3333333333333333; else tmp = t_0; end tmp_2 = tmp; end
code[a_, rand_] := Block[{t$95$0 = N[(N[(rand * N[Sqrt[a], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision]}, If[LessEqual[rand, -6.8e+77], t$95$0, If[LessEqual[rand, 1.55e+75], N[(a + -0.3333333333333333), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(rand \cdot \sqrt{a}\right) \cdot 0.3333333333333333\\
\mathbf{if}\;rand \leq -6.8 \cdot 10^{+77}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;rand \leq 1.55 \cdot 10^{+75}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if rand < -6.79999999999999993e77 or 1.5500000000000001e75 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.6%
Simplified99.6%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6497.7%
Simplified97.7%
Taylor expanded in a around 0
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6489.2%
Simplified89.2%
if -6.79999999999999993e77 < rand < 1.5500000000000001e75Initial program 100.0%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6495.2%
Simplified95.2%
Final simplification93.2%
(FPCore (a rand) :precision binary64 (* (+ 1.0 (/ rand (sqrt (* a 9.0)))) (+ a -0.3333333333333333)))
double code(double a, double rand) {
return (1.0 + (rand / sqrt((a * 9.0)))) * (a + -0.3333333333333333);
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = (1.0d0 + (rand / sqrt((a * 9.0d0)))) * (a + (-0.3333333333333333d0))
end function
public static double code(double a, double rand) {
return (1.0 + (rand / Math.sqrt((a * 9.0)))) * (a + -0.3333333333333333);
}
def code(a, rand): return (1.0 + (rand / math.sqrt((a * 9.0)))) * (a + -0.3333333333333333)
function code(a, rand) return Float64(Float64(1.0 + Float64(rand / sqrt(Float64(a * 9.0)))) * Float64(a + -0.3333333333333333)) end
function tmp = code(a, rand) tmp = (1.0 + (rand / sqrt((a * 9.0)))) * (a + -0.3333333333333333); end
code[a_, rand_] := N[(N[(1.0 + N[(rand / N[Sqrt[N[(a * 9.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(a + -0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 + \frac{rand}{\sqrt{a \cdot 9}}\right) \cdot \left(a + -0.3333333333333333\right)
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in a around inf
Simplified98.8%
Final simplification98.8%
(FPCore (a rand) :precision binary64 (+ a (/ (* rand (sqrt a)) 3.0)))
double code(double a, double rand) {
return a + ((rand * sqrt(a)) / 3.0);
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a + ((rand * sqrt(a)) / 3.0d0)
end function
public static double code(double a, double rand) {
return a + ((rand * Math.sqrt(a)) / 3.0);
}
def code(a, rand): return a + ((rand * math.sqrt(a)) / 3.0)
function code(a, rand) return Float64(a + Float64(Float64(rand * sqrt(a)) / 3.0)) end
function tmp = code(a, rand) tmp = a + ((rand * sqrt(a)) / 3.0); end
code[a_, rand_] := N[(a + N[(N[(rand * N[Sqrt[a], $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a + \frac{rand \cdot \sqrt{a}}{3}
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6497.7%
Simplified97.7%
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
+-lowering-+.f64N/A
Applied egg-rr97.8%
associate-*l/N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6497.8%
Applied egg-rr97.8%
Final simplification97.8%
(FPCore (a rand) :precision binary64 (+ a (* (sqrt a) (/ rand 3.0))))
double code(double a, double rand) {
return a + (sqrt(a) * (rand / 3.0));
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a + (sqrt(a) * (rand / 3.0d0))
end function
public static double code(double a, double rand) {
return a + (Math.sqrt(a) * (rand / 3.0));
}
def code(a, rand): return a + (math.sqrt(a) * (rand / 3.0))
function code(a, rand) return Float64(a + Float64(sqrt(a) * Float64(rand / 3.0))) end
function tmp = code(a, rand) tmp = a + (sqrt(a) * (rand / 3.0)); end
code[a_, rand_] := N[(a + N[(N[Sqrt[a], $MachinePrecision] * N[(rand / 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a + \sqrt{a} \cdot \frac{rand}{3}
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6497.7%
Simplified97.7%
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
+-lowering-+.f64N/A
Applied egg-rr97.8%
Final simplification97.8%
(FPCore (a rand) :precision binary64 (+ a (* rand (/ (sqrt a) 3.0))))
double code(double a, double rand) {
return a + (rand * (sqrt(a) / 3.0));
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a + (rand * (sqrt(a) / 3.0d0))
end function
public static double code(double a, double rand) {
return a + (rand * (Math.sqrt(a) / 3.0));
}
def code(a, rand): return a + (rand * (math.sqrt(a) / 3.0))
function code(a, rand) return Float64(a + Float64(rand * Float64(sqrt(a) / 3.0))) end
function tmp = code(a, rand) tmp = a + (rand * (sqrt(a) / 3.0)); end
code[a_, rand_] := N[(a + N[(rand * N[(N[Sqrt[a], $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a + rand \cdot \frac{\sqrt{a}}{3}
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6497.7%
Simplified97.7%
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
+-lowering-+.f64N/A
Applied egg-rr97.8%
associate-*l/N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f6497.8%
Applied egg-rr97.8%
Final simplification97.8%
(FPCore (a rand) :precision binary64 (+ a (* (* rand (sqrt a)) 0.3333333333333333)))
double code(double a, double rand) {
return a + ((rand * sqrt(a)) * 0.3333333333333333);
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a + ((rand * sqrt(a)) * 0.3333333333333333d0)
end function
public static double code(double a, double rand) {
return a + ((rand * Math.sqrt(a)) * 0.3333333333333333);
}
def code(a, rand): return a + ((rand * math.sqrt(a)) * 0.3333333333333333)
function code(a, rand) return Float64(a + Float64(Float64(rand * sqrt(a)) * 0.3333333333333333)) end
function tmp = code(a, rand) tmp = a + ((rand * sqrt(a)) * 0.3333333333333333); end
code[a_, rand_] := N[(a + N[(N[(rand * N[Sqrt[a], $MachinePrecision]), $MachinePrecision] * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
a + \left(rand \cdot \sqrt{a}\right) \cdot 0.3333333333333333
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6497.7%
Simplified97.7%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sqrt-lowering-sqrt.f6497.7%
Simplified97.7%
Final simplification97.7%
(FPCore (a rand)
:precision binary64
(let* ((t_0 (+ (* a (* a a)) -0.037037037037037035)))
(if (<= rand -6.8e+131)
(* t_0 (+ 9.0 (* a (+ -27.0 (* a (* (* a a) -729.0))))))
(if (<= rand 7e+111)
(+ a -0.3333333333333333)
(* t_0 (+ 9.0 (* a (+ -27.0 (* a (* a 243.0))))))))))
double code(double a, double rand) {
double t_0 = (a * (a * a)) + -0.037037037037037035;
double tmp;
if (rand <= -6.8e+131) {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * ((a * a) * -729.0)))));
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0)))));
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
real(8) :: tmp
t_0 = (a * (a * a)) + (-0.037037037037037035d0)
if (rand <= (-6.8d+131)) then
tmp = t_0 * (9.0d0 + (a * ((-27.0d0) + (a * ((a * a) * (-729.0d0))))))
else if (rand <= 7d+111) then
tmp = a + (-0.3333333333333333d0)
else
tmp = t_0 * (9.0d0 + (a * ((-27.0d0) + (a * (a * 243.0d0)))))
end if
code = tmp
end function
public static double code(double a, double rand) {
double t_0 = (a * (a * a)) + -0.037037037037037035;
double tmp;
if (rand <= -6.8e+131) {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * ((a * a) * -729.0)))));
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0)))));
}
return tmp;
}
def code(a, rand): t_0 = (a * (a * a)) + -0.037037037037037035 tmp = 0 if rand <= -6.8e+131: tmp = t_0 * (9.0 + (a * (-27.0 + (a * ((a * a) * -729.0))))) elif rand <= 7e+111: tmp = a + -0.3333333333333333 else: tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0))))) return tmp
function code(a, rand) t_0 = Float64(Float64(a * Float64(a * a)) + -0.037037037037037035) tmp = 0.0 if (rand <= -6.8e+131) tmp = Float64(t_0 * Float64(9.0 + Float64(a * Float64(-27.0 + Float64(a * Float64(Float64(a * a) * -729.0)))))); elseif (rand <= 7e+111) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(t_0 * Float64(9.0 + Float64(a * Float64(-27.0 + Float64(a * Float64(a * 243.0)))))); end return tmp end
function tmp_2 = code(a, rand) t_0 = (a * (a * a)) + -0.037037037037037035; tmp = 0.0; if (rand <= -6.8e+131) tmp = t_0 * (9.0 + (a * (-27.0 + (a * ((a * a) * -729.0))))); elseif (rand <= 7e+111) tmp = a + -0.3333333333333333; else tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0))))); end tmp_2 = tmp; end
code[a_, rand_] := Block[{t$95$0 = N[(N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision] + -0.037037037037037035), $MachinePrecision]}, If[LessEqual[rand, -6.8e+131], N[(t$95$0 * N[(9.0 + N[(a * N[(-27.0 + N[(a * N[(N[(a * a), $MachinePrecision] * -729.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[rand, 7e+111], N[(a + -0.3333333333333333), $MachinePrecision], N[(t$95$0 * N[(9.0 + N[(a * N[(-27.0 + N[(a * N[(a * 243.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot \left(a \cdot a\right) + -0.037037037037037035\\
\mathbf{if}\;rand \leq -6.8 \cdot 10^{+131}:\\
\;\;\;\;t\_0 \cdot \left(9 + a \cdot \left(-27 + a \cdot \left(\left(a \cdot a\right) \cdot -729\right)\right)\right)\\
\mathbf{elif}\;rand \leq 7 \cdot 10^{+111}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;t\_0 \cdot \left(9 + a \cdot \left(-27 + a \cdot \left(a \cdot 243\right)\right)\right)\\
\end{array}
\end{array}
if rand < -6.79999999999999972e131Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f640.4%
Simplified0.4%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f640.2%
Applied egg-rr0.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6441.2%
Simplified41.2%
Taylor expanded in a around inf
*-commutativeN/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6441.2%
Simplified41.2%
if -6.79999999999999972e131 < rand < 7.0000000000000004e111Initial program 99.9%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6488.4%
Simplified88.4%
if 7.0000000000000004e111 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f646.3%
Simplified6.3%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f643.2%
Applied egg-rr3.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6438.3%
Simplified38.3%
Final simplification76.5%
(FPCore (a rand)
:precision binary64
(let* ((t_0 (+ (* a (* a a)) -0.037037037037037035)))
(if (<= rand -4.6e+132)
(* t_0 (* a -27.0))
(if (<= rand 7e+111)
(+ a -0.3333333333333333)
(* t_0 (+ 9.0 (* a (+ -27.0 (* a (* a 243.0))))))))))
double code(double a, double rand) {
double t_0 = (a * (a * a)) + -0.037037037037037035;
double tmp;
if (rand <= -4.6e+132) {
tmp = t_0 * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0)))));
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: t_0
real(8) :: tmp
t_0 = (a * (a * a)) + (-0.037037037037037035d0)
if (rand <= (-4.6d+132)) then
tmp = t_0 * (a * (-27.0d0))
else if (rand <= 7d+111) then
tmp = a + (-0.3333333333333333d0)
else
tmp = t_0 * (9.0d0 + (a * ((-27.0d0) + (a * (a * 243.0d0)))))
end if
code = tmp
end function
public static double code(double a, double rand) {
double t_0 = (a * (a * a)) + -0.037037037037037035;
double tmp;
if (rand <= -4.6e+132) {
tmp = t_0 * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0)))));
}
return tmp;
}
def code(a, rand): t_0 = (a * (a * a)) + -0.037037037037037035 tmp = 0 if rand <= -4.6e+132: tmp = t_0 * (a * -27.0) elif rand <= 7e+111: tmp = a + -0.3333333333333333 else: tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0))))) return tmp
function code(a, rand) t_0 = Float64(Float64(a * Float64(a * a)) + -0.037037037037037035) tmp = 0.0 if (rand <= -4.6e+132) tmp = Float64(t_0 * Float64(a * -27.0)); elseif (rand <= 7e+111) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(t_0 * Float64(9.0 + Float64(a * Float64(-27.0 + Float64(a * Float64(a * 243.0)))))); end return tmp end
function tmp_2 = code(a, rand) t_0 = (a * (a * a)) + -0.037037037037037035; tmp = 0.0; if (rand <= -4.6e+132) tmp = t_0 * (a * -27.0); elseif (rand <= 7e+111) tmp = a + -0.3333333333333333; else tmp = t_0 * (9.0 + (a * (-27.0 + (a * (a * 243.0))))); end tmp_2 = tmp; end
code[a_, rand_] := Block[{t$95$0 = N[(N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision] + -0.037037037037037035), $MachinePrecision]}, If[LessEqual[rand, -4.6e+132], N[(t$95$0 * N[(a * -27.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[rand, 7e+111], N[(a + -0.3333333333333333), $MachinePrecision], N[(t$95$0 * N[(9.0 + N[(a * N[(-27.0 + N[(a * N[(a * 243.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot \left(a \cdot a\right) + -0.037037037037037035\\
\mathbf{if}\;rand \leq -4.6 \cdot 10^{+132}:\\
\;\;\;\;t\_0 \cdot \left(a \cdot -27\right)\\
\mathbf{elif}\;rand \leq 7 \cdot 10^{+111}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;t\_0 \cdot \left(9 + a \cdot \left(-27 + a \cdot \left(a \cdot 243\right)\right)\right)\\
\end{array}
\end{array}
if rand < -4.6000000000000003e132Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f640.4%
Simplified0.4%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f640.2%
Applied egg-rr0.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
Taylor expanded in a around inf
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
if -4.6000000000000003e132 < rand < 7.0000000000000004e111Initial program 99.9%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6488.4%
Simplified88.4%
if 7.0000000000000004e111 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f646.3%
Simplified6.3%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f643.2%
Applied egg-rr3.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f6438.3%
Simplified38.3%
Final simplification76.1%
(FPCore (a rand)
:precision binary64
(if (<= rand -6.8e+133)
(* (+ (* a (* a a)) -0.037037037037037035) (* a -27.0))
(if (<= rand 7e+111)
(+ a -0.3333333333333333)
(*
-0.037037037037037035
(+ 9.0 (* a (+ -27.0 (* a (* a (+ 243.0 (* a -729.0)))))))))))
double code(double a, double rand) {
double tmp;
if (rand <= -6.8e+133) {
tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = -0.037037037037037035 * (9.0 + (a * (-27.0 + (a * (a * (243.0 + (a * -729.0)))))));
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: tmp
if (rand <= (-6.8d+133)) then
tmp = ((a * (a * a)) + (-0.037037037037037035d0)) * (a * (-27.0d0))
else if (rand <= 7d+111) then
tmp = a + (-0.3333333333333333d0)
else
tmp = (-0.037037037037037035d0) * (9.0d0 + (a * ((-27.0d0) + (a * (a * (243.0d0 + (a * (-729.0d0))))))))
end if
code = tmp
end function
public static double code(double a, double rand) {
double tmp;
if (rand <= -6.8e+133) {
tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = -0.037037037037037035 * (9.0 + (a * (-27.0 + (a * (a * (243.0 + (a * -729.0)))))));
}
return tmp;
}
def code(a, rand): tmp = 0 if rand <= -6.8e+133: tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0) elif rand <= 7e+111: tmp = a + -0.3333333333333333 else: tmp = -0.037037037037037035 * (9.0 + (a * (-27.0 + (a * (a * (243.0 + (a * -729.0))))))) return tmp
function code(a, rand) tmp = 0.0 if (rand <= -6.8e+133) tmp = Float64(Float64(Float64(a * Float64(a * a)) + -0.037037037037037035) * Float64(a * -27.0)); elseif (rand <= 7e+111) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(-0.037037037037037035 * Float64(9.0 + Float64(a * Float64(-27.0 + Float64(a * Float64(a * Float64(243.0 + Float64(a * -729.0)))))))); end return tmp end
function tmp_2 = code(a, rand) tmp = 0.0; if (rand <= -6.8e+133) tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0); elseif (rand <= 7e+111) tmp = a + -0.3333333333333333; else tmp = -0.037037037037037035 * (9.0 + (a * (-27.0 + (a * (a * (243.0 + (a * -729.0))))))); end tmp_2 = tmp; end
code[a_, rand_] := If[LessEqual[rand, -6.8e+133], N[(N[(N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision] + -0.037037037037037035), $MachinePrecision] * N[(a * -27.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[rand, 7e+111], N[(a + -0.3333333333333333), $MachinePrecision], N[(-0.037037037037037035 * N[(9.0 + N[(a * N[(-27.0 + N[(a * N[(a * N[(243.0 + N[(a * -729.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;rand \leq -6.8 \cdot 10^{+133}:\\
\;\;\;\;\left(a \cdot \left(a \cdot a\right) + -0.037037037037037035\right) \cdot \left(a \cdot -27\right)\\
\mathbf{elif}\;rand \leq 7 \cdot 10^{+111}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;-0.037037037037037035 \cdot \left(9 + a \cdot \left(-27 + a \cdot \left(a \cdot \left(243 + a \cdot -729\right)\right)\right)\right)\\
\end{array}
\end{array}
if rand < -6.79999999999999975e133Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f640.4%
Simplified0.4%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f640.2%
Applied egg-rr0.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
Taylor expanded in a around inf
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
if -6.79999999999999975e133 < rand < 7.0000000000000004e111Initial program 99.9%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6488.4%
Simplified88.4%
if 7.0000000000000004e111 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f646.3%
Simplified6.3%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f643.2%
Applied egg-rr3.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f64N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f640.2%
Simplified0.2%
Taylor expanded in a around 0
Simplified34.8%
Final simplification75.7%
(FPCore (a rand)
:precision binary64
(if (<= rand -4e+129)
(* (+ (* a (* a a)) -0.037037037037037035) (* a -27.0))
(if (<= rand 7e+111)
(+ a -0.3333333333333333)
(/ (- 0.1111111111111111 (* a a)) -0.3333333333333333))))
double code(double a, double rand) {
double tmp;
if (rand <= -4e+129) {
tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333;
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: tmp
if (rand <= (-4d+129)) then
tmp = ((a * (a * a)) + (-0.037037037037037035d0)) * (a * (-27.0d0))
else if (rand <= 7d+111) then
tmp = a + (-0.3333333333333333d0)
else
tmp = (0.1111111111111111d0 - (a * a)) / (-0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double a, double rand) {
double tmp;
if (rand <= -4e+129) {
tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0);
} else if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333;
}
return tmp;
}
def code(a, rand): tmp = 0 if rand <= -4e+129: tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0) elif rand <= 7e+111: tmp = a + -0.3333333333333333 else: tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333 return tmp
function code(a, rand) tmp = 0.0 if (rand <= -4e+129) tmp = Float64(Float64(Float64(a * Float64(a * a)) + -0.037037037037037035) * Float64(a * -27.0)); elseif (rand <= 7e+111) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(Float64(0.1111111111111111 - Float64(a * a)) / -0.3333333333333333); end return tmp end
function tmp_2 = code(a, rand) tmp = 0.0; if (rand <= -4e+129) tmp = ((a * (a * a)) + -0.037037037037037035) * (a * -27.0); elseif (rand <= 7e+111) tmp = a + -0.3333333333333333; else tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333; end tmp_2 = tmp; end
code[a_, rand_] := If[LessEqual[rand, -4e+129], N[(N[(N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision] + -0.037037037037037035), $MachinePrecision] * N[(a * -27.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[rand, 7e+111], N[(a + -0.3333333333333333), $MachinePrecision], N[(N[(0.1111111111111111 - N[(a * a), $MachinePrecision]), $MachinePrecision] / -0.3333333333333333), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;rand \leq -4 \cdot 10^{+129}:\\
\;\;\;\;\left(a \cdot \left(a \cdot a\right) + -0.037037037037037035\right) \cdot \left(a \cdot -27\right)\\
\mathbf{elif}\;rand \leq 7 \cdot 10^{+111}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;\frac{0.1111111111111111 - a \cdot a}{-0.3333333333333333}\\
\end{array}
\end{array}
if rand < -4e129Initial program 99.6%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f640.4%
Simplified0.4%
flip3-+N/A
div-invN/A
*-lowering-*.f64N/A
+-commutativeN/A
+-lowering-+.f64N/A
cube-multN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
+-lowering-+.f64N/A
metadata-evalN/A
distribute-rgt-out--N/A
*-lowering-*.f64N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f640.2%
Applied egg-rr0.2%
Taylor expanded in a around 0
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
Taylor expanded in a around inf
*-commutativeN/A
*-lowering-*.f6438.7%
Simplified38.7%
if -4e129 < rand < 7.0000000000000004e111Initial program 99.9%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval100.0%
Simplified100.0%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6488.4%
Simplified88.4%
if 7.0000000000000004e111 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f646.3%
Simplified6.3%
flip-+N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
--lowering--.f6433.4%
Applied egg-rr33.4%
Taylor expanded in a around 0
Simplified34.6%
Final simplification75.7%
(FPCore (a rand) :precision binary64 (if (<= rand 7e+111) (+ a -0.3333333333333333) (/ (- 0.1111111111111111 (* a a)) -0.3333333333333333)))
double code(double a, double rand) {
double tmp;
if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333;
}
return tmp;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
real(8) :: tmp
if (rand <= 7d+111) then
tmp = a + (-0.3333333333333333d0)
else
tmp = (0.1111111111111111d0 - (a * a)) / (-0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double a, double rand) {
double tmp;
if (rand <= 7e+111) {
tmp = a + -0.3333333333333333;
} else {
tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333;
}
return tmp;
}
def code(a, rand): tmp = 0 if rand <= 7e+111: tmp = a + -0.3333333333333333 else: tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333 return tmp
function code(a, rand) tmp = 0.0 if (rand <= 7e+111) tmp = Float64(a + -0.3333333333333333); else tmp = Float64(Float64(0.1111111111111111 - Float64(a * a)) / -0.3333333333333333); end return tmp end
function tmp_2 = code(a, rand) tmp = 0.0; if (rand <= 7e+111) tmp = a + -0.3333333333333333; else tmp = (0.1111111111111111 - (a * a)) / -0.3333333333333333; end tmp_2 = tmp; end
code[a_, rand_] := If[LessEqual[rand, 7e+111], N[(a + -0.3333333333333333), $MachinePrecision], N[(N[(0.1111111111111111 - N[(a * a), $MachinePrecision]), $MachinePrecision] / -0.3333333333333333), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;rand \leq 7 \cdot 10^{+111}:\\
\;\;\;\;a + -0.3333333333333333\\
\mathbf{else}:\\
\;\;\;\;\frac{0.1111111111111111 - a \cdot a}{-0.3333333333333333}\\
\end{array}
\end{array}
if rand < 7.0000000000000004e111Initial program 99.9%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6474.5%
Simplified74.5%
if 7.0000000000000004e111 < rand Initial program 99.5%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.7%
Simplified99.7%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f646.3%
Simplified6.3%
flip-+N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
metadata-evalN/A
*-lowering-*.f64N/A
--lowering--.f6433.4%
Applied egg-rr33.4%
Taylor expanded in a around 0
Simplified34.6%
Final simplification70.3%
(FPCore (a rand) :precision binary64 (+ a -0.3333333333333333))
double code(double a, double rand) {
return a + -0.3333333333333333;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a + (-0.3333333333333333d0)
end function
public static double code(double a, double rand) {
return a + -0.3333333333333333;
}
def code(a, rand): return a + -0.3333333333333333
function code(a, rand) return Float64(a + -0.3333333333333333) end
function tmp = code(a, rand) tmp = a + -0.3333333333333333; end
code[a_, rand_] := N[(a + -0.3333333333333333), $MachinePrecision]
\begin{array}{l}
\\
a + -0.3333333333333333
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6467.3%
Simplified67.3%
Final simplification67.3%
(FPCore (a rand) :precision binary64 a)
double code(double a, double rand) {
return a;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = a
end function
public static double code(double a, double rand) {
return a;
}
def code(a, rand): return a
function code(a, rand) return a end
function tmp = code(a, rand) tmp = a; end
code[a_, rand_] := a
\begin{array}{l}
\\
a
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6467.3%
Simplified67.3%
Taylor expanded in a around inf
Simplified66.4%
(FPCore (a rand) :precision binary64 -0.3333333333333333)
double code(double a, double rand) {
return -0.3333333333333333;
}
real(8) function code(a, rand)
real(8), intent (in) :: a
real(8), intent (in) :: rand
code = -0.3333333333333333d0
end function
public static double code(double a, double rand) {
return -0.3333333333333333;
}
def code(a, rand): return -0.3333333333333333
function code(a, rand) return -0.3333333333333333 end
function tmp = code(a, rand) tmp = -0.3333333333333333; end
code[a_, rand_] := -0.3333333333333333
\begin{array}{l}
\\
-0.3333333333333333
\end{array}
Initial program 99.8%
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f64N/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f64N/A
sqrt-lowering-sqrt.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
sub-negN/A
+-lowering-+.f64N/A
metadata-evalN/A
metadata-eval99.9%
Simplified99.9%
Taylor expanded in rand around 0
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f6467.3%
Simplified67.3%
Taylor expanded in a around 0
Simplified1.5%
herbie shell --seed 2024163
(FPCore (a rand)
:name "Octave 3.8, oct_fill_randg"
:precision binary64
(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand))))