
(FPCore (x y z) :precision binary64 (/ (* (cosh x) (/ y x)) z))
double code(double x, double y, double z) {
return (cosh(x) * (y / x)) / z;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (cosh(x) * (y / x)) / z
end function
public static double code(double x, double y, double z) {
return (Math.cosh(x) * (y / x)) / z;
}
def code(x, y, z): return (math.cosh(x) * (y / x)) / z
function code(x, y, z) return Float64(Float64(cosh(x) * Float64(y / x)) / z) end
function tmp = code(x, y, z) tmp = (cosh(x) * (y / x)) / z; end
code[x_, y_, z_] := N[(N[(N[Cosh[x], $MachinePrecision] * N[(y / x), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]
\begin{array}{l}
\\
\frac{\cosh x \cdot \frac{y}{x}}{z}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 28 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z) :precision binary64 (/ (* (cosh x) (/ y x)) z))
double code(double x, double y, double z) {
return (cosh(x) * (y / x)) / z;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
code = (cosh(x) * (y / x)) / z
end function
public static double code(double x, double y, double z) {
return (Math.cosh(x) * (y / x)) / z;
}
def code(x, y, z): return (math.cosh(x) * (y / x)) / z
function code(x, y, z) return Float64(Float64(cosh(x) * Float64(y / x)) / z) end
function tmp = code(x, y, z) tmp = (cosh(x) * (y / x)) / z; end
code[x_, y_, z_] := N[(N[(N[Cosh[x], $MachinePrecision] * N[(y / x), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision]
\begin{array}{l}
\\
\frac{\cosh x \cdot \frac{y}{x}}{z}
\end{array}
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 7e+51)
(/ (* (cosh x_m) (/ y x_m)) z)
(/
(*
(/
(fma
(fma (* 0.001388888888888889 (* x_m x_m)) (* x_m x_m) 0.5)
(* x_m x_m)
1.0)
x_m)
y)
z))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 7e+51) {
tmp = (cosh(x_m) * (y / x_m)) / z;
} else {
tmp = ((fma(fma((0.001388888888888889 * (x_m * x_m)), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m) * y) / z;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 7e+51) tmp = Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z); else tmp = Float64(Float64(Float64(fma(fma(Float64(0.001388888888888889 * Float64(x_m * x_m)), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m) * y) / z); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 7e+51], N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / x$95$m), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 7 \cdot 10^{+51}:\\
\;\;\;\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.001388888888888889 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m} \cdot y}{z}\\
\end{array}
\end{array}
if x < 7e51Initial program 88.0%
if 7e51 < x Initial program 70.0%
Taylor expanded in x around 0
Applied rewrites100.0%
Taylor expanded in x around inf
Applied rewrites100.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(let* ((t_0 (* (cosh x_m) (/ y x_m))))
(*
x_s
(if (<= t_0 2.5e+229)
(/ (fma (* y x_m) 0.5 (/ y x_m)) z)
(if (<= t_0 INFINITY)
(/ (* (/ y z) (fma (* x_m x_m) 0.5 1.0)) x_m)
(/ (* (/ (* (* x_m x_m) 0.5) z) y) x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double t_0 = cosh(x_m) * (y / x_m);
double tmp;
if (t_0 <= 2.5e+229) {
tmp = fma((y * x_m), 0.5, (y / x_m)) / z;
} else if (t_0 <= ((double) INFINITY)) {
tmp = ((y / z) * fma((x_m * x_m), 0.5, 1.0)) / x_m;
} else {
tmp = ((((x_m * x_m) * 0.5) / z) * y) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) t_0 = Float64(cosh(x_m) * Float64(y / x_m)) tmp = 0.0 if (t_0 <= 2.5e+229) tmp = Float64(fma(Float64(y * x_m), 0.5, Float64(y / x_m)) / z); elseif (t_0 <= Inf) tmp = Float64(Float64(Float64(y / z) * fma(Float64(x_m * x_m), 0.5, 1.0)) / x_m); else tmp = Float64(Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) / z) * y) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := Block[{t$95$0 = N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision]}, N[(x$95$s * If[LessEqual[t$95$0, 2.5e+229], N[(N[(N[(y * x$95$m), $MachinePrecision] * 0.5 + N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], If[LessEqual[t$95$0, Infinity], N[(N[(N[(y / z), $MachinePrecision] * N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5 + 1.0), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] / z), $MachinePrecision] * y), $MachinePrecision] / x$95$m), $MachinePrecision]]]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := \cosh x\_m \cdot \frac{y}{x\_m}\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;t\_0 \leq 2.5 \cdot 10^{+229}:\\
\;\;\;\;\frac{\mathsf{fma}\left(y \cdot x\_m, 0.5, \frac{y}{x\_m}\right)}{z}\\
\mathbf{elif}\;t\_0 \leq \infty:\\
\;\;\;\;\frac{\frac{y}{z} \cdot \mathsf{fma}\left(x\_m \cdot x\_m, 0.5, 1\right)}{x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(x\_m \cdot x\_m\right) \cdot 0.5}{z} \cdot y}{x\_m}\\
\end{array}
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 2.50000000000000025e229Initial program 96.7%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites74.7%
Taylor expanded in x around inf
Applied rewrites21.0%
Applied rewrites23.4%
Taylor expanded in x around 0
Applied rewrites82.6%
if 2.50000000000000025e229 < (*.f64 (cosh.f64 x) (/.f64 y x)) < +inf.0Initial program 93.3%
Taylor expanded in x around 0
Applied rewrites85.0%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
lower-/.f64N/A
+-commutativeN/A
*-lft-identityN/A
associate-*r*N/A
*-commutativeN/A
distribute-rgt-outN/A
lower-*.f64N/A
lower-/.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6473.6
Applied rewrites73.6%
if +inf.0 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 0.0%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f640.3
Applied rewrites0.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6453.8
Applied rewrites53.8%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
times-fracN/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f64N/A
lower-/.f6483.7
Applied rewrites83.7%
Taylor expanded in x around inf
Applied rewrites83.7%
Final simplification80.3%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 5e+86)
(/ (* y (cosh x_m)) (* z x_m))
(/
(*
y
(/
(fma
(fma
(fma (* x_m x_m) 0.001388888888888889 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0)
z))
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 5e+86) {
tmp = (y * cosh(x_m)) / (z * x_m);
} else {
tmp = (y * (fma(fma(fma((x_m * x_m), 0.001388888888888889, 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / z)) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 5e+86) tmp = Float64(Float64(y * cosh(x_m)) / Float64(z * x_m)); else tmp = Float64(Float64(y * Float64(fma(fma(fma(Float64(x_m * x_m), 0.001388888888888889, 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / z)) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 5e+86], N[(N[(y * N[Cosh[x$95$m], $MachinePrecision]), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(y * N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889 + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 5 \cdot 10^{+86}:\\
\;\;\;\;\frac{y \cdot \cosh x\_m}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m \cdot x\_m, 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{z}}{x\_m}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 4.9999999999999998e86Initial program 96.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower-*.f6487.1
Applied rewrites87.1%
if 4.9999999999999998e86 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 70.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6454.7
Applied rewrites54.7%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.5
Applied rewrites83.5%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6495.9
Applied rewrites95.9%
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6495.8
Applied rewrites95.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 5e+51)
(* y (/ (cosh x_m) (* z x_m)))
(/
(*
y
(/
(fma
(fma
(fma (* x_m x_m) 0.001388888888888889 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0)
z))
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 5e+51) {
tmp = y * (cosh(x_m) / (z * x_m));
} else {
tmp = (y * (fma(fma(fma((x_m * x_m), 0.001388888888888889, 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / z)) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 5e+51) tmp = Float64(y * Float64(cosh(x_m) / Float64(z * x_m))); else tmp = Float64(Float64(y * Float64(fma(fma(fma(Float64(x_m * x_m), 0.001388888888888889, 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / z)) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 5e+51], N[(y * N[(N[Cosh[x$95$m], $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(y * N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889 + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 5 \cdot 10^{+51}:\\
\;\;\;\;y \cdot \frac{\cosh x\_m}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m \cdot x\_m, 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{z}}{x\_m}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 5e51Initial program 96.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f64N/A
lower-*.f6486.9
Applied rewrites86.9%
if 5e51 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 71.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6455.4
Applied rewrites55.4%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.8
Applied rewrites83.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6496.0
Applied rewrites96.0%
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6495.9
Applied rewrites95.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(let* ((t_0 (fma 0.001388888888888889 (* x_m x_m) 0.041666666666666664)))
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 2e+85)
(/ (* (fma (fma t_0 (* x_m x_m) 0.5) (* x_m x_m) 1.0) y) (* z x_m))
(/ (/ (* (fma (* (* t_0 x_m) x_m) (* x_m x_m) 1.0) y) z) x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double t_0 = fma(0.001388888888888889, (x_m * x_m), 0.041666666666666664);
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 2e+85) {
tmp = (fma(fma(t_0, (x_m * x_m), 0.5), (x_m * x_m), 1.0) * y) / (z * x_m);
} else {
tmp = ((fma(((t_0 * x_m) * x_m), (x_m * x_m), 1.0) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) t_0 = fma(0.001388888888888889, Float64(x_m * x_m), 0.041666666666666664) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 2e+85) tmp = Float64(Float64(fma(fma(t_0, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) * y) / Float64(z * x_m)); else tmp = Float64(Float64(Float64(fma(Float64(Float64(t_0 * x_m) * x_m), Float64(x_m * x_m), 1.0) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := Block[{t$95$0 = N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.041666666666666664), $MachinePrecision]}, N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 2e+85], N[(N[(N[(N[(t$95$0 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(N[(t$95$0 * x$95$m), $MachinePrecision] * x$95$m), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(0.001388888888888889, x\_m \cdot x\_m, 0.041666666666666664\right)\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 2 \cdot 10^{+85}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(t\_0, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right) \cdot y}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(t\_0 \cdot x\_m\right) \cdot x\_m, x\_m \cdot x\_m, 1\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 2e85Initial program 96.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6482.3
Applied rewrites82.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6475.8
Applied rewrites75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6481.9
Applied rewrites81.9%
if 2e85 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 70.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6454.7
Applied rewrites54.7%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.5
Applied rewrites83.5%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6495.9
Applied rewrites95.9%
Taylor expanded in x around inf
Applied rewrites95.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 5e+86)
(/
(*
(fma
(fma
(fma 0.001388888888888889 (* x_m x_m) 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0)
y)
(* z x_m))
(/
(*
y
(/ (fma (fma 0.041666666666666664 (* x_m x_m) 0.5) (* x_m x_m) 1.0) z))
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 5e+86) {
tmp = (fma(fma(fma(0.001388888888888889, (x_m * x_m), 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0) * y) / (z * x_m);
} else {
tmp = (y * (fma(fma(0.041666666666666664, (x_m * x_m), 0.5), (x_m * x_m), 1.0) / z)) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 5e+86) tmp = Float64(Float64(fma(fma(fma(0.001388888888888889, Float64(x_m * x_m), 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) * y) / Float64(z * x_m)); else tmp = Float64(Float64(y * Float64(fma(fma(0.041666666666666664, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / z)) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 5e+86], N[(N[(N[(N[(N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(y * N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 5 \cdot 10^{+86}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(0.001388888888888889, x\_m \cdot x\_m, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right) \cdot y}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{z}}{x\_m}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 4.9999999999999998e86Initial program 96.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6482.3
Applied rewrites82.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6475.8
Applied rewrites75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6481.9
Applied rewrites81.9%
if 4.9999999999999998e86 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 70.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6454.7
Applied rewrites54.7%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.5
Applied rewrites83.5%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6491.0
Applied rewrites91.0%
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6492.5
Applied rewrites92.5%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(let* ((t_0
(fma
(fma
(fma (* x_m x_m) 0.001388888888888889 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0)))
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 4e+230)
(/ (/ (* y t_0) x_m) z)
(/ (* y (/ t_0 z)) x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double t_0 = fma(fma(fma((x_m * x_m), 0.001388888888888889, 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0);
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 4e+230) {
tmp = ((y * t_0) / x_m) / z;
} else {
tmp = (y * (t_0 / z)) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) t_0 = fma(fma(fma(Float64(x_m * x_m), 0.001388888888888889, 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 4e+230) tmp = Float64(Float64(Float64(y * t_0) / x_m) / z); else tmp = Float64(Float64(y * Float64(t_0 / z)) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := Block[{t$95$0 = N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889 + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision]}, N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 4e+230], N[(N[(N[(y * t$95$0), $MachinePrecision] / x$95$m), $MachinePrecision] / z), $MachinePrecision], N[(N[(y * N[(t$95$0 / z), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m \cdot x\_m, 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 4 \cdot 10^{+230}:\\
\;\;\;\;\frac{\frac{y \cdot t\_0}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{y \cdot \frac{t\_0}{z}}{x\_m}\\
\end{array}
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 4.0000000000000004e230Initial program 96.7%
Taylor expanded in x around 0
Applied rewrites92.7%
Applied rewrites92.8%
if 4.0000000000000004e230 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 65.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6444.2
Applied rewrites44.2%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6477.6
Applied rewrites77.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6494.2
Applied rewrites94.2%
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6495.1
Applied rewrites95.1%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 2.5e+229)
(/
(/
(*
y
(fma
(fma
(fma (* x_m x_m) 0.001388888888888889 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0))
x_m)
z)
(/
(/
(*
(fma
(*
(* (fma 0.001388888888888889 (* x_m x_m) 0.041666666666666664) x_m)
x_m)
(* x_m x_m)
1.0)
y)
z)
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 2.5e+229) {
tmp = ((y * fma(fma(fma((x_m * x_m), 0.001388888888888889, 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0)) / x_m) / z;
} else {
tmp = ((fma(((fma(0.001388888888888889, (x_m * x_m), 0.041666666666666664) * x_m) * x_m), (x_m * x_m), 1.0) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 2.5e+229) tmp = Float64(Float64(Float64(y * fma(fma(fma(Float64(x_m * x_m), 0.001388888888888889, 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0)) / x_m) / z); else tmp = Float64(Float64(Float64(fma(Float64(Float64(fma(0.001388888888888889, Float64(x_m * x_m), 0.041666666666666664) * x_m) * x_m), Float64(x_m * x_m), 1.0) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 2.5e+229], N[(N[(N[(y * N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889 + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(N[(N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.041666666666666664), $MachinePrecision] * x$95$m), $MachinePrecision] * x$95$m), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 2.5 \cdot 10^{+229}:\\
\;\;\;\;\frac{\frac{y \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m \cdot x\_m, 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(\mathsf{fma}\left(0.001388888888888889, x\_m \cdot x\_m, 0.041666666666666664\right) \cdot x\_m\right) \cdot x\_m, x\_m \cdot x\_m, 1\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 2.50000000000000025e229Initial program 96.7%
Taylor expanded in x around 0
Applied rewrites92.7%
Applied rewrites92.8%
if 2.50000000000000025e229 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 65.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6444.2
Applied rewrites44.2%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6477.6
Applied rewrites77.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6494.2
Applied rewrites94.2%
Taylor expanded in x around inf
Applied rewrites94.2%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 2e+85)
(/
(* (fma (fma 0.041666666666666664 (* x_m x_m) 0.5) (* x_m x_m) 1.0) y)
(* z x_m))
(/
(/ (* (fma (* 0.041666666666666664 (* x_m x_m)) (* x_m x_m) 1.0) y) z)
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 2e+85) {
tmp = (fma(fma(0.041666666666666664, (x_m * x_m), 0.5), (x_m * x_m), 1.0) * y) / (z * x_m);
} else {
tmp = ((fma((0.041666666666666664 * (x_m * x_m)), (x_m * x_m), 1.0) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 2e+85) tmp = Float64(Float64(fma(fma(0.041666666666666664, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) * y) / Float64(z * x_m)); else tmp = Float64(Float64(Float64(fma(Float64(0.041666666666666664 * Float64(x_m * x_m)), Float64(x_m * x_m), 1.0) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 2e+85], N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 2 \cdot 10^{+85}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right) \cdot y}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 1\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 2e85Initial program 96.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6482.3
Applied rewrites82.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6475.8
Applied rewrites75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6481.6
Applied rewrites81.6%
if 2e85 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 70.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6454.7
Applied rewrites54.7%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.5
Applied rewrites83.5%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6491.0
Applied rewrites91.0%
Taylor expanded in x around inf
Applied rewrites91.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) INFINITY)
(/
(* (fma (* 0.041666666666666664 (* x_m x_m)) (* x_m x_m) 1.0) (/ y x_m))
z)
(/ (* (/ (fma (* 0.5 x_m) x_m 1.0) z) y) x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= ((double) INFINITY)) {
tmp = (fma((0.041666666666666664 * (x_m * x_m)), (x_m * x_m), 1.0) * (y / x_m)) / z;
} else {
tmp = ((fma((0.5 * x_m), x_m, 1.0) / z) * y) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= Inf) tmp = Float64(Float64(fma(Float64(0.041666666666666664 * Float64(x_m * x_m)), Float64(x_m * x_m), 1.0) * Float64(y / x_m)) / z); else tmp = Float64(Float64(Float64(fma(Float64(0.5 * x_m), x_m, 1.0) / z) * y) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], Infinity], N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] / z), $MachinePrecision] * y), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq \infty:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 1\right) \cdot \frac{y}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.5 \cdot x\_m, x\_m, 1\right)}{z} \cdot y}{x\_m}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < +inf.0Initial program 95.7%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6489.4
Applied rewrites89.4%
Taylor expanded in x around inf
Applied rewrites89.1%
if +inf.0 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 0.0%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f640.3
Applied rewrites0.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6453.8
Applied rewrites53.8%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
times-fracN/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f64N/A
lower-/.f6483.7
Applied rewrites83.7%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(let* ((t_0 (fma (fma 0.041666666666666664 (* x_m x_m) 0.5) (* x_m x_m) 1.0)))
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 2e+177)
(* (/ (/ y x_m) z) t_0)
(* (/ (/ t_0 z) x_m) y)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double t_0 = fma(fma(0.041666666666666664, (x_m * x_m), 0.5), (x_m * x_m), 1.0);
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 2e+177) {
tmp = ((y / x_m) / z) * t_0;
} else {
tmp = ((t_0 / z) / x_m) * y;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) t_0 = fma(fma(0.041666666666666664, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 2e+177) tmp = Float64(Float64(Float64(y / x_m) / z) * t_0); else tmp = Float64(Float64(Float64(t_0 / z) / x_m) * y); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := Block[{t$95$0 = N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision]}, N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 2e+177], N[(N[(N[(y / x$95$m), $MachinePrecision] / z), $MachinePrecision] * t$95$0), $MachinePrecision], N[(N[(N[(t$95$0 / z), $MachinePrecision] / x$95$m), $MachinePrecision] * y), $MachinePrecision]]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 2 \cdot 10^{+177}:\\
\;\;\;\;\frac{\frac{y}{x\_m}}{z} \cdot t\_0\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{t\_0}{z}}{x\_m} \cdot y\\
\end{array}
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 2e177Initial program 96.7%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6492.4
Applied rewrites92.4%
lift-/.f64N/A
lift-*.f64N/A
associate-/l*N/A
*-commutativeN/A
lower-*.f64N/A
lower-/.f6489.1
Applied rewrites89.1%
if 2e177 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 66.6%
Taylor expanded in x around 0
Applied rewrites90.6%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 2e+177)
(/ (fma (* y x_m) 0.5 (/ y x_m)) z)
(*
(/
(/ (fma (fma 0.041666666666666664 (* x_m x_m) 0.5) (* x_m x_m) 1.0) z)
x_m)
y))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 2e+177) {
tmp = fma((y * x_m), 0.5, (y / x_m)) / z;
} else {
tmp = ((fma(fma(0.041666666666666664, (x_m * x_m), 0.5), (x_m * x_m), 1.0) / z) / x_m) * y;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 2e+177) tmp = Float64(fma(Float64(y * x_m), 0.5, Float64(y / x_m)) / z); else tmp = Float64(Float64(Float64(fma(fma(0.041666666666666664, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / z) / x_m) * y); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 2e+177], N[(N[(N[(y * x$95$m), $MachinePrecision] * 0.5 + N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision] * y), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 2 \cdot 10^{+177}:\\
\;\;\;\;\frac{\mathsf{fma}\left(y \cdot x\_m, 0.5, \frac{y}{x\_m}\right)}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{z}}{x\_m} \cdot y\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 2e177Initial program 96.7%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites74.0%
Taylor expanded in x around inf
Applied rewrites21.5%
Applied rewrites23.9%
Taylor expanded in x around 0
Applied rewrites82.1%
if 2e177 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 66.6%
Taylor expanded in x around 0
Applied rewrites90.6%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(let* ((t_0 (fma 0.5 (* x_m x_m) 1.0)))
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y x_m)) z) 5e+51)
(* (/ y (* z x_m)) t_0)
(/ (/ (* t_0 y) z) x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double t_0 = fma(0.5, (x_m * x_m), 1.0);
double tmp;
if (((cosh(x_m) * (y / x_m)) / z) <= 5e+51) {
tmp = (y / (z * x_m)) * t_0;
} else {
tmp = ((t_0 * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) t_0 = fma(0.5, Float64(x_m * x_m), 1.0) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y / x_m)) / z) <= 5e+51) tmp = Float64(Float64(y / Float64(z * x_m)) * t_0); else tmp = Float64(Float64(Float64(t_0 * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := Block[{t$95$0 = N[(0.5 * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision]}, N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], 5e+51], N[(N[(y / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision], N[(N[(N[(t$95$0 * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(0.5, x\_m \cdot x\_m, 1\right)\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y}{x\_m}}{z} \leq 5 \cdot 10^{+51}:\\
\;\;\;\;\frac{y}{z \cdot x\_m} \cdot t\_0\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{t\_0 \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 5e51Initial program 96.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6482.0
Applied rewrites82.0%
lift-/.f64N/A
lift-*.f64N/A
associate-/l*N/A
lift-/.f64N/A
associate-/l/N/A
lift-*.f64N/A
lift-/.f64N/A
*-commutativeN/A
lower-*.f6472.7
Applied rewrites72.7%
if 5e51 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 71.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6455.4
Applied rewrites55.4%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6483.8
Applied rewrites83.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 4e+230)
(/ (fma (* y x_m) 0.5 (/ y x_m)) z)
(/ (* (/ (fma (* 0.5 x_m) x_m 1.0) z) y) x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 4e+230) {
tmp = fma((y * x_m), 0.5, (y / x_m)) / z;
} else {
tmp = ((fma((0.5 * x_m), x_m, 1.0) / z) * y) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 4e+230) tmp = Float64(fma(Float64(y * x_m), 0.5, Float64(y / x_m)) / z); else tmp = Float64(Float64(Float64(fma(Float64(0.5 * x_m), x_m, 1.0) / z) * y) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 4e+230], N[(N[(N[(y * x$95$m), $MachinePrecision] * 0.5 + N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] / z), $MachinePrecision] * y), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 4 \cdot 10^{+230}:\\
\;\;\;\;\frac{\mathsf{fma}\left(y \cdot x\_m, 0.5, \frac{y}{x\_m}\right)}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.5 \cdot x\_m, x\_m, 1\right)}{z} \cdot y}{x\_m}\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 4.0000000000000004e230Initial program 96.7%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites74.7%
Taylor expanded in x around inf
Applied rewrites21.0%
Applied rewrites23.4%
Taylor expanded in x around 0
Applied rewrites82.6%
if 4.0000000000000004e230 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 65.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6444.2
Applied rewrites44.2%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6464.6
Applied rewrites64.6%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
times-fracN/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f64N/A
lower-/.f6478.5
Applied rewrites78.5%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 5e+173)
(/ (fma (* y x_m) 0.5 (/ y x_m)) z)
(/ (* (fma 0.5 (* x_m x_m) 1.0) y) (* z x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 5e+173) {
tmp = fma((y * x_m), 0.5, (y / x_m)) / z;
} else {
tmp = (fma(0.5, (x_m * x_m), 1.0) * y) / (z * x_m);
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 5e+173) tmp = Float64(fma(Float64(y * x_m), 0.5, Float64(y / x_m)) / z); else tmp = Float64(Float64(fma(0.5, Float64(x_m * x_m), 1.0) * y) / Float64(z * x_m)); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 5e+173], N[(N[(N[(y * x$95$m), $MachinePrecision] * 0.5 + N[(y / x$95$m), $MachinePrecision]), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(0.5 * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 5 \cdot 10^{+173}:\\
\;\;\;\;\frac{\mathsf{fma}\left(y \cdot x\_m, 0.5, \frac{y}{x\_m}\right)}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.5, x\_m \cdot x\_m, 1\right) \cdot y}{z \cdot x\_m}\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 5.00000000000000034e173Initial program 96.7%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites74.0%
Taylor expanded in x around inf
Applied rewrites21.5%
Applied rewrites23.9%
Taylor expanded in x around 0
Applied rewrites82.1%
if 5.00000000000000034e173 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 66.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6446.3
Applied rewrites46.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6465.9
Applied rewrites65.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 5e+173)
(/ (/ y x_m) z)
(/ (* (fma 0.5 (* x_m x_m) 1.0) y) (* z x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 5e+173) {
tmp = (y / x_m) / z;
} else {
tmp = (fma(0.5, (x_m * x_m), 1.0) * y) / (z * x_m);
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 5e+173) tmp = Float64(Float64(y / x_m) / z); else tmp = Float64(Float64(fma(0.5, Float64(x_m * x_m), 1.0) * y) / Float64(z * x_m)); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 5e+173], N[(N[(y / x$95$m), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(0.5 * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 5 \cdot 10^{+173}:\\
\;\;\;\;\frac{\frac{y}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.5, x\_m \cdot x\_m, 1\right) \cdot y}{z \cdot x\_m}\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 5.00000000000000034e173Initial program 96.7%
Taylor expanded in x around 0
lower-/.f6470.9
Applied rewrites70.9%
if 5.00000000000000034e173 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 66.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6446.3
Applied rewrites46.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6465.9
Applied rewrites65.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= (* (cosh x_m) (/ y x_m)) 5e+173)
(/ (/ y x_m) z)
(* y (/ (fma (* 0.5 x_m) x_m 1.0) (* z x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if ((cosh(x_m) * (y / x_m)) <= 5e+173) {
tmp = (y / x_m) / z;
} else {
tmp = y * (fma((0.5 * x_m), x_m, 1.0) / (z * x_m));
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y / x_m)) <= 5e+173) tmp = Float64(Float64(y / x_m) / z); else tmp = Float64(y * Float64(fma(Float64(0.5 * x_m), x_m, 1.0) / Float64(z * x_m))); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], 5e+173], N[(N[(y / x$95$m), $MachinePrecision] / z), $MachinePrecision], N[(y * N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y}{x\_m} \leq 5 \cdot 10^{+173}:\\
\;\;\;\;\frac{\frac{y}{x\_m}}{z}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{\mathsf{fma}\left(0.5 \cdot x\_m, x\_m, 1\right)}{z \cdot x\_m}\\
\end{array}
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 5.00000000000000034e173Initial program 96.7%
Taylor expanded in x around 0
lower-/.f6470.9
Applied rewrites70.9%
if 5.00000000000000034e173 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 66.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6446.3
Applied rewrites46.3%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6465.9
Applied rewrites65.9%
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6462.4
Applied rewrites62.4%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(pow (* (/ x_m y) z) -1.0)
(/ (/ (* (* (* x_m x_m) 0.5) y) z) x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = pow(((x_m / y) * z), -1.0);
} else {
tmp = ((((x_m * x_m) * 0.5) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = ((x_m / y) * z) ** (-1.0d0)
else
tmp = ((((x_m * x_m) * 0.5d0) * y) / z) / x_m
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = Math.pow(((x_m / y) * z), -1.0);
} else {
tmp = ((((x_m * x_m) * 0.5) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = math.pow(((x_m / y) * z), -1.0) else: tmp = ((((x_m * x_m) * 0.5) * y) / z) / x_m return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(Float64(x_m / y) * z) ^ -1.0; else tmp = Float64(Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = ((x_m / y) * z) ^ -1.0; else tmp = ((((x_m * x_m) * 0.5) * y) / z) / x_m; end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[Power[N[(N[(x$95$m / y), $MachinePrecision] * z), $MachinePrecision], -1.0], $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;{\left(\frac{x\_m}{y} \cdot z\right)}^{-1}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(\left(x\_m \cdot x\_m\right) \cdot 0.5\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
Applied rewrites68.3%
if 1.3999999999999999 < x Initial program 75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6442.1
Applied rewrites42.1%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6467.4
Applied rewrites67.4%
Taylor expanded in x around inf
Applied rewrites67.4%
Final simplification68.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(pow (* (/ x_m y) z) -1.0)
(/ (* (/ (* (* x_m x_m) 0.5) z) y) x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = pow(((x_m / y) * z), -1.0);
} else {
tmp = ((((x_m * x_m) * 0.5) / z) * y) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = ((x_m / y) * z) ** (-1.0d0)
else
tmp = ((((x_m * x_m) * 0.5d0) / z) * y) / x_m
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = Math.pow(((x_m / y) * z), -1.0);
} else {
tmp = ((((x_m * x_m) * 0.5) / z) * y) / x_m;
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = math.pow(((x_m / y) * z), -1.0) else: tmp = ((((x_m * x_m) * 0.5) / z) * y) / x_m return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(Float64(x_m / y) * z) ^ -1.0; else tmp = Float64(Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) / z) * y) / x_m); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = ((x_m / y) * z) ^ -1.0; else tmp = ((((x_m * x_m) * 0.5) / z) * y) / x_m; end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[Power[N[(N[(x$95$m / y), $MachinePrecision] * z), $MachinePrecision], -1.0], $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] / z), $MachinePrecision] * y), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;{\left(\frac{x\_m}{y} \cdot z\right)}^{-1}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(x\_m \cdot x\_m\right) \cdot 0.5}{z} \cdot y}{x\_m}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
Applied rewrites68.3%
if 1.3999999999999999 < x Initial program 75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6442.1
Applied rewrites42.1%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6446.7
Applied rewrites46.7%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
times-fracN/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f64N/A
lower-/.f6465.9
Applied rewrites65.9%
Taylor expanded in x around inf
Applied rewrites65.9%
Final simplification67.7%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(pow (* (/ x_m y) z) -1.0)
(/ (* (* (* x_m x_m) 0.5) y) (* z x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = pow(((x_m / y) * z), -1.0);
} else {
tmp = (((x_m * x_m) * 0.5) * y) / (z * x_m);
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = ((x_m / y) * z) ** (-1.0d0)
else
tmp = (((x_m * x_m) * 0.5d0) * y) / (z * x_m)
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = Math.pow(((x_m / y) * z), -1.0);
} else {
tmp = (((x_m * x_m) * 0.5) * y) / (z * x_m);
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = math.pow(((x_m / y) * z), -1.0) else: tmp = (((x_m * x_m) * 0.5) * y) / (z * x_m) return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(Float64(x_m / y) * z) ^ -1.0; else tmp = Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) * y) / Float64(z * x_m)); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = ((x_m / y) * z) ^ -1.0; else tmp = (((x_m * x_m) * 0.5) * y) / (z * x_m); end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[Power[N[(N[(x$95$m / y), $MachinePrecision] * z), $MachinePrecision], -1.0], $MachinePrecision], N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] * y), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;{\left(\frac{x\_m}{y} \cdot z\right)}^{-1}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(\left(x\_m \cdot x\_m\right) \cdot 0.5\right) \cdot y}{z \cdot x\_m}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
Applied rewrites68.3%
if 1.3999999999999999 < x Initial program 75.8%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6442.1
Applied rewrites42.1%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lift-*.f64N/A
lower-/.f64N/A
lower-*.f6446.7
Applied rewrites46.7%
Taylor expanded in x around inf
Applied rewrites46.7%
Final simplification63.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(pow (* (/ x_m y) z) -1.0)
(if (<= x_m 1.4e+221) (/ (* (* 0.5 x_m) y) z) (* y (/ (* 0.5 x_m) z))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = pow(((x_m / y) * z), -1.0);
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = ((x_m / y) * z) ** (-1.0d0)
else if (x_m <= 1.4d+221) then
tmp = ((0.5d0 * x_m) * y) / z
else
tmp = y * ((0.5d0 * x_m) / z)
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = Math.pow(((x_m / y) * z), -1.0);
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = math.pow(((x_m / y) * z), -1.0) elif x_m <= 1.4e+221: tmp = ((0.5 * x_m) * y) / z else: tmp = y * ((0.5 * x_m) / z) return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(Float64(x_m / y) * z) ^ -1.0; elseif (x_m <= 1.4e+221) tmp = Float64(Float64(Float64(0.5 * x_m) * y) / z); else tmp = Float64(y * Float64(Float64(0.5 * x_m) / z)); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = ((x_m / y) * z) ^ -1.0; elseif (x_m <= 1.4e+221) tmp = ((0.5 * x_m) * y) / z; else tmp = y * ((0.5 * x_m) / z); end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[Power[N[(N[(x$95$m / y), $MachinePrecision] * z), $MachinePrecision], -1.0], $MachinePrecision], If[LessEqual[x$95$m, 1.4e+221], N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision], N[(y * N[(N[(0.5 * x$95$m), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;{\left(\frac{x\_m}{y} \cdot z\right)}^{-1}\\
\mathbf{elif}\;x\_m \leq 1.4 \cdot 10^{+221}:\\
\;\;\;\;\frac{\left(0.5 \cdot x\_m\right) \cdot y}{z}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{0.5 \cdot x\_m}{z}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
Applied rewrites68.3%
if 1.3999999999999999 < x < 1.39999999999999994e221Initial program 88.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites18.0%
Taylor expanded in x around inf
Applied rewrites18.0%
Applied rewrites33.3%
if 1.39999999999999994e221 < x Initial program 47.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites29.4%
Taylor expanded in x around inf
Applied rewrites29.4%
Applied rewrites39.3%
Applied rewrites54.5%
Final simplification61.4%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= y 6e-14)
(/
(*
(/
(fma
(fma (* 0.001388888888888889 (* x_m x_m)) (* x_m x_m) 0.5)
(* x_m x_m)
1.0)
x_m)
y)
z)
(/
(/
(* (fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0) y)
z)
x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (y <= 6e-14) {
tmp = ((fma(fma((0.001388888888888889 * (x_m * x_m)), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m) * y) / z;
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (y <= 6e-14) tmp = Float64(Float64(Float64(fma(fma(Float64(0.001388888888888889 * Float64(x_m * x_m)), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m) * y) / z); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[y, 6e-14], N[(N[(N[(N[(N[(N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / x$95$m), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision], N[(N[(N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;y \leq 6 \cdot 10^{-14}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.001388888888888889 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m} \cdot y}{z}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right) \cdot x\_m, x\_m, 1\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if y < 5.9999999999999997e-14Initial program 82.0%
Taylor expanded in x around 0
Applied rewrites91.8%
Taylor expanded in x around inf
Applied rewrites91.5%
if 5.9999999999999997e-14 < y Initial program 91.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6479.2
Applied rewrites79.2%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6498.7
Applied rewrites98.7%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6498.8
Applied rewrites98.8%
Applied rewrites98.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 4.2e-129)
(/ (/ y x_m) z)
(if (<= x_m 4.6e+149)
(*
y
(/
(fma (fma 0.041666666666666664 (* x_m x_m) 0.5) (* x_m x_m) 1.0)
(* z x_m)))
(/ (/ (* (fma 0.5 (* x_m x_m) 1.0) y) z) x_m)))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 4.2e-129) {
tmp = (y / x_m) / z;
} else if (x_m <= 4.6e+149) {
tmp = y * (fma(fma(0.041666666666666664, (x_m * x_m), 0.5), (x_m * x_m), 1.0) / (z * x_m));
} else {
tmp = ((fma(0.5, (x_m * x_m), 1.0) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 4.2e-129) tmp = Float64(Float64(y / x_m) / z); elseif (x_m <= 4.6e+149) tmp = Float64(y * Float64(fma(fma(0.041666666666666664, Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / Float64(z * x_m))); else tmp = Float64(Float64(Float64(fma(0.5, Float64(x_m * x_m), 1.0) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 4.2e-129], N[(N[(y / x$95$m), $MachinePrecision] / z), $MachinePrecision], If[LessEqual[x$95$m, 4.6e+149], N[(y * N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(0.5 * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 4.2 \cdot 10^{-129}:\\
\;\;\;\;\frac{\frac{y}{x\_m}}{z}\\
\mathbf{elif}\;x\_m \leq 4.6 \cdot 10^{+149}:\\
\;\;\;\;y \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.5, x\_m \cdot x\_m, 1\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if x < 4.2e-129Initial program 85.2%
Taylor expanded in x around 0
lower-/.f6463.0
Applied rewrites63.0%
if 4.2e-129 < x < 4.5999999999999997e149Initial program 94.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6458.6
Applied rewrites58.6%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6466.6
Applied rewrites66.6%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
+-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f64N/A
unpow2N/A
lower-*.f6481.7
Applied rewrites81.7%
lift-/.f64N/A
lift-/.f64N/A
associate-/r*N/A
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-/l*N/A
lower-*.f64N/A
lower-/.f6476.5
Applied rewrites76.5%
if 4.5999999999999997e149 < x Initial program 61.3%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6461.3
Applied rewrites61.3%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6496.8
Applied rewrites96.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.45e+52)
(* (/ (fma 0.5 (* x_m x_m) 1.0) z) (/ y x_m))
(/ (/ (* (* (* x_m x_m) 0.5) y) z) x_m))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.45e+52) {
tmp = (fma(0.5, (x_m * x_m), 1.0) / z) * (y / x_m);
} else {
tmp = ((((x_m * x_m) * 0.5) * y) / z) / x_m;
}
return x_s * tmp;
}
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.45e+52) tmp = Float64(Float64(fma(0.5, Float64(x_m * x_m), 1.0) / z) * Float64(y / x_m)); else tmp = Float64(Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) * y) / z) / x_m); end return Float64(x_s * tmp) end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.45e+52], N[(N[(N[(0.5 * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] / z), $MachinePrecision] * N[(y / x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.45 \cdot 10^{+52}:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.5, x\_m \cdot x\_m, 1\right)}{z} \cdot \frac{y}{x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(\left(x\_m \cdot x\_m\right) \cdot 0.5\right) \cdot y}{z}}{x\_m}\\
\end{array}
\end{array}
if x < 1.45e52Initial program 88.0%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6474.8
Applied rewrites74.8%
lift-/.f64N/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
times-fracN/A
lift-/.f64N/A
lower-*.f64N/A
lower-/.f6476.1
Applied rewrites76.1%
if 1.45e52 < x Initial program 70.0%
Taylor expanded in x around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f64N/A
unpow2N/A
lower-*.f6447.3
Applied rewrites47.3%
lift-/.f64N/A
div-invN/A
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-*l/N/A
lower-/.f64N/A
un-div-invN/A
lower-/.f64N/A
lower-*.f6478.6
Applied rewrites78.6%
Taylor expanded in x around inf
Applied rewrites78.6%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(/ (/ y z) x_m)
(if (<= x_m 1.4e+221) (/ (* (* 0.5 x_m) y) z) (* y (/ (* 0.5 x_m) z))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = (y / z) / x_m;
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = (y / z) / x_m
else if (x_m <= 1.4d+221) then
tmp = ((0.5d0 * x_m) * y) / z
else
tmp = y * ((0.5d0 * x_m) / z)
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = (y / z) / x_m;
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = (y / z) / x_m elif x_m <= 1.4e+221: tmp = ((0.5 * x_m) * y) / z else: tmp = y * ((0.5 * x_m) / z) return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(Float64(y / z) / x_m); elseif (x_m <= 1.4e+221) tmp = Float64(Float64(Float64(0.5 * x_m) * y) / z); else tmp = Float64(y * Float64(Float64(0.5 * x_m) / z)); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = (y / z) / x_m; elseif (x_m <= 1.4e+221) tmp = ((0.5 * x_m) * y) / z; else tmp = y * ((0.5 * x_m) / z); end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[(N[(y / z), $MachinePrecision] / x$95$m), $MachinePrecision], If[LessEqual[x$95$m, 1.4e+221], N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision], N[(y * N[(N[(0.5 * x$95$m), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;\frac{\frac{y}{z}}{x\_m}\\
\mathbf{elif}\;x\_m \leq 1.4 \cdot 10^{+221}:\\
\;\;\;\;\frac{\left(0.5 \cdot x\_m\right) \cdot y}{z}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{0.5 \cdot x\_m}{z}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
Applied rewrites93.1%
Taylor expanded in x around 0
associate-/l/N/A
lower-/.f64N/A
lower-/.f6470.6
Applied rewrites70.6%
if 1.3999999999999999 < x < 1.39999999999999994e221Initial program 88.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites18.0%
Taylor expanded in x around inf
Applied rewrites18.0%
Applied rewrites33.3%
if 1.39999999999999994e221 < x Initial program 47.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites29.4%
Taylor expanded in x around inf
Applied rewrites29.4%
Applied rewrites39.3%
Applied rewrites54.5%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
(FPCore (x_s x_m y z)
:precision binary64
(*
x_s
(if (<= x_m 1.4)
(/ y (* z x_m))
(if (<= x_m 1.4e+221) (/ (* (* 0.5 x_m) y) z) (* y (/ (* 0.5 x_m) z))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = y / (z * x_m);
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = y / (z * x_m)
else if (x_m <= 1.4d+221) then
tmp = ((0.5d0 * x_m) * y) / z
else
tmp = y * ((0.5d0 * x_m) / z)
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = y / (z * x_m);
} else if (x_m <= 1.4e+221) {
tmp = ((0.5 * x_m) * y) / z;
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = y / (z * x_m) elif x_m <= 1.4e+221: tmp = ((0.5 * x_m) * y) / z else: tmp = y * ((0.5 * x_m) / z) return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(y / Float64(z * x_m)); elseif (x_m <= 1.4e+221) tmp = Float64(Float64(Float64(0.5 * x_m) * y) / z); else tmp = Float64(y * Float64(Float64(0.5 * x_m) / z)); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = y / (z * x_m); elseif (x_m <= 1.4e+221) tmp = ((0.5 * x_m) * y) / z; else tmp = y * ((0.5 * x_m) / z); end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[(y / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], If[LessEqual[x$95$m, 1.4e+221], N[(N[(N[(0.5 * x$95$m), $MachinePrecision] * y), $MachinePrecision] / z), $MachinePrecision], N[(y * N[(N[(0.5 * x$95$m), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;\frac{y}{z \cdot x\_m}\\
\mathbf{elif}\;x\_m \leq 1.4 \cdot 10^{+221}:\\
\;\;\;\;\frac{\left(0.5 \cdot x\_m\right) \cdot y}{z}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{0.5 \cdot x\_m}{z}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
if 1.3999999999999999 < x < 1.39999999999999994e221Initial program 88.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites18.0%
Taylor expanded in x around inf
Applied rewrites18.0%
Applied rewrites33.3%
if 1.39999999999999994e221 < x Initial program 47.4%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites29.4%
Taylor expanded in x around inf
Applied rewrites29.4%
Applied rewrites39.3%
Applied rewrites54.5%
x\_m = (fabs.f64 x) x\_s = (copysign.f64 #s(literal 1 binary64) x) (FPCore (x_s x_m y z) :precision binary64 (* x_s (if (<= x_m 1.4) (/ y (* z x_m)) (* y (/ (* 0.5 x_m) z)))))
x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = y / (z * x_m);
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: tmp
if (x_m <= 1.4d0) then
tmp = y / (z * x_m)
else
tmp = y * ((0.5d0 * x_m) / z)
end if
code = x_s * tmp
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
double tmp;
if (x_m <= 1.4) {
tmp = y / (z * x_m);
} else {
tmp = y * ((0.5 * x_m) / z);
}
return x_s * tmp;
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): tmp = 0 if x_m <= 1.4: tmp = y / (z * x_m) else: tmp = y * ((0.5 * x_m) / z) return x_s * tmp
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) tmp = 0.0 if (x_m <= 1.4) tmp = Float64(y / Float64(z * x_m)); else tmp = Float64(y * Float64(Float64(0.5 * x_m) / z)); end return Float64(x_s * tmp) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp_2 = code(x_s, x_m, y, z) tmp = 0.0; if (x_m <= 1.4) tmp = y / (z * x_m); else tmp = y * ((0.5 * x_m) / z); end tmp_2 = x_s * tmp; end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * If[LessEqual[x$95$m, 1.4], N[(y / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision], N[(y * N[(N[(0.5 * x$95$m), $MachinePrecision] / z), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.4:\\
\;\;\;\;\frac{y}{z \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \frac{0.5 \cdot x\_m}{z}\\
\end{array}
\end{array}
if x < 1.3999999999999999Initial program 87.2%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6466.2
Applied rewrites66.2%
if 1.3999999999999999 < x Initial program 75.8%
Taylor expanded in x around 0
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
associate-/l*N/A
+-commutativeN/A
associate-/l/N/A
distribute-lft1-inN/A
Applied rewrites21.5%
Taylor expanded in x around inf
Applied rewrites21.4%
Applied rewrites35.2%
Applied rewrites32.2%
x\_m = (fabs.f64 x) x\_s = (copysign.f64 #s(literal 1 binary64) x) (FPCore (x_s x_m y z) :precision binary64 (* x_s (/ y (* z x_m))))
x\_m = fabs(x);
x\_s = copysign(1.0, x);
double code(double x_s, double x_m, double y, double z) {
return x_s * (y / (z * x_m));
}
x\_m = abs(x)
x\_s = copysign(1.0d0, x)
real(8) function code(x_s, x_m, y, z)
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y
real(8), intent (in) :: z
code = x_s * (y / (z * x_m))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
public static double code(double x_s, double x_m, double y, double z) {
return x_s * (y / (z * x_m));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) def code(x_s, x_m, y, z): return x_s * (y / (z * x_m))
x\_m = abs(x) x\_s = copysign(1.0, x) function code(x_s, x_m, y, z) return Float64(x_s * Float64(y / Float64(z * x_m))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); function tmp = code(x_s, x_m, y, z) tmp = x_s * (y / (z * x_m)); end
x\_m = N[Abs[x], $MachinePrecision]
x\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[x$95$s_, x$95$m_, y_, z_] := N[(x$95$s * N[(y / N[(z * x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
x\_s \cdot \frac{y}{z \cdot x\_m}
\end{array}
Initial program 84.5%
Taylor expanded in x around 0
lower-/.f64N/A
*-commutativeN/A
lower-*.f6451.5
Applied rewrites51.5%
(FPCore (x y z)
:precision binary64
(let* ((t_0 (* (/ (/ y z) x) (cosh x))))
(if (< y -4.618902267687042e-52)
t_0
(if (< y 1.038530535935153e-39) (/ (/ (* (cosh x) y) x) z) t_0))))
double code(double x, double y, double z) {
double t_0 = ((y / z) / x) * cosh(x);
double tmp;
if (y < -4.618902267687042e-52) {
tmp = t_0;
} else if (y < 1.038530535935153e-39) {
tmp = ((cosh(x) * y) / x) / z;
} else {
tmp = t_0;
}
return tmp;
}
real(8) function code(x, y, z)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8) :: t_0
real(8) :: tmp
t_0 = ((y / z) / x) * cosh(x)
if (y < (-4.618902267687042d-52)) then
tmp = t_0
else if (y < 1.038530535935153d-39) then
tmp = ((cosh(x) * y) / x) / z
else
tmp = t_0
end if
code = tmp
end function
public static double code(double x, double y, double z) {
double t_0 = ((y / z) / x) * Math.cosh(x);
double tmp;
if (y < -4.618902267687042e-52) {
tmp = t_0;
} else if (y < 1.038530535935153e-39) {
tmp = ((Math.cosh(x) * y) / x) / z;
} else {
tmp = t_0;
}
return tmp;
}
def code(x, y, z): t_0 = ((y / z) / x) * math.cosh(x) tmp = 0 if y < -4.618902267687042e-52: tmp = t_0 elif y < 1.038530535935153e-39: tmp = ((math.cosh(x) * y) / x) / z else: tmp = t_0 return tmp
function code(x, y, z) t_0 = Float64(Float64(Float64(y / z) / x) * cosh(x)) tmp = 0.0 if (y < -4.618902267687042e-52) tmp = t_0; elseif (y < 1.038530535935153e-39) tmp = Float64(Float64(Float64(cosh(x) * y) / x) / z); else tmp = t_0; end return tmp end
function tmp_2 = code(x, y, z) t_0 = ((y / z) / x) * cosh(x); tmp = 0.0; if (y < -4.618902267687042e-52) tmp = t_0; elseif (y < 1.038530535935153e-39) tmp = ((cosh(x) * y) / x) / z; else tmp = t_0; end tmp_2 = tmp; end
code[x_, y_, z_] := Block[{t$95$0 = N[(N[(N[(y / z), $MachinePrecision] / x), $MachinePrecision] * N[Cosh[x], $MachinePrecision]), $MachinePrecision]}, If[Less[y, -4.618902267687042e-52], t$95$0, If[Less[y, 1.038530535935153e-39], N[(N[(N[(N[Cosh[x], $MachinePrecision] * y), $MachinePrecision] / x), $MachinePrecision] / z), $MachinePrecision], t$95$0]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\frac{y}{z}}{x} \cdot \cosh x\\
\mathbf{if}\;y < -4.618902267687042 \cdot 10^{-52}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;y < 1.038530535935153 \cdot 10^{-39}:\\
\;\;\;\;\frac{\frac{\cosh x \cdot y}{x}}{z}\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
herbie shell --seed 2024324
(FPCore (x y z)
:name "Linear.Quaternion:$ctan from linear-1.19.1.3"
:precision binary64
:alt
(! :herbie-platform default (if (< y -2309451133843521/5000000000000000000000000000000000000000000000000000000000000000000) (* (/ (/ y z) x) (cosh x)) (if (< y 1038530535935153/1000000000000000000000000000000000000000000000000000000) (/ (/ (* (cosh x) y) x) z) (* (/ (/ y z) x) (cosh x)))))
(/ (* (cosh x) (/ y x)) z))