
(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;
}
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(x, y, z)
use fmin_fmax_functions
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 23 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;
}
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(x, y, z)
use fmin_fmax_functions
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)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(let* ((t_0 (/ (* (cosh x_m) (/ y_m x_m)) z_m)))
(*
z_s
(*
y_s
(*
x_s
(if (<= t_0 2e+305)
t_0
(/ (* (/ (/ (* 2.0 (cosh x_m)) x_m) z_m) y_m) 2.0)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = (cosh(x_m) * (y_m / x_m)) / z_m;
double tmp;
if (t_0 <= 2e+305) {
tmp = t_0;
} else {
tmp = ((((2.0 * cosh(x_m)) / x_m) / z_m) * y_m) / 2.0;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = private
x\_s = private
y\_m = private
y\_s = private
z\_m = private
z\_s = private
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(z_s, y_s, x_s, x_m, y_m, z_m)
use fmin_fmax_functions
real(8), intent (in) :: z_s
real(8), intent (in) :: y_s
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y_m
real(8), intent (in) :: z_m
real(8) :: t_0
real(8) :: tmp
t_0 = (cosh(x_m) * (y_m / x_m)) / z_m
if (t_0 <= 2d+305) then
tmp = t_0
else
tmp = ((((2.0d0 * cosh(x_m)) / x_m) / z_m) * y_m) / 2.0d0
end if
code = z_s * (y_s * (x_s * tmp))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
y\_m = Math.abs(y);
y\_s = Math.copySign(1.0, y);
z\_m = Math.abs(z);
z\_s = Math.copySign(1.0, z);
public static double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = (Math.cosh(x_m) * (y_m / x_m)) / z_m;
double tmp;
if (t_0 <= 2e+305) {
tmp = t_0;
} else {
tmp = ((((2.0 * Math.cosh(x_m)) / x_m) / z_m) * y_m) / 2.0;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) y\_m = math.fabs(y) y\_s = math.copysign(1.0, y) z\_m = math.fabs(z) z\_s = math.copysign(1.0, z) def code(z_s, y_s, x_s, x_m, y_m, z_m): t_0 = (math.cosh(x_m) * (y_m / x_m)) / z_m tmp = 0 if t_0 <= 2e+305: tmp = t_0 else: tmp = ((((2.0 * math.cosh(x_m)) / x_m) / z_m) * y_m) / 2.0 return z_s * (y_s * (x_s * tmp))
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) tmp = 0.0 if (t_0 <= 2e+305) tmp = t_0; else tmp = Float64(Float64(Float64(Float64(Float64(2.0 * cosh(x_m)) / x_m) / z_m) * y_m) / 2.0); end return Float64(z_s * Float64(y_s * Float64(x_s * tmp))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); y\_m = abs(y); y\_s = sign(y) * abs(1.0); z\_m = abs(z); z\_s = sign(z) * abs(1.0); function tmp_2 = code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = (cosh(x_m) * (y_m / x_m)) / z_m; tmp = 0.0; if (t_0 <= 2e+305) tmp = t_0; else tmp = ((((2.0 * cosh(x_m)) / x_m) / z_m) * y_m) / 2.0; end tmp_2 = z_s * (y_s * (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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := Block[{t$95$0 = N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision]}, N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[t$95$0, 2e+305], t$95$0, N[(N[(N[(N[(N[(2.0 * N[Cosh[x$95$m], $MachinePrecision]), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] / 2.0), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
\begin{array}{l}
t_0 := \frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m}\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;t\_0 \leq 2 \cdot 10^{+305}:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\frac{2 \cdot \cosh x\_m}{x\_m}}{z\_m} \cdot y\_m}{2}\\
\end{array}\right)\right)
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 1.9999999999999999e305Initial program 98.0%
if 1.9999999999999999e305 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 74.9%
lift-/.f64N/A
lift-*.f64N/A
lift-cosh.f64N/A
lift-/.f64N/A
associate-/l*N/A
cosh-defN/A
rec-expN/A
associate-/r*N/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
lower-/.f64N/A
Applied rewrites100.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(let* ((t_0 (/ (* (cosh x_m) (/ y_m x_m)) z_m)))
(*
z_s
(*
y_s
(*
x_s
(if (<= t_0 INFINITY)
t_0
(/
(*
y_m
(/
(fma
(fma (* (* x_m x_m) 0.001388888888888889) (* x_m x_m) 0.5)
(* x_m x_m)
1.0)
x_m))
z_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = (cosh(x_m) * (y_m / x_m)) / z_m;
double tmp;
if (t_0 <= ((double) INFINITY)) {
tmp = t_0;
} else {
tmp = (y_m * (fma(fma(((x_m * x_m) * 0.001388888888888889), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m)) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) tmp = 0.0 if (t_0 <= Inf) tmp = t_0; else tmp = Float64(Float64(y_m * Float64(fma(fma(Float64(Float64(x_m * x_m) * 0.001388888888888889), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m)) / z_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := Block[{t$95$0 = N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision]}, N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[t$95$0, Infinity], t$95$0, N[(N[(y$95$m * N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889), $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]), $MachinePrecision] / z$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
\begin{array}{l}
t_0 := \frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m}\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;t\_0 \leq \infty:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;\frac{y\_m \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot 0.001388888888888889, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m}}{z\_m}\\
\end{array}\right)\right)
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < +inf.0Initial program 96.3%
if +inf.0 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 0.0%
Taylor expanded in x around 0
Applied rewrites90.8%
Taylor expanded in y 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)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y_m x_m)) z_m) 1e+76)
(/
(fma
(fma
(*
(* (fma 0.001388888888888889 (* x_m x_m) 0.041666666666666664) y_m)
x_m)
x_m
(* 0.5 y_m))
(* x_m x_m)
y_m)
(* z_m x_m))
(/
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
z_m)
x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (((cosh(x_m) * (y_m / x_m)) / z_m) <= 1e+76) {
tmp = fma(fma(((fma(0.001388888888888889, (x_m * x_m), 0.041666666666666664) * y_m) * x_m), x_m, (0.5 * y_m)), (x_m * x_m), y_m) / (z_m * x_m);
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) <= 1e+76) tmp = Float64(fma(fma(Float64(Float64(fma(0.001388888888888889, Float64(x_m * x_m), 0.041666666666666664) * y_m) * x_m), x_m, Float64(0.5 * y_m)), Float64(x_m * x_m), y_m) / Float64(z_m * x_m)); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], 1e+76], N[(N[(N[(N[(N[(N[(0.001388888888888889 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.041666666666666664), $MachinePrecision] * y$95$m), $MachinePrecision] * x$95$m), $MachinePrecision] * x$95$m + N[(0.5 * y$95$m), $MachinePrecision]), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + y$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $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$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m} \leq 10^{+76}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(\left(\mathsf{fma}\left(0.001388888888888889, x\_m \cdot x\_m, 0.041666666666666664\right) \cdot y\_m\right) \cdot x\_m, x\_m, 0.5 \cdot y\_m\right), x\_m \cdot x\_m, y\_m\right)}{z\_m \cdot x\_m}\\
\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\_m}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 1e76Initial program 97.8%
Taylor expanded in x around 0
Applied rewrites88.1%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6488.1
Applied rewrites88.1%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites76.2%
Taylor expanded in x around 0
Applied rewrites76.4%
if 1e76 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 77.8%
Taylor expanded in x around 0
Applied rewrites67.4%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6483.2
Applied rewrites83.2%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites70.6%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites87.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y_m x_m)) z_m) 1e+76)
(/
(*
(fma
(*
(fma
(fma 0.001388888888888889 (* x_m x_m) 0.041666666666666664)
(* x_m x_m)
0.5)
x_m)
x_m
1.0)
y_m)
(* z_m x_m))
(/
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
z_m)
x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (((cosh(x_m) * (y_m / x_m)) / z_m) <= 1e+76) {
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_m) / (z_m * x_m);
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) <= 1e+76) tmp = Float64(Float64(fma(Float64(fma(fma(0.001388888888888889, Float64(x_m * x_m), 0.041666666666666664), Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / Float64(z_m * x_m)); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], 1e+76], N[(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] * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] * y$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $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$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m} \leq 10^{+76}:\\
\;\;\;\;\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) \cdot x\_m, x\_m, 1\right) \cdot y\_m}{z\_m \cdot x\_m}\\
\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\_m}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 1e76Initial program 97.8%
Taylor expanded in x around 0
Applied rewrites88.1%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6488.1
Applied rewrites88.1%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites76.2%
Taylor expanded in x around 0
Applied rewrites77.8%
if 1e76 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 77.8%
Taylor expanded in x around 0
Applied rewrites67.4%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6483.2
Applied rewrites83.2%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites70.6%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites87.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(let* ((t_0
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)))
(*
z_s
(*
y_s
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y_m x_m)) z_m) 1000.0)
(/ t_0 (* z_m x_m))
(/ (/ t_0 z_m) x_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m;
double tmp;
if (((cosh(x_m) * (y_m / x_m)) / z_m) <= 1000.0) {
tmp = t_0 / (z_m * x_m);
} else {
tmp = (t_0 / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) <= 1000.0) tmp = Float64(t_0 / Float64(z_m * x_m)); else tmp = Float64(Float64(t_0 / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := Block[{t$95$0 = 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$95$m), $MachinePrecision]}, N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], 1000.0], N[(t$95$0 / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(t$95$0 / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
\begin{array}{l}
t_0 := \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\_m\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m} \leq 1000:\\
\;\;\;\;\frac{t\_0}{z\_m \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{t\_0}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 1e3Initial program 97.7%
Taylor expanded in x around 0
Applied rewrites87.7%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6487.7
Applied rewrites87.7%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites75.3%
Applied rewrites75.3%
if 1e3 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 78.7%
Taylor expanded in x around 0
Applied rewrites68.7%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6483.9
Applied rewrites83.9%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites71.8%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites88.3%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y_m x_m)) z_m) INFINITY)
(/
(*
(fma (* (* x_m x_m) 0.041666666666666664) (* x_m x_m) 1.0)
(/ y_m x_m))
z_m)
(/ (* (/ (/ (fma x_m x_m 2.0) x_m) z_m) y_m) 2.0))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (((cosh(x_m) * (y_m / x_m)) / z_m) <= ((double) INFINITY)) {
tmp = (fma(((x_m * x_m) * 0.041666666666666664), (x_m * x_m), 1.0) * (y_m / x_m)) / z_m;
} else {
tmp = (((fma(x_m, x_m, 2.0) / x_m) / z_m) * y_m) / 2.0;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) <= Inf) tmp = Float64(Float64(fma(Float64(Float64(x_m * x_m) * 0.041666666666666664), Float64(x_m * x_m), 1.0) * Float64(y_m / x_m)) / z_m); else tmp = Float64(Float64(Float64(Float64(fma(x_m, x_m, 2.0) / x_m) / z_m) * y_m) / 2.0); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], Infinity], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m + 2.0), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] / 2.0), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m} \leq \infty:\\
\;\;\;\;\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot 0.041666666666666664, x\_m \cdot x\_m, 1\right) \cdot \frac{y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\frac{\mathsf{fma}\left(x\_m, x\_m, 2\right)}{x\_m}}{z\_m} \cdot y\_m}{2}\\
\end{array}\right)\right)
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < +inf.0Initial program 96.3%
Taylor expanded in x around 0
Applied rewrites85.4%
Taylor expanded in x around inf
Applied rewrites85.0%
if +inf.0 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 0.0%
lift-/.f64N/A
lift-*.f64N/A
lift-cosh.f64N/A
lift-/.f64N/A
associate-/l*N/A
cosh-defN/A
rec-expN/A
associate-/r*N/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
lower-/.f64N/A
Applied rewrites100.0%
Taylor expanded in x around 0
Applied rewrites81.3%
Final simplification84.7%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(let* ((t_0 (fma (* (* x_m x_m) y_m) 0.5 y_m)))
(*
z_s
(*
y_s
(*
x_s
(if (<= (/ (* (cosh x_m) (/ y_m x_m)) z_m) 1000.0)
(/ t_0 (* z_m x_m))
(/ (/ t_0 z_m) x_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = fma(((x_m * x_m) * y_m), 0.5, y_m);
double tmp;
if (((cosh(x_m) * (y_m / x_m)) / z_m) <= 1000.0) {
tmp = t_0 / (z_m * x_m);
} else {
tmp = (t_0 / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) tmp = 0.0 if (Float64(Float64(cosh(x_m) * Float64(y_m / x_m)) / z_m) <= 1000.0) tmp = Float64(t_0 / Float64(z_m * x_m)); else tmp = Float64(Float64(t_0 / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := Block[{t$95$0 = N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision]}, N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $MachinePrecision], 1000.0], N[(t$95$0 / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(t$95$0 / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\frac{\cosh x\_m \cdot \frac{y\_m}{x\_m}}{z\_m} \leq 1000:\\
\;\;\;\;\frac{t\_0}{z\_m \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{t\_0}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
\end{array}
if (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) < 1e3Initial program 97.7%
Taylor expanded in x around 0
Applied rewrites87.7%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6487.7
Applied rewrites87.7%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites75.3%
Taylor expanded in x around 0
Applied rewrites67.8%
if 1e3 < (/.f64 (*.f64 (cosh.f64 x) (/.f64 y x)) z) Initial program 78.7%
Taylor expanded in x around 0
Applied rewrites82.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= (* (cosh x_m) (/ y_m x_m)) 5e+81)
(/ (/ y_m x_m) z_m)
(/ (fma (* (* x_m x_m) y_m) 0.5 y_m) (* z_m x_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if ((cosh(x_m) * (y_m / x_m)) <= 5e+81) {
tmp = (y_m / x_m) / z_m;
} else {
tmp = fma(((x_m * x_m) * y_m), 0.5, y_m) / (z_m * x_m);
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (Float64(cosh(x_m) * Float64(y_m / x_m)) <= 5e+81) tmp = Float64(Float64(y_m / x_m) / z_m); else tmp = Float64(fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) / Float64(z_m * x_m)); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[N[(N[Cosh[x$95$m], $MachinePrecision] * N[(y$95$m / x$95$m), $MachinePrecision]), $MachinePrecision], 5e+81], N[(N[(y$95$m / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;\cosh x\_m \cdot \frac{y\_m}{x\_m} \leq 5 \cdot 10^{+81}:\\
\;\;\;\;\frac{\frac{y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)}{z\_m \cdot x\_m}\\
\end{array}\right)\right)
\end{array}
if (*.f64 (cosh.f64 x) (/.f64 y x)) < 4.9999999999999998e81Initial program 96.7%
Taylor expanded in x around 0
Applied rewrites58.2%
if 4.9999999999999998e81 < (*.f64 (cosh.f64 x) (/.f64 y x)) Initial program 77.0%
Taylor expanded in x around 0
Applied rewrites70.0%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6487.7
Applied rewrites87.7%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites76.3%
Taylor expanded in x around 0
Applied rewrites65.8%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= x_m 1.86e-56)
(/ (/ y_m z_m) x_m)
(if (<= x_m 3.5e+45)
(/ (* (cosh x_m) y_m) (* z_m x_m))
(/
(*
y_m
(/
(fma
(fma (* (* x_m x_m) 0.001388888888888889) (* x_m x_m) 0.5)
(* x_m x_m)
1.0)
x_m))
z_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 1.86e-56) {
tmp = (y_m / z_m) / x_m;
} else if (x_m <= 3.5e+45) {
tmp = (cosh(x_m) * y_m) / (z_m * x_m);
} else {
tmp = (y_m * (fma(fma(((x_m * x_m) * 0.001388888888888889), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m)) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (x_m <= 1.86e-56) tmp = Float64(Float64(y_m / z_m) / x_m); elseif (x_m <= 3.5e+45) tmp = Float64(Float64(cosh(x_m) * y_m) / Float64(z_m * x_m)); else tmp = Float64(Float64(y_m * Float64(fma(fma(Float64(Float64(x_m * x_m) * 0.001388888888888889), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m)) / z_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[x$95$m, 1.86e-56], N[(N[(y$95$m / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision], If[LessEqual[x$95$m, 3.5e+45], N[(N[(N[Cosh[x$95$m], $MachinePrecision] * y$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(y$95$m * N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889), $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]), $MachinePrecision] / z$95$m), $MachinePrecision]]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.86 \cdot 10^{-56}:\\
\;\;\;\;\frac{\frac{y\_m}{z\_m}}{x\_m}\\
\mathbf{elif}\;x\_m \leq 3.5 \cdot 10^{+45}:\\
\;\;\;\;\frac{\cosh x\_m \cdot y\_m}{z\_m \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{y\_m \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot 0.001388888888888889, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m}}{z\_m}\\
\end{array}\right)\right)
\end{array}
if x < 1.85999999999999997e-56Initial program 88.0%
Taylor expanded in x around 0
Applied rewrites65.9%
if 1.85999999999999997e-56 < x < 3.50000000000000023e45Initial program 96.7%
lift-/.f64N/A
lift-*.f64N/A
lift-cosh.f64N/A
lift-/.f64N/A
associate-*r/N/A
associate-/l/N/A
lower-/.f64N/A
lower-*.f64N/A
lift-cosh.f64N/A
*-commutativeN/A
lower-*.f6499.8
Applied rewrites99.8%
if 3.50000000000000023e45 < x Initial program 84.9%
Taylor expanded in x around 0
Applied rewrites94.5%
Taylor expanded in y 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)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 1.8e+101)
(/
(/
(*
(fma
(*
(fma
(fma x_m (* x_m 0.001388888888888889) 0.041666666666666664)
(* x_m x_m)
0.5)
x_m)
x_m
1.0)
y_m)
x_m)
z_m)
(/
(*
(/
(/
(fma
(fma
(fma 0.002777777777777778 (* x_m x_m) 0.08333333333333333)
(* x_m x_m)
1.0)
(* x_m x_m)
2.0)
x_m)
z_m)
y_m)
2.0))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 1.8e+101) {
tmp = ((fma((fma(fma(x_m, (x_m * 0.001388888888888889), 0.041666666666666664), (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / x_m) / z_m;
} else {
tmp = (((fma(fma(fma(0.002777777777777778, (x_m * x_m), 0.08333333333333333), (x_m * x_m), 1.0), (x_m * x_m), 2.0) / x_m) / z_m) * y_m) / 2.0;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 1.8e+101) tmp = Float64(Float64(Float64(fma(Float64(fma(fma(x_m, Float64(x_m * 0.001388888888888889), 0.041666666666666664), Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / x_m) / z_m); else tmp = Float64(Float64(Float64(Float64(fma(fma(fma(0.002777777777777778, Float64(x_m * x_m), 0.08333333333333333), Float64(x_m * x_m), 1.0), Float64(x_m * x_m), 2.0) / x_m) / z_m) * y_m) / 2.0); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 1.8e+101], N[(N[(N[(N[(N[(N[(N[(x$95$m * N[(x$95$m * 0.001388888888888889), $MachinePrecision] + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] * y$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(N[(N[(N[(N[(N[(0.002777777777777778 * N[(x$95$m * x$95$m), $MachinePrecision] + 0.08333333333333333), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 1.0), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 2.0), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] / 2.0), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 1.8 \cdot 10^{+101}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m, x\_m \cdot 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right) \cdot x\_m, x\_m, 1\right) \cdot y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(0.002777777777777778, x\_m \cdot x\_m, 0.08333333333333333\right), x\_m \cdot x\_m, 1\right), x\_m \cdot x\_m, 2\right)}{x\_m}}{z\_m} \cdot y\_m}{2}\\
\end{array}\right)\right)
\end{array}
if y < 1.80000000000000015e101Initial program 87.7%
Taylor expanded in x around 0
Applied rewrites87.3%
Applied rewrites87.3%
Taylor expanded in y around 0
Applied rewrites89.7%
Applied rewrites89.7%
if 1.80000000000000015e101 < y Initial program 91.1%
lift-/.f64N/A
lift-*.f64N/A
lift-cosh.f64N/A
lift-/.f64N/A
associate-/l*N/A
cosh-defN/A
rec-expN/A
associate-/r*N/A
associate-*l/N/A
associate-/l*N/A
*-commutativeN/A
lower-/.f64N/A
Applied rewrites99.9%
Taylor expanded in x around 0
Applied rewrites92.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 1.8e+101)
(/
(/
(*
(fma
(*
(fma
(fma x_m (* x_m 0.001388888888888889) 0.041666666666666664)
(* x_m x_m)
0.5)
x_m)
x_m
1.0)
y_m)
x_m)
z_m)
(/
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
z_m)
x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 1.8e+101) {
tmp = ((fma((fma(fma(x_m, (x_m * 0.001388888888888889), 0.041666666666666664), (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / x_m) / z_m;
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 1.8e+101) tmp = Float64(Float64(Float64(fma(Float64(fma(fma(x_m, Float64(x_m * 0.001388888888888889), 0.041666666666666664), Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / x_m) / z_m); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 1.8e+101], N[(N[(N[(N[(N[(N[(N[(x$95$m * N[(x$95$m * 0.001388888888888889), $MachinePrecision] + 0.041666666666666664), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + 0.5), $MachinePrecision] * x$95$m), $MachinePrecision] * x$95$m + 1.0), $MachinePrecision] * y$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $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$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 1.8 \cdot 10^{+101}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(x\_m, x\_m \cdot 0.001388888888888889, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right) \cdot x\_m, x\_m, 1\right) \cdot y\_m}{x\_m}}{z\_m}\\
\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\_m}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if y < 1.80000000000000015e101Initial program 87.7%
Taylor expanded in x around 0
Applied rewrites87.3%
Applied rewrites87.3%
Taylor expanded in y around 0
Applied rewrites89.7%
Applied rewrites89.7%
if 1.80000000000000015e101 < y Initial program 91.1%
Taylor expanded in x around 0
Applied rewrites84.1%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6484.1
Applied rewrites84.1%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites77.8%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites92.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 1.8e+101)
(/
(*
y_m
(/
(fma
(fma
(fma (* 0.001388888888888889 x_m) x_m 0.041666666666666664)
(* x_m x_m)
0.5)
(* x_m x_m)
1.0)
x_m))
z_m)
(/
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
z_m)
x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 1.8e+101) {
tmp = (y_m * (fma(fma(fma((0.001388888888888889 * x_m), x_m, 0.041666666666666664), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m)) / z_m;
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 1.8e+101) tmp = Float64(Float64(y_m * Float64(fma(fma(fma(Float64(0.001388888888888889 * x_m), x_m, 0.041666666666666664), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m)) / z_m); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 1.8e+101], N[(N[(y$95$m * N[(N[(N[(N[(N[(0.001388888888888889 * x$95$m), $MachinePrecision] * x$95$m + 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] / x$95$m), $MachinePrecision]), $MachinePrecision] / z$95$m), $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$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 1.8 \cdot 10^{+101}:\\
\;\;\;\;\frac{y\_m \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(0.001388888888888889 \cdot x\_m, x\_m, 0.041666666666666664\right), x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m}}{z\_m}\\
\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\_m}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if y < 1.80000000000000015e101Initial program 87.7%
Taylor expanded in x around 0
Applied rewrites87.3%
Taylor expanded in y around 0
Applied rewrites89.6%
Applied rewrites89.6%
if 1.80000000000000015e101 < y Initial program 91.1%
Taylor expanded in x around 0
Applied rewrites84.1%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6484.1
Applied rewrites84.1%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites77.8%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites92.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 2400000000000.0)
(/
(*
y_m
(/
(fma
(fma (* (* x_m x_m) 0.001388888888888889) (* x_m x_m) 0.5)
(* x_m x_m)
1.0)
x_m))
z_m)
(/
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
z_m)
x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 2400000000000.0) {
tmp = (y_m * (fma(fma(((x_m * x_m) * 0.001388888888888889), (x_m * x_m), 0.5), (x_m * x_m), 1.0) / x_m)) / z_m;
} else {
tmp = ((fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 2400000000000.0) tmp = Float64(Float64(y_m * Float64(fma(fma(Float64(Float64(x_m * x_m) * 0.001388888888888889), Float64(x_m * x_m), 0.5), Float64(x_m * x_m), 1.0) / x_m)) / z_m); else tmp = Float64(Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 2400000000000.0], N[(N[(y$95$m * N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.001388888888888889), $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]), $MachinePrecision] / z$95$m), $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$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 2400000000000:\\
\;\;\;\;\frac{y\_m \cdot \frac{\mathsf{fma}\left(\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot 0.001388888888888889, x\_m \cdot x\_m, 0.5\right), x\_m \cdot x\_m, 1\right)}{x\_m}}{z\_m}\\
\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\_m}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if y < 2.4e12Initial program 86.7%
Taylor expanded in x around 0
Applied rewrites87.1%
Taylor expanded in y around 0
Applied rewrites89.6%
Taylor expanded in x around inf
Applied rewrites89.4%
if 2.4e12 < y Initial program 93.1%
Taylor expanded in x around 0
Applied rewrites85.3%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6485.3
Applied rewrites85.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites74.5%
lift-*.f64N/A
lift-/.f64N/A
associate-/r*N/A
lower-/.f64N/A
Applied rewrites92.1%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= x_m 1.86e-56)
(/ (/ y_m z_m) x_m)
(if (<= x_m 7e+130)
(/
(*
(fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)
y_m)
(* z_m x_m))
(/ (/ (fma (* (* x_m x_m) y_m) 0.5 y_m) z_m) x_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 1.86e-56) {
tmp = (y_m / z_m) / x_m;
} else if (x_m <= 7e+130) {
tmp = (fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / (z_m * x_m);
} else {
tmp = (fma(((x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (x_m <= 1.86e-56) tmp = Float64(Float64(y_m / z_m) / x_m); elseif (x_m <= 7e+130) tmp = Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) * y_m) / Float64(z_m * x_m)); else tmp = Float64(Float64(fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[x$95$m, 1.86e-56], N[(N[(y$95$m / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision], If[LessEqual[x$95$m, 7e+130], 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$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 1.86 \cdot 10^{-56}:\\
\;\;\;\;\frac{\frac{y\_m}{z\_m}}{x\_m}\\
\mathbf{elif}\;x\_m \leq 7 \cdot 10^{+130}:\\
\;\;\;\;\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\_m}{z\_m \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if x < 1.85999999999999997e-56Initial program 88.0%
Taylor expanded in x around 0
Applied rewrites65.9%
if 1.85999999999999997e-56 < x < 7.0000000000000002e130Initial program 94.2%
Taylor expanded in x around 0
Applied rewrites59.7%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6461.6
Applied rewrites61.6%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites59.6%
Applied rewrites59.6%
if 7.0000000000000002e130 < x Initial program 81.3%
Taylor expanded in x around 0
Applied rewrites96.9%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(let* ((t_0 (fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0)))
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 1e+23)
(/ (/ (* t_0 y_m) x_m) z_m)
(* (/ t_0 x_m) (/ y_m z_m))))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double t_0 = fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0);
double tmp;
if (y_m <= 1e+23) {
tmp = ((t_0 * y_m) / x_m) / z_m;
} else {
tmp = (t_0 / x_m) * (y_m / z_m);
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) t_0 = fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) tmp = 0.0 if (y_m <= 1e+23) tmp = Float64(Float64(Float64(t_0 * y_m) / x_m) / z_m); else tmp = Float64(Float64(t_0 / x_m) * Float64(y_m / z_m)); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := Block[{t$95$0 = 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]}, N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 1e+23], N[(N[(N[(t$95$0 * y$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(t$95$0 / x$95$m), $MachinePrecision] * N[(y$95$m / z$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right) \cdot x\_m, x\_m, 1\right)\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 10^{+23}:\\
\;\;\;\;\frac{\frac{t\_0 \cdot y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{t\_0}{x\_m} \cdot \frac{y\_m}{z\_m}\\
\end{array}\right)\right)
\end{array}
\end{array}
if y < 9.9999999999999992e22Initial program 87.0%
Taylor expanded in x around 0
Applied rewrites76.3%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6486.2
Applied rewrites86.2%
Applied rewrites86.2%
if 9.9999999999999992e22 < y Initial program 92.8%
Taylor expanded in x around 0
Applied rewrites84.6%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6484.6
Applied rewrites84.6%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites74.8%
lift-*.f64N/A
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
times-fracN/A
lower-*.f64N/A
Applied rewrites91.7%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 1e+23)
(/
(/
(* (fma (* 0.041666666666666664 (* x_m x_m)) (* x_m x_m) 1.0) y_m)
x_m)
z_m)
(*
(/ (fma (* (fma 0.041666666666666664 (* x_m x_m) 0.5) x_m) x_m 1.0) x_m)
(/ y_m z_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 1e+23) {
tmp = ((fma((0.041666666666666664 * (x_m * x_m)), (x_m * x_m), 1.0) * y_m) / x_m) / z_m;
} else {
tmp = (fma((fma(0.041666666666666664, (x_m * x_m), 0.5) * x_m), x_m, 1.0) / x_m) * (y_m / z_m);
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 1e+23) tmp = Float64(Float64(Float64(fma(Float64(0.041666666666666664 * Float64(x_m * x_m)), Float64(x_m * x_m), 1.0) * y_m) / x_m) / z_m); else tmp = Float64(Float64(fma(Float64(fma(0.041666666666666664, Float64(x_m * x_m), 0.5) * x_m), x_m, 1.0) / x_m) * Float64(y_m / z_m)); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 1e+23], 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$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], 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] / x$95$m), $MachinePrecision] * N[(y$95$m / z$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 10^{+23}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 1\right) \cdot y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\mathsf{fma}\left(0.041666666666666664, x\_m \cdot x\_m, 0.5\right) \cdot x\_m, x\_m, 1\right)}{x\_m} \cdot \frac{y\_m}{z\_m}\\
\end{array}\right)\right)
\end{array}
if y < 9.9999999999999992e22Initial program 87.0%
Taylor expanded in x around 0
Applied rewrites76.3%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6486.2
Applied rewrites86.2%
Taylor expanded in x around inf
Applied rewrites85.8%
if 9.9999999999999992e22 < y Initial program 92.8%
Taylor expanded in x around 0
Applied rewrites84.6%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6484.6
Applied rewrites84.6%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites74.8%
lift-*.f64N/A
lift-/.f64N/A
lift-*.f64N/A
*-commutativeN/A
times-fracN/A
lower-*.f64N/A
Applied rewrites91.7%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (or (<= x_m 0.9) (not (<= x_m 7e+130)))
(/ (/ (fma (* (* x_m x_m) y_m) 0.5 y_m) z_m) x_m)
(/
(* (fma (* 0.041666666666666664 (* x_m x_m)) (* x_m x_m) 1.0) y_m)
(* z_m x_m)))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if ((x_m <= 0.9) || !(x_m <= 7e+130)) {
tmp = (fma(((x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m;
} else {
tmp = (fma((0.041666666666666664 * (x_m * x_m)), (x_m * x_m), 1.0) * y_m) / (z_m * x_m);
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if ((x_m <= 0.9) || !(x_m <= 7e+130)) tmp = Float64(Float64(fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m); else tmp = Float64(Float64(fma(Float64(0.041666666666666664 * Float64(x_m * x_m)), Float64(x_m * x_m), 1.0) * y_m) / Float64(z_m * x_m)); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[Or[LessEqual[x$95$m, 0.9], N[Not[LessEqual[x$95$m, 7e+130]], $MachinePrecision]], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision], 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$95$m), $MachinePrecision] / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 0.9 \lor \neg \left(x\_m \leq 7 \cdot 10^{+130}\right):\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)}{z\_m}}{x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 1\right) \cdot y\_m}{z\_m \cdot x\_m}\\
\end{array}\right)\right)
\end{array}
if x < 0.900000000000000022 or 7.0000000000000002e130 < x Initial program 87.3%
Taylor expanded in x around 0
Applied rewrites88.4%
if 0.900000000000000022 < x < 7.0000000000000002e130Initial program 94.7%
Taylor expanded in x around 0
Applied rewrites49.3%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6452.0
Applied rewrites52.0%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
lower-/.f64N/A
*-commutativeN/A
lift-*.f64N/A
Applied rewrites46.7%
Taylor expanded in x around inf
Applied rewrites46.7%
Final simplification82.2%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 4.5e+51)
(/
(/
(* (fma (* 0.041666666666666664 (* x_m x_m)) (* x_m x_m) 1.0) y_m)
x_m)
z_m)
(/ (/ (fma (* (* x_m x_m) y_m) 0.5 y_m) z_m) x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 4.5e+51) {
tmp = ((fma((0.041666666666666664 * (x_m * x_m)), (x_m * x_m), 1.0) * y_m) / x_m) / z_m;
} else {
tmp = (fma(((x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 4.5e+51) tmp = Float64(Float64(Float64(fma(Float64(0.041666666666666664 * Float64(x_m * x_m)), Float64(x_m * x_m), 1.0) * y_m) / x_m) / z_m); else tmp = Float64(Float64(fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 4.5e+51], 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$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 4.5 \cdot 10^{+51}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right), x\_m \cdot x\_m, 1\right) \cdot y\_m}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if y < 4.5e51Initial program 87.2%
Taylor expanded in x around 0
Applied rewrites76.8%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6486.5
Applied rewrites86.5%
Taylor expanded in x around inf
Applied rewrites86.1%
if 4.5e51 < y Initial program 92.3%
Taylor expanded in x around 0
Applied rewrites91.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= y_m 4.5e+51)
(/
(/
(fma (* (* 0.041666666666666664 (* x_m x_m)) y_m) (* x_m x_m) y_m)
x_m)
z_m)
(/ (/ (fma (* (* x_m x_m) y_m) 0.5 y_m) z_m) x_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (y_m <= 4.5e+51) {
tmp = (fma(((0.041666666666666664 * (x_m * x_m)) * y_m), (x_m * x_m), y_m) / x_m) / z_m;
} else {
tmp = (fma(((x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (y_m <= 4.5e+51) tmp = Float64(Float64(fma(Float64(Float64(0.041666666666666664 * Float64(x_m * x_m)) * y_m), Float64(x_m * x_m), y_m) / x_m) / z_m); else tmp = Float64(Float64(fma(Float64(Float64(x_m * x_m) * y_m), 0.5, y_m) / z_m) / x_m); end return Float64(z_s * Float64(y_s * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[y$95$m, 4.5e+51], N[(N[(N[(N[(N[(0.041666666666666664 * N[(x$95$m * x$95$m), $MachinePrecision]), $MachinePrecision] * y$95$m), $MachinePrecision] * N[(x$95$m * x$95$m), $MachinePrecision] + y$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * y$95$m), $MachinePrecision] * 0.5 + y$95$m), $MachinePrecision] / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;y\_m \leq 4.5 \cdot 10^{+51}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(0.041666666666666664 \cdot \left(x\_m \cdot x\_m\right)\right) \cdot y\_m, x\_m \cdot x\_m, y\_m\right)}{x\_m}}{z\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\mathsf{fma}\left(\left(x\_m \cdot x\_m\right) \cdot y\_m, 0.5, y\_m\right)}{z\_m}}{x\_m}\\
\end{array}\right)\right)
\end{array}
if y < 4.5e51Initial program 87.2%
Taylor expanded in x around 0
Applied rewrites76.8%
lift-*.f64N/A
lift-/.f64N/A
associate-*r/N/A
lower-/.f64N/A
lower-*.f6486.5
Applied rewrites86.5%
Taylor expanded in x around 0
Applied rewrites82.1%
Taylor expanded in x around inf
Applied rewrites81.6%
if 4.5e51 < y Initial program 92.3%
Taylor expanded in x around 0
Applied rewrites91.0%
x\_m = (fabs.f64 x)
x\_s = (copysign.f64 #s(literal 1 binary64) x)
y\_m = (fabs.f64 y)
y\_s = (copysign.f64 #s(literal 1 binary64) y)
z\_m = (fabs.f64 z)
z\_s = (copysign.f64 #s(literal 1 binary64) z)
(FPCore (z_s y_s x_s x_m y_m z_m)
:precision binary64
(*
z_s
(*
y_s
(*
x_s
(if (<= x_m 0.9)
(/ (/ y_m z_m) x_m)
(/ (/ (* (* (* x_m x_m) 0.5) y_m) x_m) z_m))))))x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = (y_m / z_m) / x_m;
} else {
tmp = ((((x_m * x_m) * 0.5) * y_m) / x_m) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = private
x\_s = private
y\_m = private
y\_s = private
z\_m = private
z\_s = private
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(z_s, y_s, x_s, x_m, y_m, z_m)
use fmin_fmax_functions
real(8), intent (in) :: z_s
real(8), intent (in) :: y_s
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y_m
real(8), intent (in) :: z_m
real(8) :: tmp
if (x_m <= 0.9d0) then
tmp = (y_m / z_m) / x_m
else
tmp = ((((x_m * x_m) * 0.5d0) * y_m) / x_m) / z_m
end if
code = z_s * (y_s * (x_s * tmp))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
y\_m = Math.abs(y);
y\_s = Math.copySign(1.0, y);
z\_m = Math.abs(z);
z\_s = Math.copySign(1.0, z);
public static double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = (y_m / z_m) / x_m;
} else {
tmp = ((((x_m * x_m) * 0.5) * y_m) / x_m) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) y\_m = math.fabs(y) y\_s = math.copysign(1.0, y) z\_m = math.fabs(z) z\_s = math.copysign(1.0, z) def code(z_s, y_s, x_s, x_m, y_m, z_m): tmp = 0 if x_m <= 0.9: tmp = (y_m / z_m) / x_m else: tmp = ((((x_m * x_m) * 0.5) * y_m) / x_m) / z_m return z_s * (y_s * (x_s * tmp))
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (x_m <= 0.9) tmp = Float64(Float64(y_m / z_m) / x_m); else tmp = Float64(Float64(Float64(Float64(Float64(x_m * x_m) * 0.5) * y_m) / x_m) / z_m); end return Float64(z_s * Float64(y_s * Float64(x_s * tmp))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); y\_m = abs(y); y\_s = sign(y) * abs(1.0); z\_m = abs(z); z\_s = sign(z) * abs(1.0); function tmp_2 = code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0; if (x_m <= 0.9) tmp = (y_m / z_m) / x_m; else tmp = ((((x_m * x_m) * 0.5) * y_m) / x_m) / z_m; end tmp_2 = z_s * (y_s * (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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[x$95$m, 0.9], N[(N[(y$95$m / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision], N[(N[(N[(N[(N[(x$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] * y$95$m), $MachinePrecision] / x$95$m), $MachinePrecision] / z$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 0.9:\\
\;\;\;\;\frac{\frac{y\_m}{z\_m}}{x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{\left(\left(x\_m \cdot x\_m\right) \cdot 0.5\right) \cdot y\_m}{x\_m}}{z\_m}\\
\end{array}\right)\right)
\end{array}
if x < 0.900000000000000022Initial program 88.4%
Taylor expanded in x around 0
Applied rewrites67.7%
if 0.900000000000000022 < x Initial program 88.6%
Taylor expanded in x around 0
Applied rewrites56.0%
Taylor expanded in x around inf
Applied rewrites56.0%
x\_m = (fabs.f64 x) x\_s = (copysign.f64 #s(literal 1 binary64) x) y\_m = (fabs.f64 y) y\_s = (copysign.f64 #s(literal 1 binary64) y) z\_m = (fabs.f64 z) z\_s = (copysign.f64 #s(literal 1 binary64) z) (FPCore (z_s y_s x_s x_m y_m z_m) :precision binary64 (* z_s (* y_s (* x_s (if (<= x_m 0.9) (/ (/ y_m z_m) x_m) (/ (* (* y_m x_m) 0.5) z_m))))))
x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = (y_m / z_m) / x_m;
} else {
tmp = ((y_m * x_m) * 0.5) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = private
x\_s = private
y\_m = private
y\_s = private
z\_m = private
z\_s = private
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(z_s, y_s, x_s, x_m, y_m, z_m)
use fmin_fmax_functions
real(8), intent (in) :: z_s
real(8), intent (in) :: y_s
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y_m
real(8), intent (in) :: z_m
real(8) :: tmp
if (x_m <= 0.9d0) then
tmp = (y_m / z_m) / x_m
else
tmp = ((y_m * x_m) * 0.5d0) / z_m
end if
code = z_s * (y_s * (x_s * tmp))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
y\_m = Math.abs(y);
y\_s = Math.copySign(1.0, y);
z\_m = Math.abs(z);
z\_s = Math.copySign(1.0, z);
public static double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = (y_m / z_m) / x_m;
} else {
tmp = ((y_m * x_m) * 0.5) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) y\_m = math.fabs(y) y\_s = math.copysign(1.0, y) z\_m = math.fabs(z) z\_s = math.copysign(1.0, z) def code(z_s, y_s, x_s, x_m, y_m, z_m): tmp = 0 if x_m <= 0.9: tmp = (y_m / z_m) / x_m else: tmp = ((y_m * x_m) * 0.5) / z_m return z_s * (y_s * (x_s * tmp))
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (x_m <= 0.9) tmp = Float64(Float64(y_m / z_m) / x_m); else tmp = Float64(Float64(Float64(y_m * x_m) * 0.5) / z_m); end return Float64(z_s * Float64(y_s * Float64(x_s * tmp))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); y\_m = abs(y); y\_s = sign(y) * abs(1.0); z\_m = abs(z); z\_s = sign(z) * abs(1.0); function tmp_2 = code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0; if (x_m <= 0.9) tmp = (y_m / z_m) / x_m; else tmp = ((y_m * x_m) * 0.5) / z_m; end tmp_2 = z_s * (y_s * (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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[x$95$m, 0.9], N[(N[(y$95$m / z$95$m), $MachinePrecision] / x$95$m), $MachinePrecision], N[(N[(N[(y$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] / z$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 0.9:\\
\;\;\;\;\frac{\frac{y\_m}{z\_m}}{x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(y\_m \cdot x\_m\right) \cdot 0.5}{z\_m}\\
\end{array}\right)\right)
\end{array}
if x < 0.900000000000000022Initial program 88.4%
Taylor expanded in x around 0
Applied rewrites67.7%
if 0.900000000000000022 < x Initial program 88.6%
Taylor expanded in x around 0
Applied rewrites56.0%
Taylor expanded in x around inf
Applied rewrites43.7%
x\_m = (fabs.f64 x) x\_s = (copysign.f64 #s(literal 1 binary64) x) y\_m = (fabs.f64 y) y\_s = (copysign.f64 #s(literal 1 binary64) y) z\_m = (fabs.f64 z) z\_s = (copysign.f64 #s(literal 1 binary64) z) (FPCore (z_s y_s x_s x_m y_m z_m) :precision binary64 (* z_s (* y_s (* x_s (if (<= x_m 0.9) (/ y_m (* z_m x_m)) (/ (* (* y_m x_m) 0.5) z_m))))))
x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = y_m / (z_m * x_m);
} else {
tmp = ((y_m * x_m) * 0.5) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = private
x\_s = private
y\_m = private
y\_s = private
z\_m = private
z\_s = private
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(z_s, y_s, x_s, x_m, y_m, z_m)
use fmin_fmax_functions
real(8), intent (in) :: z_s
real(8), intent (in) :: y_s
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y_m
real(8), intent (in) :: z_m
real(8) :: tmp
if (x_m <= 0.9d0) then
tmp = y_m / (z_m * x_m)
else
tmp = ((y_m * x_m) * 0.5d0) / z_m
end if
code = z_s * (y_s * (x_s * tmp))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
y\_m = Math.abs(y);
y\_s = Math.copySign(1.0, y);
z\_m = Math.abs(z);
z\_s = Math.copySign(1.0, z);
public static double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
double tmp;
if (x_m <= 0.9) {
tmp = y_m / (z_m * x_m);
} else {
tmp = ((y_m * x_m) * 0.5) / z_m;
}
return z_s * (y_s * (x_s * tmp));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) y\_m = math.fabs(y) y\_s = math.copysign(1.0, y) z\_m = math.fabs(z) z\_s = math.copysign(1.0, z) def code(z_s, y_s, x_s, x_m, y_m, z_m): tmp = 0 if x_m <= 0.9: tmp = y_m / (z_m * x_m) else: tmp = ((y_m * x_m) * 0.5) / z_m return z_s * (y_s * (x_s * tmp))
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0 if (x_m <= 0.9) tmp = Float64(y_m / Float64(z_m * x_m)); else tmp = Float64(Float64(Float64(y_m * x_m) * 0.5) / z_m); end return Float64(z_s * Float64(y_s * Float64(x_s * tmp))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); y\_m = abs(y); y\_s = sign(y) * abs(1.0); z\_m = abs(z); z\_s = sign(z) * abs(1.0); function tmp_2 = code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = 0.0; if (x_m <= 0.9) tmp = y_m / (z_m * x_m); else tmp = ((y_m * x_m) * 0.5) / z_m; end tmp_2 = z_s * (y_s * (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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * If[LessEqual[x$95$m, 0.9], N[(y$95$m / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision], N[(N[(N[(y$95$m * x$95$m), $MachinePrecision] * 0.5), $MachinePrecision] / z$95$m), $MachinePrecision]]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \begin{array}{l}
\mathbf{if}\;x\_m \leq 0.9:\\
\;\;\;\;\frac{y\_m}{z\_m \cdot x\_m}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(y\_m \cdot x\_m\right) \cdot 0.5}{z\_m}\\
\end{array}\right)\right)
\end{array}
if x < 0.900000000000000022Initial program 88.4%
Taylor expanded in x around 0
Applied rewrites67.7%
Applied rewrites61.8%
if 0.900000000000000022 < x Initial program 88.6%
Taylor expanded in x around 0
Applied rewrites56.0%
Taylor expanded in x around inf
Applied rewrites43.7%
x\_m = (fabs.f64 x) x\_s = (copysign.f64 #s(literal 1 binary64) x) y\_m = (fabs.f64 y) y\_s = (copysign.f64 #s(literal 1 binary64) y) z\_m = (fabs.f64 z) z\_s = (copysign.f64 #s(literal 1 binary64) z) (FPCore (z_s y_s x_s x_m y_m z_m) :precision binary64 (* z_s (* y_s (* x_s (/ y_m (* z_m x_m))))))
x\_m = fabs(x);
x\_s = copysign(1.0, x);
y\_m = fabs(y);
y\_s = copysign(1.0, y);
z\_m = fabs(z);
z\_s = copysign(1.0, z);
double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
return z_s * (y_s * (x_s * (y_m / (z_m * x_m))));
}
x\_m = private
x\_s = private
y\_m = private
y\_s = private
z\_m = private
z\_s = private
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(z_s, y_s, x_s, x_m, y_m, z_m)
use fmin_fmax_functions
real(8), intent (in) :: z_s
real(8), intent (in) :: y_s
real(8), intent (in) :: x_s
real(8), intent (in) :: x_m
real(8), intent (in) :: y_m
real(8), intent (in) :: z_m
code = z_s * (y_s * (x_s * (y_m / (z_m * x_m))))
end function
x\_m = Math.abs(x);
x\_s = Math.copySign(1.0, x);
y\_m = Math.abs(y);
y\_s = Math.copySign(1.0, y);
z\_m = Math.abs(z);
z\_s = Math.copySign(1.0, z);
public static double code(double z_s, double y_s, double x_s, double x_m, double y_m, double z_m) {
return z_s * (y_s * (x_s * (y_m / (z_m * x_m))));
}
x\_m = math.fabs(x) x\_s = math.copysign(1.0, x) y\_m = math.fabs(y) y\_s = math.copysign(1.0, y) z\_m = math.fabs(z) z\_s = math.copysign(1.0, z) def code(z_s, y_s, x_s, x_m, y_m, z_m): return z_s * (y_s * (x_s * (y_m / (z_m * x_m))))
x\_m = abs(x) x\_s = copysign(1.0, x) y\_m = abs(y) y\_s = copysign(1.0, y) z\_m = abs(z) z\_s = copysign(1.0, z) function code(z_s, y_s, x_s, x_m, y_m, z_m) return Float64(z_s * Float64(y_s * Float64(x_s * Float64(y_m / Float64(z_m * x_m))))) end
x\_m = abs(x); x\_s = sign(x) * abs(1.0); y\_m = abs(y); y\_s = sign(y) * abs(1.0); z\_m = abs(z); z\_s = sign(z) * abs(1.0); function tmp = code(z_s, y_s, x_s, x_m, y_m, z_m) tmp = z_s * (y_s * (x_s * (y_m / (z_m * 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]
y\_m = N[Abs[y], $MachinePrecision]
y\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[y]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
z\_m = N[Abs[z], $MachinePrecision]
z\_s = N[With[{TMP1 = Abs[1.0], TMP2 = Sign[z]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
code[z$95$s_, y$95$s_, x$95$s_, x$95$m_, y$95$m_, z$95$m_] := N[(z$95$s * N[(y$95$s * N[(x$95$s * N[(y$95$m / N[(z$95$m * x$95$m), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
x\_m = \left|x\right|
\\
x\_s = \mathsf{copysign}\left(1, x\right)
\\
y\_m = \left|y\right|
\\
y\_s = \mathsf{copysign}\left(1, y\right)
\\
z\_m = \left|z\right|
\\
z\_s = \mathsf{copysign}\left(1, z\right)
\\
z\_s \cdot \left(y\_s \cdot \left(x\_s \cdot \frac{y\_m}{z\_m \cdot x\_m}\right)\right)
\end{array}
Initial program 88.4%
Taylor expanded in x around 0
Applied rewrites54.1%
Applied rewrites47.3%
(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;
}
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(x, y, z)
use fmin_fmax_functions
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 2025026
(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))