Average Error: 0.1 → 0.1
Time: 7.8s
Precision: binary64
Cost: 7232
\[\left(a - \frac{1}{3}\right) \cdot \left(1 + \frac{1}{\sqrt{9 \cdot \left(a - \frac{1}{3}\right)}} \cdot rand\right) \]
\[\left(0.3333333333333333 - a\right) \cdot \left(-1 - \frac{\frac{rand}{3}}{\sqrt{a + -0.3333333333333333}}\right) \]
(FPCore (a rand)
 :precision binary64
 (*
  (- a (/ 1.0 3.0))
  (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand))))
(FPCore (a rand)
 :precision binary64
 (*
  (- 0.3333333333333333 a)
  (- -1.0 (/ (/ rand 3.0) (sqrt (+ a -0.3333333333333333))))))
double code(double a, double rand) {
	return (a - (1.0 / 3.0)) * (1.0 + ((1.0 / sqrt((9.0 * (a - (1.0 / 3.0))))) * rand));
}
double code(double a, double rand) {
	return (0.3333333333333333 - a) * (-1.0 - ((rand / 3.0) / sqrt((a + -0.3333333333333333))));
}
real(8) function code(a, rand)
    real(8), intent (in) :: a
    real(8), intent (in) :: rand
    code = (a - (1.0d0 / 3.0d0)) * (1.0d0 + ((1.0d0 / sqrt((9.0d0 * (a - (1.0d0 / 3.0d0))))) * rand))
end function
real(8) function code(a, rand)
    real(8), intent (in) :: a
    real(8), intent (in) :: rand
    code = (0.3333333333333333d0 - a) * ((-1.0d0) - ((rand / 3.0d0) / sqrt((a + (-0.3333333333333333d0)))))
end function
public static double code(double a, double rand) {
	return (a - (1.0 / 3.0)) * (1.0 + ((1.0 / Math.sqrt((9.0 * (a - (1.0 / 3.0))))) * rand));
}
public static double code(double a, double rand) {
	return (0.3333333333333333 - a) * (-1.0 - ((rand / 3.0) / Math.sqrt((a + -0.3333333333333333))));
}
def code(a, rand):
	return (a - (1.0 / 3.0)) * (1.0 + ((1.0 / math.sqrt((9.0 * (a - (1.0 / 3.0))))) * rand))
def code(a, rand):
	return (0.3333333333333333 - a) * (-1.0 - ((rand / 3.0) / math.sqrt((a + -0.3333333333333333))))
function code(a, rand)
	return Float64(Float64(a - Float64(1.0 / 3.0)) * Float64(1.0 + Float64(Float64(1.0 / sqrt(Float64(9.0 * Float64(a - Float64(1.0 / 3.0))))) * rand)))
end
function code(a, rand)
	return Float64(Float64(0.3333333333333333 - a) * Float64(-1.0 - Float64(Float64(rand / 3.0) / sqrt(Float64(a + -0.3333333333333333)))))
end
function tmp = code(a, rand)
	tmp = (a - (1.0 / 3.0)) * (1.0 + ((1.0 / sqrt((9.0 * (a - (1.0 / 3.0))))) * rand));
end
function tmp = code(a, rand)
	tmp = (0.3333333333333333 - a) * (-1.0 - ((rand / 3.0) / sqrt((a + -0.3333333333333333))));
end
code[a_, rand_] := N[(N[(a - N[(1.0 / 3.0), $MachinePrecision]), $MachinePrecision] * N[(1.0 + N[(N[(1.0 / N[Sqrt[N[(9.0 * N[(a - N[(1.0 / 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * rand), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
code[a_, rand_] := N[(N[(0.3333333333333333 - a), $MachinePrecision] * N[(-1.0 - N[(N[(rand / 3.0), $MachinePrecision] / N[Sqrt[N[(a + -0.3333333333333333), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\left(a - \frac{1}{3}\right) \cdot \left(1 + \frac{1}{\sqrt{9 \cdot \left(a - \frac{1}{3}\right)}} \cdot rand\right)
\left(0.3333333333333333 - a\right) \cdot \left(-1 - \frac{\frac{rand}{3}}{\sqrt{a + -0.3333333333333333}}\right)

Error

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(a - \frac{1}{3}\right) \cdot \left(1 + \frac{1}{\sqrt{9 \cdot \left(a - \frac{1}{3}\right)}} \cdot rand\right) \]
  2. Applied egg-rr0.1

    \[\leadsto \left(a - \frac{1}{3}\right) \cdot \left(1 + \color{blue}{\frac{\frac{rand}{3}}{\sqrt{a - 0.3333333333333333}}}\right) \]
  3. Final simplification0.1

    \[\leadsto \left(0.3333333333333333 - a\right) \cdot \left(-1 - \frac{\frac{rand}{3}}{\sqrt{a + -0.3333333333333333}}\right) \]

Alternatives

Alternative 1
Error0.1
Cost7360
\[a + \left(-0.3333333333333333 + \left(a + -0.3333333333333333\right) \cdot \frac{rand}{3 \cdot \sqrt{a + -0.3333333333333333}}\right) \]
Alternative 2
Error5.3
Cost7112
\[\begin{array}{l} t_0 := rand \cdot \sqrt{\left(0.3333333333333333 - a\right) \cdot -0.1111111111111111}\\ \mathbf{if}\;rand \leq -4.314852352834295 \cdot 10^{+95}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;rand \leq 3.525026299770496 \cdot 10^{+83}:\\ \;\;\;\;a + -0.3333333333333333\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 3
Error0.8
Cost7104
\[\left(a + -0.3333333333333333\right) \cdot \left(1 + \frac{rand}{\sqrt{a \cdot 9}}\right) \]
Alternative 4
Error5.8
Cost6984
\[\begin{array}{l} t_0 := \sqrt{a} \cdot \left(0.3333333333333333 \cdot rand\right)\\ \mathbf{if}\;rand \leq -4.314852352834295 \cdot 10^{+95}:\\ \;\;\;\;t_0\\ \mathbf{elif}\;rand \leq 3.525026299770496 \cdot 10^{+83}:\\ \;\;\;\;a + -0.3333333333333333\\ \mathbf{else}:\\ \;\;\;\;t_0\\ \end{array} \]
Alternative 5
Error5.8
Cost6984
\[\begin{array}{l} \mathbf{if}\;rand \leq -4.314852352834295 \cdot 10^{+95}:\\ \;\;\;\;\sqrt{a} \cdot \left(0.3333333333333333 \cdot rand\right)\\ \mathbf{elif}\;rand \leq 3.525026299770496 \cdot 10^{+83}:\\ \;\;\;\;a + -0.3333333333333333\\ \mathbf{else}:\\ \;\;\;\;rand \cdot \sqrt{a \cdot 0.1111111111111111}\\ \end{array} \]
Alternative 6
Error18.3
Cost192
\[a + -0.3333333333333333 \]
Alternative 7
Error19.2
Cost64
\[a \]

Error

Reproduce

herbie shell --seed 2022225 
(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))))