
(FPCore (x) :precision binary64 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.30753d0 + (x * 0.27061d0)) / (1.0d0 + (x * (0.99229d0 + (x * 0.04481d0))))) - x
end function
public static double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
def code(x): return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x
function code(x) return Float64(Float64(Float64(2.30753 + Float64(x * 0.27061)) / Float64(1.0 + Float64(x * Float64(0.99229 + Float64(x * 0.04481))))) - x) end
function tmp = code(x) tmp = ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x; end
code[x_] := N[(N[(N[(2.30753 + N[(x * 0.27061), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(x * N[(0.99229 + N[(x * 0.04481), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753 + x \cdot 0.27061}{1 + x \cdot \left(0.99229 + x \cdot 0.04481\right)} - x
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 6 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.30753d0 + (x * 0.27061d0)) / (1.0d0 + (x * (0.99229d0 + (x * 0.04481d0))))) - x
end function
public static double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
def code(x): return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x
function code(x) return Float64(Float64(Float64(2.30753 + Float64(x * 0.27061)) / Float64(1.0 + Float64(x * Float64(0.99229 + Float64(x * 0.04481))))) - x) end
function tmp = code(x) tmp = ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x; end
code[x_] := N[(N[(N[(2.30753 + N[(x * 0.27061), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(x * N[(0.99229 + N[(x * 0.04481), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753 + x \cdot 0.27061}{1 + x \cdot \left(0.99229 + x \cdot 0.04481\right)} - x
\end{array}
(FPCore (x) :precision binary64 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (+ -1.0 (+ (* x 0.99229) (+ 1.0 (* 0.04481 (pow x 2.0))))))) x))
double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (-1.0 + ((x * 0.99229) + (1.0 + (0.04481 * pow(x, 2.0))))))) - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.30753d0 + (x * 0.27061d0)) / (1.0d0 + ((-1.0d0) + ((x * 0.99229d0) + (1.0d0 + (0.04481d0 * (x ** 2.0d0))))))) - x
end function
public static double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (-1.0 + ((x * 0.99229) + (1.0 + (0.04481 * Math.pow(x, 2.0))))))) - x;
}
def code(x): return ((2.30753 + (x * 0.27061)) / (1.0 + (-1.0 + ((x * 0.99229) + (1.0 + (0.04481 * math.pow(x, 2.0))))))) - x
function code(x) return Float64(Float64(Float64(2.30753 + Float64(x * 0.27061)) / Float64(1.0 + Float64(-1.0 + Float64(Float64(x * 0.99229) + Float64(1.0 + Float64(0.04481 * (x ^ 2.0))))))) - x) end
function tmp = code(x) tmp = ((2.30753 + (x * 0.27061)) / (1.0 + (-1.0 + ((x * 0.99229) + (1.0 + (0.04481 * (x ^ 2.0))))))) - x; end
code[x_] := N[(N[(N[(2.30753 + N[(x * 0.27061), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(-1.0 + N[(N[(x * 0.99229), $MachinePrecision] + N[(1.0 + N[(0.04481 * N[Power[x, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753 + x \cdot 0.27061}{1 + \left(-1 + \left(x \cdot 0.99229 + \left(1 + 0.04481 \cdot {x}^{2}\right)\right)\right)} - x
\end{array}
Initial program 100.0%
expm1-log1p-u100.0%
expm1-udef100.0%
log1p-udef100.0%
add-exp-log100.0%
flip-+77.7%
div-inv77.7%
fma-neg77.7%
Applied egg-rr77.7%
fma-udef77.7%
+-commutative77.7%
associate-*r/77.7%
*-rgt-identity77.7%
Simplified77.7%
Taylor expanded in x around 0 100.0%
Final simplification100.0%
(FPCore (x) :precision binary64 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.30753d0 + (x * 0.27061d0)) / (1.0d0 + (x * (0.99229d0 + (x * 0.04481d0))))) - x
end function
public static double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x;
}
def code(x): return ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x
function code(x) return Float64(Float64(Float64(2.30753 + Float64(x * 0.27061)) / Float64(1.0 + Float64(x * Float64(0.99229 + Float64(x * 0.04481))))) - x) end
function tmp = code(x) tmp = ((2.30753 + (x * 0.27061)) / (1.0 + (x * (0.99229 + (x * 0.04481))))) - x; end
code[x_] := N[(N[(N[(2.30753 + N[(x * 0.27061), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(x * N[(0.99229 + N[(x * 0.04481), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753 + x \cdot 0.27061}{1 + x \cdot \left(0.99229 + x \cdot 0.04481\right)} - x
\end{array}
Initial program 100.0%
Final simplification100.0%
(FPCore (x) :precision binary64 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x 0.99229))) x))
double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * 0.99229))) - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.30753d0 + (x * 0.27061d0)) / (1.0d0 + (x * 0.99229d0))) - x
end function
public static double code(double x) {
return ((2.30753 + (x * 0.27061)) / (1.0 + (x * 0.99229))) - x;
}
def code(x): return ((2.30753 + (x * 0.27061)) / (1.0 + (x * 0.99229))) - x
function code(x) return Float64(Float64(Float64(2.30753 + Float64(x * 0.27061)) / Float64(1.0 + Float64(x * 0.99229))) - x) end
function tmp = code(x) tmp = ((2.30753 + (x * 0.27061)) / (1.0 + (x * 0.99229))) - x; end
code[x_] := N[(N[(N[(2.30753 + N[(x * 0.27061), $MachinePrecision]), $MachinePrecision] / N[(1.0 + N[(x * 0.99229), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753 + x \cdot 0.27061}{1 + x \cdot 0.99229} - x
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 99.3%
*-commutative99.3%
Simplified99.3%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (<= x -3.6) (- x) (if (<= x 1.15) 2.30753 (- x))))
double code(double x) {
double tmp;
if (x <= -3.6) {
tmp = -x;
} else if (x <= 1.15) {
tmp = 2.30753;
} else {
tmp = -x;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-3.6d0)) then
tmp = -x
else if (x <= 1.15d0) then
tmp = 2.30753d0
else
tmp = -x
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -3.6) {
tmp = -x;
} else if (x <= 1.15) {
tmp = 2.30753;
} else {
tmp = -x;
}
return tmp;
}
def code(x): tmp = 0 if x <= -3.6: tmp = -x elif x <= 1.15: tmp = 2.30753 else: tmp = -x return tmp
function code(x) tmp = 0.0 if (x <= -3.6) tmp = Float64(-x); elseif (x <= 1.15) tmp = 2.30753; else tmp = Float64(-x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -3.6) tmp = -x; elseif (x <= 1.15) tmp = 2.30753; else tmp = -x; end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -3.6], (-x), If[LessEqual[x, 1.15], 2.30753, (-x)]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.6:\\
\;\;\;\;-x\\
\mathbf{elif}\;x \leq 1.15:\\
\;\;\;\;2.30753\\
\mathbf{else}:\\
\;\;\;\;-x\\
\end{array}
\end{array}
if x < -3.60000000000000009 or 1.1499999999999999 < x Initial program 100.0%
Taylor expanded in x around 0 98.8%
Taylor expanded in x around inf 99.5%
neg-mul-199.5%
Simplified99.5%
if -3.60000000000000009 < x < 1.1499999999999999Initial program 100.0%
Taylor expanded in x around 0 99.5%
associate--l+99.5%
+-commutative99.5%
*-un-lft-identity99.5%
distribute-rgt-out--99.5%
metadata-eval99.5%
Applied egg-rr99.5%
Taylor expanded in x around 0 98.9%
Final simplification99.2%
(FPCore (x) :precision binary64 (- 2.30753 x))
double code(double x) {
return 2.30753 - x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 2.30753d0 - x
end function
public static double code(double x) {
return 2.30753 - x;
}
def code(x): return 2.30753 - x
function code(x) return Float64(2.30753 - x) end
function tmp = code(x) tmp = 2.30753 - x; end
code[x_] := N[(2.30753 - x), $MachinePrecision]
\begin{array}{l}
\\
2.30753 - x
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 98.8%
Final simplification98.8%
(FPCore (x) :precision binary64 2.30753)
double code(double x) {
return 2.30753;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 2.30753d0
end function
public static double code(double x) {
return 2.30753;
}
def code(x): return 2.30753
function code(x) return 2.30753 end
function tmp = code(x) tmp = 2.30753; end
code[x_] := 2.30753
\begin{array}{l}
\\
2.30753
\end{array}
Initial program 100.0%
Taylor expanded in x around 0 59.9%
associate--l+59.9%
+-commutative59.9%
*-un-lft-identity59.9%
distribute-rgt-out--59.9%
metadata-eval59.9%
Applied egg-rr59.9%
Taylor expanded in x around 0 52.7%
Final simplification52.7%
herbie shell --seed 2023195
(FPCore (x)
:name "Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, C"
:precision binary64
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))