
(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 5 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 (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) x))
double code(double x) {
return (fma(0.27061, x, 2.30753) / fma(fma(0.04481, x, 0.99229), x, 1.0)) - x;
}
function code(x) return Float64(Float64(fma(0.27061, x, 2.30753) / fma(fma(0.04481, x, 0.99229), x, 1.0)) - x) end
code[x_] := N[(N[(N[(0.27061 * x + 2.30753), $MachinePrecision] / N[(N[(0.04481 * x + 0.99229), $MachinePrecision] * x + 1.0), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{\mathsf{fma}\left(0.27061, x, 2.30753\right)}{\mathsf{fma}\left(\mathsf{fma}\left(0.04481, x, 0.99229\right), x, 1\right)} - x
\end{array}
Initial program 100.0%
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
Applied rewrites100.0%
(FPCore (x)
:precision binary64
(let* ((t_0
(-
(/ (+ (* x 0.27061) 2.30753) (+ (* (+ (* 0.04481 x) 0.99229) x) 1.0))
x)))
(if (<= t_0 -0.5) (- x) (if (<= t_0 10.0) 2.30753 (- x)))))
double code(double x) {
double t_0 = (((x * 0.27061) + 2.30753) / ((((0.04481 * x) + 0.99229) * x) + 1.0)) - x;
double tmp;
if (t_0 <= -0.5) {
tmp = -x;
} else if (t_0 <= 10.0) {
tmp = 2.30753;
} else {
tmp = -x;
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: tmp
t_0 = (((x * 0.27061d0) + 2.30753d0) / ((((0.04481d0 * x) + 0.99229d0) * x) + 1.0d0)) - x
if (t_0 <= (-0.5d0)) then
tmp = -x
else if (t_0 <= 10.0d0) then
tmp = 2.30753d0
else
tmp = -x
end if
code = tmp
end function
public static double code(double x) {
double t_0 = (((x * 0.27061) + 2.30753) / ((((0.04481 * x) + 0.99229) * x) + 1.0)) - x;
double tmp;
if (t_0 <= -0.5) {
tmp = -x;
} else if (t_0 <= 10.0) {
tmp = 2.30753;
} else {
tmp = -x;
}
return tmp;
}
def code(x): t_0 = (((x * 0.27061) + 2.30753) / ((((0.04481 * x) + 0.99229) * x) + 1.0)) - x tmp = 0 if t_0 <= -0.5: tmp = -x elif t_0 <= 10.0: tmp = 2.30753 else: tmp = -x return tmp
function code(x) t_0 = Float64(Float64(Float64(Float64(x * 0.27061) + 2.30753) / Float64(Float64(Float64(Float64(0.04481 * x) + 0.99229) * x) + 1.0)) - x) tmp = 0.0 if (t_0 <= -0.5) tmp = Float64(-x); elseif (t_0 <= 10.0) tmp = 2.30753; else tmp = Float64(-x); end return tmp end
function tmp_2 = code(x) t_0 = (((x * 0.27061) + 2.30753) / ((((0.04481 * x) + 0.99229) * x) + 1.0)) - x; tmp = 0.0; if (t_0 <= -0.5) tmp = -x; elseif (t_0 <= 10.0) tmp = 2.30753; else tmp = -x; end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[(N[(N[(N[(x * 0.27061), $MachinePrecision] + 2.30753), $MachinePrecision] / N[(N[(N[(N[(0.04481 * x), $MachinePrecision] + 0.99229), $MachinePrecision] * x), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]}, If[LessEqual[t$95$0, -0.5], (-x), If[LessEqual[t$95$0, 10.0], 2.30753, (-x)]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{x \cdot 0.27061 + 2.30753}{\left(0.04481 \cdot x + 0.99229\right) \cdot x + 1} - x\\
\mathbf{if}\;t\_0 \leq -0.5:\\
\;\;\;\;-x\\
\mathbf{elif}\;t\_0 \leq 10:\\
\;\;\;\;2.30753\\
\mathbf{else}:\\
\;\;\;\;-x\\
\end{array}
\end{array}
if (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x) < -0.5 or 10 < (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x) Initial program 100.0%
Taylor expanded in x around inf
mul-1-negN/A
lower-neg.f6497.9
Applied rewrites97.9%
if -0.5 < (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x) < 10Initial program 100.0%
Taylor expanded in x around 0
Applied rewrites97.3%
Final simplification97.6%
(FPCore (x) :precision binary64 (- (/ 2.30753 (fma 0.99229 x 1.0)) x))
double code(double x) {
return (2.30753 / fma(0.99229, x, 1.0)) - x;
}
function code(x) return Float64(Float64(2.30753 / fma(0.99229, x, 1.0)) - x) end
code[x_] := N[(N[(2.30753 / N[(0.99229 * x + 1.0), $MachinePrecision]), $MachinePrecision] - x), $MachinePrecision]
\begin{array}{l}
\\
\frac{2.30753}{\mathsf{fma}\left(0.99229, x, 1\right)} - x
\end{array}
Initial program 100.0%
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
lift-+.f64N/A
+-commutativeN/A
lift-*.f64N/A
*-commutativeN/A
lower-fma.f64100.0
Applied rewrites100.0%
Taylor expanded in x around 0
Applied rewrites97.8%
Taylor expanded in x around 0
Applied rewrites97.8%
(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
Applied rewrites96.9%
(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
Applied rewrites51.8%
herbie shell --seed 2024263
(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))