
(FPCore (x) :precision binary64 (let* ((t_0 (exp (- x)))) (/ (- (exp x) t_0) (+ (exp x) t_0))))
double code(double x) {
double t_0 = exp(-x);
return (exp(x) - t_0) / (exp(x) + t_0);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = exp(-x)
code = (exp(x) - t_0) / (exp(x) + t_0)
end function
public static double code(double x) {
double t_0 = Math.exp(-x);
return (Math.exp(x) - t_0) / (Math.exp(x) + t_0);
}
def code(x): t_0 = math.exp(-x) return (math.exp(x) - t_0) / (math.exp(x) + t_0)
function code(x) t_0 = exp(Float64(-x)) return Float64(Float64(exp(x) - t_0) / Float64(exp(x) + t_0)) end
function tmp = code(x) t_0 = exp(-x); tmp = (exp(x) - t_0) / (exp(x) + t_0); end
code[x_] := Block[{t$95$0 = N[Exp[(-x)], $MachinePrecision]}, N[(N[(N[Exp[x], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-x}\\
\frac{e^{x} - t_0}{e^{x} + t_0}
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 10 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (let* ((t_0 (exp (- x)))) (/ (- (exp x) t_0) (+ (exp x) t_0))))
double code(double x) {
double t_0 = exp(-x);
return (exp(x) - t_0) / (exp(x) + t_0);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = exp(-x)
code = (exp(x) - t_0) / (exp(x) + t_0)
end function
public static double code(double x) {
double t_0 = Math.exp(-x);
return (Math.exp(x) - t_0) / (Math.exp(x) + t_0);
}
def code(x): t_0 = math.exp(-x) return (math.exp(x) - t_0) / (math.exp(x) + t_0)
function code(x) t_0 = exp(Float64(-x)) return Float64(Float64(exp(x) - t_0) / Float64(exp(x) + t_0)) end
function tmp = code(x) t_0 = exp(-x); tmp = (exp(x) - t_0) / (exp(x) + t_0); end
code[x_] := Block[{t$95$0 = N[Exp[(-x)], $MachinePrecision]}, N[(N[(N[Exp[x], $MachinePrecision] - t$95$0), $MachinePrecision] / N[(N[Exp[x], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := e^{-x}\\
\frac{e^{x} - t_0}{e^{x} + t_0}
\end{array}
\end{array}
(FPCore (x)
:precision binary64
(/
(+
(* 2.0 x)
(+ (* 0.3333333333333333 (pow x 3.0)) (* 0.016666666666666666 (pow x 5.0))))
(+
2.0
(+
(pow (pow (* 0.002777777777777778 (pow x 6.0)) 3.0) 0.3333333333333333)
(+ (pow x 2.0) (* 0.08333333333333333 (pow x 4.0)))))))
double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * pow(x, 3.0)) + (0.016666666666666666 * pow(x, 5.0)))) / (2.0 + (pow(pow((0.002777777777777778 * pow(x, 6.0)), 3.0), 0.3333333333333333) + (pow(x, 2.0) + (0.08333333333333333 * pow(x, 4.0)))));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.0d0 * x) + ((0.3333333333333333d0 * (x ** 3.0d0)) + (0.016666666666666666d0 * (x ** 5.0d0)))) / (2.0d0 + ((((0.002777777777777778d0 * (x ** 6.0d0)) ** 3.0d0) ** 0.3333333333333333d0) + ((x ** 2.0d0) + (0.08333333333333333d0 * (x ** 4.0d0)))))
end function
public static double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * Math.pow(x, 3.0)) + (0.016666666666666666 * Math.pow(x, 5.0)))) / (2.0 + (Math.pow(Math.pow((0.002777777777777778 * Math.pow(x, 6.0)), 3.0), 0.3333333333333333) + (Math.pow(x, 2.0) + (0.08333333333333333 * Math.pow(x, 4.0)))));
}
def code(x): return ((2.0 * x) + ((0.3333333333333333 * math.pow(x, 3.0)) + (0.016666666666666666 * math.pow(x, 5.0)))) / (2.0 + (math.pow(math.pow((0.002777777777777778 * math.pow(x, 6.0)), 3.0), 0.3333333333333333) + (math.pow(x, 2.0) + (0.08333333333333333 * math.pow(x, 4.0)))))
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(0.016666666666666666 * (x ^ 5.0)))) / Float64(2.0 + Float64(((Float64(0.002777777777777778 * (x ^ 6.0)) ^ 3.0) ^ 0.3333333333333333) + Float64((x ^ 2.0) + Float64(0.08333333333333333 * (x ^ 4.0)))))) end
function tmp = code(x) tmp = ((2.0 * x) + ((0.3333333333333333 * (x ^ 3.0)) + (0.016666666666666666 * (x ^ 5.0)))) / (2.0 + ((((0.002777777777777778 * (x ^ 6.0)) ^ 3.0) ^ 0.3333333333333333) + ((x ^ 2.0) + (0.08333333333333333 * (x ^ 4.0))))); end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(N[Power[N[Power[N[(0.002777777777777778 * N[Power[x, 6.0], $MachinePrecision]), $MachinePrecision], 3.0], $MachinePrecision], 0.3333333333333333], $MachinePrecision] + N[(N[Power[x, 2.0], $MachinePrecision] + N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + \left(0.3333333333333333 \cdot {x}^{3} + 0.016666666666666666 \cdot {x}^{5}\right)}{2 + \left({\left({\left(0.002777777777777778 \cdot {x}^{6}\right)}^{3}\right)}^{0.3333333333333333} + \left({x}^{2} + 0.08333333333333333 \cdot {x}^{4}\right)\right)}
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 97.1%
Taylor expanded in x around 0 97.3%
add-cbrt-cube97.3%
pow1/397.3%
pow397.3%
Applied egg-rr97.3%
Final simplification97.3%
(FPCore (x)
:precision binary64
(/
(+
(* 2.0 x)
(+ (* 0.3333333333333333 (pow x 3.0)) (* 0.016666666666666666 (pow x 5.0))))
(+
2.0
(fma
0.002777777777777778
(pow x 6.0)
(+ (* 0.08333333333333333 (pow x 4.0)) (* x x))))))
double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * pow(x, 3.0)) + (0.016666666666666666 * pow(x, 5.0)))) / (2.0 + fma(0.002777777777777778, pow(x, 6.0), ((0.08333333333333333 * pow(x, 4.0)) + (x * x))));
}
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(0.016666666666666666 * (x ^ 5.0)))) / Float64(2.0 + fma(0.002777777777777778, (x ^ 6.0), Float64(Float64(0.08333333333333333 * (x ^ 4.0)) + Float64(x * x))))) end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(0.002777777777777778 * N[Power[x, 6.0], $MachinePrecision] + N[(N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + \left(0.3333333333333333 \cdot {x}^{3} + 0.016666666666666666 \cdot {x}^{5}\right)}{2 + \mathsf{fma}\left(0.002777777777777778, {x}^{6}, 0.08333333333333333 \cdot {x}^{4} + x \cdot x\right)}
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 97.1%
Taylor expanded in x around 0 97.3%
fma-def97.3%
unpow297.3%
Simplified97.3%
Final simplification97.3%
(FPCore (x) :precision binary64 (/ (+ (* 2.0 x) (+ (* 0.3333333333333333 (pow x 3.0)) (* 0.016666666666666666 (pow x 5.0)))) (+ 2.0 (+ (* 0.08333333333333333 (pow x 4.0)) (* x x)))))
double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * pow(x, 3.0)) + (0.016666666666666666 * pow(x, 5.0)))) / (2.0 + ((0.08333333333333333 * pow(x, 4.0)) + (x * x)));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.0d0 * x) + ((0.3333333333333333d0 * (x ** 3.0d0)) + (0.016666666666666666d0 * (x ** 5.0d0)))) / (2.0d0 + ((0.08333333333333333d0 * (x ** 4.0d0)) + (x * x)))
end function
public static double code(double x) {
return ((2.0 * x) + ((0.3333333333333333 * Math.pow(x, 3.0)) + (0.016666666666666666 * Math.pow(x, 5.0)))) / (2.0 + ((0.08333333333333333 * Math.pow(x, 4.0)) + (x * x)));
}
def code(x): return ((2.0 * x) + ((0.3333333333333333 * math.pow(x, 3.0)) + (0.016666666666666666 * math.pow(x, 5.0)))) / (2.0 + ((0.08333333333333333 * math.pow(x, 4.0)) + (x * x)))
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(Float64(0.3333333333333333 * (x ^ 3.0)) + Float64(0.016666666666666666 * (x ^ 5.0)))) / Float64(2.0 + Float64(Float64(0.08333333333333333 * (x ^ 4.0)) + Float64(x * x)))) end
function tmp = code(x) tmp = ((2.0 * x) + ((0.3333333333333333 * (x ^ 3.0)) + (0.016666666666666666 * (x ^ 5.0)))) / (2.0 + ((0.08333333333333333 * (x ^ 4.0)) + (x * x))); end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision] + N[(0.016666666666666666 * N[Power[x, 5.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(N[(0.08333333333333333 * N[Power[x, 4.0], $MachinePrecision]), $MachinePrecision] + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + \left(0.3333333333333333 \cdot {x}^{3} + 0.016666666666666666 \cdot {x}^{5}\right)}{2 + \left(0.08333333333333333 \cdot {x}^{4} + x \cdot x\right)}
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 97.1%
Taylor expanded in x around 0 97.3%
unpow29.0%
Simplified97.3%
Final simplification97.3%
(FPCore (x) :precision binary64 (+ (* (pow x 3.0) -0.3333333333333333) (+ x (* (pow x 5.0) 0.13333333333333333))))
double code(double x) {
return (pow(x, 3.0) * -0.3333333333333333) + (x + (pow(x, 5.0) * 0.13333333333333333));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((x ** 3.0d0) * (-0.3333333333333333d0)) + (x + ((x ** 5.0d0) * 0.13333333333333333d0))
end function
public static double code(double x) {
return (Math.pow(x, 3.0) * -0.3333333333333333) + (x + (Math.pow(x, 5.0) * 0.13333333333333333));
}
def code(x): return (math.pow(x, 3.0) * -0.3333333333333333) + (x + (math.pow(x, 5.0) * 0.13333333333333333))
function code(x) return Float64(Float64((x ^ 3.0) * -0.3333333333333333) + Float64(x + Float64((x ^ 5.0) * 0.13333333333333333))) end
function tmp = code(x) tmp = ((x ^ 3.0) * -0.3333333333333333) + (x + ((x ^ 5.0) * 0.13333333333333333)); end
code[x_] := N[(N[(N[Power[x, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision] + N[(x + N[(N[Power[x, 5.0], $MachinePrecision] * 0.13333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
{x}^{3} \cdot -0.3333333333333333 + \left(x + {x}^{5} \cdot 0.13333333333333333\right)
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 97.1%
Final simplification97.1%
(FPCore (x) :precision binary64 (/ (+ (* 2.0 x) (* 0.3333333333333333 (pow x 3.0))) (+ 2.0 (* x x))))
double code(double x) {
return ((2.0 * x) + (0.3333333333333333 * pow(x, 3.0))) / (2.0 + (x * x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = ((2.0d0 * x) + (0.3333333333333333d0 * (x ** 3.0d0))) / (2.0d0 + (x * x))
end function
public static double code(double x) {
return ((2.0 * x) + (0.3333333333333333 * Math.pow(x, 3.0))) / (2.0 + (x * x));
}
def code(x): return ((2.0 * x) + (0.3333333333333333 * math.pow(x, 3.0))) / (2.0 + (x * x))
function code(x) return Float64(Float64(Float64(2.0 * x) + Float64(0.3333333333333333 * (x ^ 3.0))) / Float64(2.0 + Float64(x * x))) end
function tmp = code(x) tmp = ((2.0 * x) + (0.3333333333333333 * (x ^ 3.0))) / (2.0 + (x * x)); end
code[x_] := N[(N[(N[(2.0 * x), $MachinePrecision] + N[(0.3333333333333333 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2 \cdot x + 0.3333333333333333 \cdot {x}^{3}}{2 + x \cdot x}
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 8.8%
unpow28.8%
Simplified8.8%
Taylor expanded in x around 0 97.0%
Final simplification97.0%
(FPCore (x) :precision binary64 (* (/ 2.0 (+ 2.0 (* x x))) (sinh x)))
double code(double x) {
return (2.0 / (2.0 + (x * x))) * sinh(x);
}
real(8) function code(x)
real(8), intent (in) :: x
code = (2.0d0 / (2.0d0 + (x * x))) * sinh(x)
end function
public static double code(double x) {
return (2.0 / (2.0 + (x * x))) * Math.sinh(x);
}
def code(x): return (2.0 / (2.0 + (x * x))) * math.sinh(x)
function code(x) return Float64(Float64(2.0 / Float64(2.0 + Float64(x * x))) * sinh(x)) end
function tmp = code(x) tmp = (2.0 / (2.0 + (x * x))) * sinh(x); end
code[x_] := N[(N[(2.0 / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Sinh[x], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{2}{2 + x \cdot x} \cdot \sinh x
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 9.0%
unpow29.0%
Simplified9.0%
expm1-log1p-u8.9%
expm1-udef8.9%
sinh-undef8.9%
+-commutative8.9%
fma-def8.9%
Applied egg-rr8.9%
expm1-def97.0%
expm1-log1p97.1%
associate-/l*96.8%
associate-/r/97.1%
fma-udef97.1%
*-commutative97.1%
fma-udef97.1%
Simplified97.1%
Taylor expanded in x around 0 96.7%
unpow296.7%
Simplified96.7%
Final simplification96.7%
(FPCore (x) :precision binary64 (+ x (* (pow x 3.0) -0.3333333333333333)))
double code(double x) {
return x + (pow(x, 3.0) * -0.3333333333333333);
}
real(8) function code(x)
real(8), intent (in) :: x
code = x + ((x ** 3.0d0) * (-0.3333333333333333d0))
end function
public static double code(double x) {
return x + (Math.pow(x, 3.0) * -0.3333333333333333);
}
def code(x): return x + (math.pow(x, 3.0) * -0.3333333333333333)
function code(x) return Float64(x + Float64((x ^ 3.0) * -0.3333333333333333)) end
function tmp = code(x) tmp = x + ((x ^ 3.0) * -0.3333333333333333); end
code[x_] := N[(x + N[(N[Power[x, 3.0], $MachinePrecision] * -0.3333333333333333), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
x + {x}^{3} \cdot -0.3333333333333333
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 96.6%
Final simplification96.6%
(FPCore (x) :precision binary64 (/ (+ x x) (+ 2.0 (* x x))))
double code(double x) {
return (x + x) / (2.0 + (x * x));
}
real(8) function code(x)
real(8), intent (in) :: x
code = (x + x) / (2.0d0 + (x * x))
end function
public static double code(double x) {
return (x + x) / (2.0 + (x * x));
}
def code(x): return (x + x) / (2.0 + (x * x))
function code(x) return Float64(Float64(x + x) / Float64(2.0 + Float64(x * x))) end
function tmp = code(x) tmp = (x + x) / (2.0 + (x * x)); end
code[x_] := N[(N[(x + x), $MachinePrecision] / N[(2.0 + N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x + x}{2 + x \cdot x}
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 8.8%
unpow28.8%
Simplified8.8%
Taylor expanded in x around 0 96.3%
count-296.3%
Simplified96.3%
Final simplification96.3%
(FPCore (x) :precision binary64 0.75)
double code(double x) {
return 0.75;
}
real(8) function code(x)
real(8), intent (in) :: x
code = 0.75d0
end function
public static double code(double x) {
return 0.75;
}
def code(x): return 0.75
function code(x) return 0.75 end
function tmp = code(x) tmp = 0.75; end
code[x_] := 0.75
\begin{array}{l}
\\
0.75
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 8.8%
unpow28.8%
Simplified8.8%
Applied egg-rr4.0%
Taylor expanded in x around 0 4.2%
Final simplification4.2%
(FPCore (x) :precision binary64 x)
double code(double x) {
return x;
}
real(8) function code(x)
real(8), intent (in) :: x
code = x
end function
public static double code(double x) {
return x;
}
def code(x): return x
function code(x) return x end
function tmp = code(x) tmp = x; end
code[x_] := x
\begin{array}{l}
\\
x
\end{array}
Initial program 10.7%
Taylor expanded in x around 0 96.2%
Final simplification96.2%
herbie shell --seed 2023181
(FPCore (x)
:name "Hyperbolic tangent"
:precision binary64
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))