
(FPCore (x y) :precision binary64 (/ (* (sin x) (sinh y)) x))
double code(double x, double y) {
return (sin(x) * sinh(y)) / x;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (sin(x) * sinh(y)) / x
end function
public static double code(double x, double y) {
return (Math.sin(x) * Math.sinh(y)) / x;
}
def code(x, y): return (math.sin(x) * math.sinh(y)) / x
function code(x, y) return Float64(Float64(sin(x) * sinh(y)) / x) end
function tmp = code(x, y) tmp = (sin(x) * sinh(y)) / x; end
code[x_, y_] := N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sin x \cdot \sinh y}{x}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 22 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (/ (* (sin x) (sinh y)) x))
double code(double x, double y) {
return (sin(x) * sinh(y)) / x;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (sin(x) * sinh(y)) / x
end function
public static double code(double x, double y) {
return (Math.sin(x) * Math.sinh(y)) / x;
}
def code(x, y): return (math.sin(x) * math.sinh(y)) / x
function code(x, y) return Float64(Float64(sin(x) * sinh(y)) / x) end
function tmp = code(x, y) tmp = (sin(x) * sinh(y)) / x; end
code[x_, y_] := N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sin x \cdot \sinh y}{x}
\end{array}
(FPCore (x y) :precision binary64 (* (/ (sin x) x) (sinh y)))
double code(double x, double y) {
return (sin(x) / x) * sinh(y);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (sin(x) / x) * sinh(y)
end function
public static double code(double x, double y) {
return (Math.sin(x) / x) * Math.sinh(y);
}
def code(x, y): return (math.sin(x) / x) * math.sinh(y)
function code(x, y) return Float64(Float64(sin(x) / x) * sinh(y)) end
function tmp = code(x, y) tmp = (sin(x) / x) * sinh(y); end
code[x_, y_] := N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sin x}{x} \cdot \sinh y
\end{array}
Initial program 91.0%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
sinh-lowering-sinh.f6499.9
Applied egg-rr99.9%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 (- INFINITY))
(/ (* (sinh y) (* x (fma x (* x -0.16666666666666666) 1.0))) x)
(if (<= t_0 1e-114)
(*
(* (sin x) (/ y x))
(fma
(* y y)
(fma y (* y 0.008333333333333333) 0.16666666666666666)
1.0))
(sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -((double) INFINITY)) {
tmp = (sinh(y) * (x * fma(x, (x * -0.16666666666666666), 1.0))) / x;
} else if (t_0 <= 1e-114) {
tmp = (sin(x) * (y / x)) * fma((y * y), fma(y, (y * 0.008333333333333333), 0.16666666666666666), 1.0);
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= Float64(-Inf)) tmp = Float64(Float64(sinh(y) * Float64(x * fma(x, Float64(x * -0.16666666666666666), 1.0))) / x); elseif (t_0 <= 1e-114) tmp = Float64(Float64(sin(x) * Float64(y / x)) * fma(Float64(y * y), fma(y, Float64(y * 0.008333333333333333), 0.16666666666666666), 1.0)); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, (-Infinity)], N[(N[(N[Sinh[y], $MachinePrecision] * N[(x * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(N[(N[Sin[x], $MachinePrecision] * N[(y / x), $MachinePrecision]), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(y * N[(y * 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -\infty:\\
\;\;\;\;\frac{\sinh y \cdot \left(x \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\right)}{x}\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;\left(\sin x \cdot \frac{y}{x}\right) \cdot \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y, y \cdot 0.008333333333333333, 0.16666666666666666\right), 1\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -inf.0Initial program 100.0%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6471.7
Simplified71.7%
if -inf.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 81.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6479.0
Simplified79.0%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6496.0
Applied egg-rr96.0%
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f64N/A
div-invN/A
clear-numN/A
*-lowering-*.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6497.5
Applied egg-rr97.5%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
Final simplification84.3%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 (- INFINITY))
(/ (* (sinh y) (* x (fma x (* x -0.16666666666666666) 1.0))) x)
(if (<= t_0 1e-114)
(* (fma 0.16666666666666666 (* y y) 1.0) (* (/ (sin x) x) y))
(sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -((double) INFINITY)) {
tmp = (sinh(y) * (x * fma(x, (x * -0.16666666666666666), 1.0))) / x;
} else if (t_0 <= 1e-114) {
tmp = fma(0.16666666666666666, (y * y), 1.0) * ((sin(x) / x) * y);
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= Float64(-Inf)) tmp = Float64(Float64(sinh(y) * Float64(x * fma(x, Float64(x * -0.16666666666666666), 1.0))) / x); elseif (t_0 <= 1e-114) tmp = Float64(fma(0.16666666666666666, Float64(y * y), 1.0) * Float64(Float64(sin(x) / x) * y)); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, (-Infinity)], N[(N[(N[Sinh[y], $MachinePrecision] * N[(x * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(N[(0.16666666666666666 * N[(y * y), $MachinePrecision] + 1.0), $MachinePrecision] * N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -\infty:\\
\;\;\;\;\frac{\sinh y \cdot \left(x \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\right)}{x}\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;\mathsf{fma}\left(0.16666666666666666, y \cdot y, 1\right) \cdot \left(\frac{\sin x}{x} \cdot y\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -inf.0Initial program 100.0%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6471.7
Simplified71.7%
if -inf.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 81.3%
Taylor expanded in y around 0
distribute-lft-inN/A
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
distribute-lft-inN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
Simplified97.0%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f6497.0
Applied egg-rr97.0%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
Final simplification84.1%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 (- INFINITY))
(*
(fma x (* x -0.16666666666666666) 1.0)
(*
y
(fma
y
(* y (fma (* y y) 0.008333333333333333 0.16666666666666666))
1.0)))
(if (<= t_0 1e-114)
(* (fma 0.16666666666666666 (* y y) 1.0) (* (/ (sin x) x) y))
(sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -((double) INFINITY)) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * fma((y * y), 0.008333333333333333, 0.16666666666666666)), 1.0));
} else if (t_0 <= 1e-114) {
tmp = fma(0.16666666666666666, (y * y), 1.0) * ((sin(x) / x) * y);
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= Float64(-Inf)) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666)), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(fma(0.16666666666666666, Float64(y * y), 1.0) * Float64(Float64(sin(x) / x) * y)); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, (-Infinity)], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(N[(0.16666666666666666 * N[(y * y), $MachinePrecision] + 1.0), $MachinePrecision] * N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -\infty:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right), 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;\mathsf{fma}\left(0.16666666666666666, y \cdot y, 1\right) \cdot \left(\frac{\sin x}{x} \cdot y\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -inf.0Initial program 100.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6485.7
Simplified85.7%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified65.3%
if -inf.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 81.3%
Taylor expanded in y around 0
distribute-lft-inN/A
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
distribute-lft-inN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
Simplified97.0%
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f6497.0
Applied egg-rr97.0%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 (- INFINITY))
(*
(fma x (* x -0.16666666666666666) 1.0)
(*
y
(fma
y
(* y (fma (* y y) 0.008333333333333333 0.16666666666666666))
1.0)))
(if (<= t_0 1e-114)
(* y (* (/ (sin x) x) (fma y (* y 0.16666666666666666) 1.0)))
(sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -((double) INFINITY)) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * fma((y * y), 0.008333333333333333, 0.16666666666666666)), 1.0));
} else if (t_0 <= 1e-114) {
tmp = y * ((sin(x) / x) * fma(y, (y * 0.16666666666666666), 1.0));
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= Float64(-Inf)) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666)), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(Float64(sin(x) / x) * fma(y, Float64(y * 0.16666666666666666), 1.0))); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, (-Infinity)], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[(y * N[(y * 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -\infty:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right), 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \left(\frac{\sin x}{x} \cdot \mathsf{fma}\left(y, y \cdot 0.16666666666666666, 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -inf.0Initial program 100.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6485.7
Simplified85.7%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified65.3%
if -inf.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 81.3%
Taylor expanded in y around 0
distribute-lft-inN/A
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
distribute-lft-inN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
Simplified97.0%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
Final simplification82.6%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 (- INFINITY))
(*
(fma x (* x -0.16666666666666666) 1.0)
(*
y
(fma
y
(* y (fma (* y y) 0.008333333333333333 0.16666666666666666))
1.0)))
(if (<= t_0 1e-114) (* (/ (sin x) x) y) (sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -((double) INFINITY)) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * fma((y * y), 0.008333333333333333, 0.16666666666666666)), 1.0));
} else if (t_0 <= 1e-114) {
tmp = (sin(x) / x) * y;
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= Float64(-Inf)) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666)), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(Float64(sin(x) / x) * y); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, (-Infinity)], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * y), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -\infty:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right), 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;\frac{\sin x}{x} \cdot y\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -inf.0Initial program 100.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6485.7
Simplified85.7%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified65.3%
if -inf.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 81.3%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
sinh-lowering-sinh.f6499.9
Applied egg-rr99.9%
Taylor expanded in y around 0
Simplified96.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(*
(fma x (* x -0.16666666666666666) 1.0)
(*
y
(fma
y
(* y (fma (* y y) 0.008333333333333333 0.16666666666666666))
1.0)))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(sinh y)))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * fma((y * y), 0.008333333333333333, 0.16666666666666666)), 1.0));
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666)), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = sinh(y); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right), 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6485.5
Simplified85.5%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified68.3%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
Final simplification71.0%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(*
(fma x (* x -0.16666666666666666) 1.0)
(*
y
(fma
y
(* y (fma (* y y) 0.008333333333333333 0.16666666666666666))
1.0)))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(*
y
(fma
(* y y)
(fma
(* y y)
(fma (* y y) 0.0001984126984126984 0.008333333333333333)
0.16666666666666666)
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * fma((y * y), 0.008333333333333333, 0.16666666666666666)), 1.0));
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = y * fma((y * y), fma((y * y), fma((y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666)), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = Float64(y * fma(Float64(y * y), fma(Float64(y * y), fma(Float64(y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984 + 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right), 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, 0.0001984126984126984, 0.008333333333333333\right), 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6485.5
Simplified85.5%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified68.3%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6465.9
Simplified65.9%
Final simplification68.8%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(*
(fma x (* x -0.16666666666666666) 1.0)
(* y (fma y (* y 0.16666666666666666) 1.0)))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(*
y
(fma
(* y y)
(fma
(* y y)
(fma (* y y) 0.0001984126984126984 0.008333333333333333)
0.16666666666666666)
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * 0.16666666666666666), 1.0));
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = y * fma((y * y), fma((y * y), fma((y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * 0.16666666666666666), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = Float64(y * fma(Float64(y * y), fma(Float64(y * y), fma(Float64(y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984 + 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot 0.16666666666666666, 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, 0.0001984126984126984, 0.008333333333333333\right), 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in y around 0
distribute-lft-inN/A
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
distribute-lft-inN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
Simplified71.5%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6463.3
Simplified63.3%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6465.9
Simplified65.9%
Final simplification67.3%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(*
(fma x (* x -0.16666666666666666) 1.0)
(* y (fma y (* y 0.16666666666666666) 1.0)))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(*
y
(fma
y
(* y (fma y (* y 0.008333333333333333) 0.16666666666666666))
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * 0.16666666666666666), 1.0));
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = y * fma(y, (y * fma(y, (y * 0.008333333333333333), 0.16666666666666666)), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * 0.16666666666666666), 1.0))); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = Float64(y * fma(y, Float64(y * fma(y, Float64(y * 0.008333333333333333), 0.16666666666666666)), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * N[(y * N[(y * 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot 0.16666666666666666, 1\right)\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y, y \cdot 0.008333333333333333, 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in y around 0
distribute-lft-inN/A
associate-/l*N/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
distribute-lft-inN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
Simplified71.5%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6463.3
Simplified63.3%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6487.8
Simplified87.8%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6493.6
Applied egg-rr93.6%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6465.7
Simplified65.7%
Final simplification67.2%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(* (- 0.0 y) (fma (* x x) (* (* x x) 0.027777777777777776) -1.0))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(*
y
(fma
y
(* y (fma y (* y 0.008333333333333333) 0.16666666666666666))
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = (0.0 - y) * fma((x * x), ((x * x) * 0.027777777777777776), -1.0);
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = y * fma(y, (y * fma(y, (y * 0.008333333333333333), 0.16666666666666666)), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(Float64(0.0 - y) * fma(Float64(x * x), Float64(Float64(x * x) * 0.027777777777777776), -1.0)); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = Float64(y * fma(y, Float64(y * fma(y, Float64(y * 0.008333333333333333), 0.16666666666666666)), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(N[(0.0 - y), $MachinePrecision] * N[(N[(x * x), $MachinePrecision] * N[(N[(x * x), $MachinePrecision] * 0.027777777777777776), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * N[(y * N[(y * 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;\left(0 - y\right) \cdot \mathsf{fma}\left(x \cdot x, \left(x \cdot x\right) \cdot 0.027777777777777776, -1\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y, y \cdot 0.008333333333333333, 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6473.7
Simplified73.7%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6438.9
Simplified38.9%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr30.8%
Taylor expanded in x around 0
Simplified41.0%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6487.8
Simplified87.8%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6493.6
Applied egg-rr93.6%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6465.7
Simplified65.7%
Final simplification60.4%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-82)
(* y (fma x (* x -0.16666666666666666) 1.0))
(if (<= t_0 1e-114)
(* y (/ -1.0 (fma x (* x -0.16666666666666666) -1.0)))
(*
y
(fma
y
(* y (fma y (* y 0.008333333333333333) 0.16666666666666666))
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-82) {
tmp = y * fma(x, (x * -0.16666666666666666), 1.0);
} else if (t_0 <= 1e-114) {
tmp = y * (-1.0 / fma(x, (x * -0.16666666666666666), -1.0));
} else {
tmp = y * fma(y, (y * fma(y, (y * 0.008333333333333333), 0.16666666666666666)), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-82) tmp = Float64(y * fma(x, Float64(x * -0.16666666666666666), 1.0)); elseif (t_0 <= 1e-114) tmp = Float64(y * Float64(-1.0 / fma(x, Float64(x * -0.16666666666666666), -1.0))); else tmp = Float64(y * fma(y, Float64(y * fma(y, Float64(y * 0.008333333333333333), 0.16666666666666666)), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-82], N[(y * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 1e-114], N[(y * N[(-1.0 / N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * N[(y * N[(y * 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-82}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-114}:\\
\;\;\;\;y \cdot \frac{-1}{\mathsf{fma}\left(x, x \cdot -0.16666666666666666, -1\right)}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y, y \cdot 0.008333333333333333, 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2e-82Initial program 99.0%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6473.7
Simplified73.7%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6438.7
Simplified38.7%
if -2e-82 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 78.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6414.4
Simplified14.4%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6414.5
Simplified14.5%
associate-/l*N/A
flip-+N/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
associate-*l/N/A
div-invN/A
*-lowering-*.f64N/A
Applied egg-rr34.8%
Taylor expanded in x around 0
mul-1-negN/A
neg-sub0N/A
--lowering--.f6471.3
Simplified71.3%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6487.8
Simplified87.8%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6493.6
Applied egg-rr93.6%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6465.7
Simplified65.7%
Final simplification59.7%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-202)
(* y (fma x (* x -0.16666666666666666) 1.0))
(if (<= t_0 0.0)
(* x (/ y x))
(*
y
(fma
y
(* y (fma y (* y 0.008333333333333333) 0.16666666666666666))
1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-202) {
tmp = y * fma(x, (x * -0.16666666666666666), 1.0);
} else if (t_0 <= 0.0) {
tmp = x * (y / x);
} else {
tmp = y * fma(y, (y * fma(y, (y * 0.008333333333333333), 0.16666666666666666)), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-202) tmp = Float64(y * fma(x, Float64(x * -0.16666666666666666), 1.0)); elseif (t_0 <= 0.0) tmp = Float64(x * Float64(y / x)); else tmp = Float64(y * fma(y, Float64(y * fma(y, Float64(y * 0.008333333333333333), 0.16666666666666666)), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-202], N[(y * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 0.0], N[(x * N[(y / x), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * N[(y * N[(y * 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision]), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-202}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\\
\mathbf{elif}\;t\_0 \leq 0:\\
\;\;\;\;x \cdot \frac{y}{x}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y, y \cdot 0.008333333333333333, 0.16666666666666666\right), 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6472.3
Simplified72.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6442.6
Simplified42.6%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 0.0Initial program 69.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f646.1
Simplified6.1%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f646.2
Simplified6.2%
associate-*r*N/A
*-rgt-identityN/A
times-fracN/A
/-rgt-identityN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6436.2
Applied egg-rr36.2%
Taylor expanded in x around 0
/-lowering-/.f6481.3
Simplified81.3%
if 0.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.4%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6489.2
Simplified89.2%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6492.4
Applied egg-rr92.4%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6455.7
Simplified55.7%
Final simplification58.2%
(FPCore (x y)
:precision binary64
(let* ((t_0 (/ (* (sin x) (sinh y)) x)))
(if (<= t_0 -2e-202)
(* y (fma x (* x -0.16666666666666666) 1.0))
(if (<= t_0 0.0)
(* x (/ y x))
(* y (fma y (* y 0.16666666666666666) 1.0))))))
double code(double x, double y) {
double t_0 = (sin(x) * sinh(y)) / x;
double tmp;
if (t_0 <= -2e-202) {
tmp = y * fma(x, (x * -0.16666666666666666), 1.0);
} else if (t_0 <= 0.0) {
tmp = x * (y / x);
} else {
tmp = y * fma(y, (y * 0.16666666666666666), 1.0);
}
return tmp;
}
function code(x, y) t_0 = Float64(Float64(sin(x) * sinh(y)) / x) tmp = 0.0 if (t_0 <= -2e-202) tmp = Float64(y * fma(x, Float64(x * -0.16666666666666666), 1.0)); elseif (t_0 <= 0.0) tmp = Float64(x * Float64(y / x)); else tmp = Float64(y * fma(y, Float64(y * 0.16666666666666666), 1.0)); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision]}, If[LessEqual[t$95$0, -2e-202], N[(y * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[t$95$0, 0.0], N[(x * N[(y / x), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{\sin x \cdot \sinh y}{x}\\
\mathbf{if}\;t\_0 \leq -2 \cdot 10^{-202}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\\
\mathbf{elif}\;t\_0 \leq 0:\\
\;\;\;\;x \cdot \frac{y}{x}\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot 0.16666666666666666, 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6472.3
Simplified72.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6442.6
Simplified42.6%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 0.0Initial program 69.8%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f646.1
Simplified6.1%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f646.2
Simplified6.2%
associate-*r*N/A
*-rgt-identityN/A
times-fracN/A
/-rgt-identityN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6436.2
Applied egg-rr36.2%
Taylor expanded in x around 0
/-lowering-/.f6481.3
Simplified81.3%
if 0.0 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.4%
Taylor expanded in x around 0
Simplified61.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6450.5
Simplified50.5%
Final simplification56.4%
(FPCore (x y)
:precision binary64
(if (<= (/ (* (sin x) (sinh y)) x) 1e-114)
(*
(/ (sin x) x)
(fma
(fma
y
(* y (fma (* y y) 0.0001984126984126984 0.008333333333333333))
0.16666666666666666)
(* y (* y y))
y))
(sinh y)))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= 1e-114) {
tmp = (sin(x) / x) * fma(fma(y, (y * fma((y * y), 0.0001984126984126984, 0.008333333333333333)), 0.16666666666666666), (y * (y * y)), y);
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= 1e-114) tmp = Float64(Float64(sin(x) / x) * fma(fma(y, Float64(y * fma(Float64(y * y), 0.0001984126984126984, 0.008333333333333333)), 0.16666666666666666), Float64(y * Float64(y * y)), y)); else tmp = sinh(y); end return tmp end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], 1e-114], N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[(N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984 + 0.008333333333333333), $MachinePrecision]), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] * N[(y * N[(y * y), $MachinePrecision]), $MachinePrecision] + y), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq 10^{-114}:\\
\;\;\;\;\frac{\sin x}{x} \cdot \mathsf{fma}\left(\mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.0001984126984126984, 0.008333333333333333\right), 0.16666666666666666\right), y \cdot \left(y \cdot y\right), y\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 87.5%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
sinh-lowering-sinh.f6499.9
Applied egg-rr99.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6495.9
Simplified95.9%
distribute-rgt-inN/A
*-commutativeN/A
associate-*l*N/A
pow3N/A
*-lft-identityN/A
accelerator-lowering-fma.f64N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
cube-unmultN/A
*-lowering-*.f64N/A
*-lowering-*.f6495.9
Applied egg-rr95.9%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
(FPCore (x y)
:precision binary64
(if (<= (/ (* (sin x) (sinh y)) x) 1e-114)
(*
(/ (sin x) x)
(*
y
(fma
(* y y)
(fma
(* y y)
(fma (* y y) 0.0001984126984126984 0.008333333333333333)
0.16666666666666666)
1.0)))
(sinh y)))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= 1e-114) {
tmp = (sin(x) / x) * (y * fma((y * y), fma((y * y), fma((y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0));
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= 1e-114) tmp = Float64(Float64(sin(x) / x) * Float64(y * fma(Float64(y * y), fma(Float64(y * y), fma(Float64(y * y), 0.0001984126984126984, 0.008333333333333333), 0.16666666666666666), 1.0))); else tmp = sinh(y); end return tmp end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], 1e-114], N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[(y * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984 + 0.008333333333333333), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq 10^{-114}:\\
\;\;\;\;\frac{\sin x}{x} \cdot \left(y \cdot \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y \cdot y, 0.0001984126984126984, 0.008333333333333333\right), 0.16666666666666666\right), 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 87.5%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
sinh-lowering-sinh.f6499.9
Applied egg-rr99.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6495.9
Simplified95.9%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
(FPCore (x y)
:precision binary64
(if (<= (/ (* (sin x) (sinh y)) x) 1e-114)
(*
y
(*
(/ (sin x) x)
(fma
(* y y)
(fma
y
(* y (fma (* y y) 0.0001984126984126984 0.008333333333333333))
0.16666666666666666)
1.0)))
(sinh y)))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= 1e-114) {
tmp = y * ((sin(x) / x) * fma((y * y), fma(y, (y * fma((y * y), 0.0001984126984126984, 0.008333333333333333)), 0.16666666666666666), 1.0));
} else {
tmp = sinh(y);
}
return tmp;
}
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= 1e-114) tmp = Float64(y * Float64(Float64(sin(x) / x) * fma(Float64(y * y), fma(y, Float64(y * fma(Float64(y * y), 0.0001984126984126984, 0.008333333333333333)), 0.16666666666666666), 1.0))); else tmp = sinh(y); end return tmp end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], 1e-114], N[(y * N[(N[(N[Sin[x], $MachinePrecision] / x), $MachinePrecision] * N[(N[(y * y), $MachinePrecision] * N[(y * N[(y * N[(N[(y * y), $MachinePrecision] * 0.0001984126984126984 + 0.008333333333333333), $MachinePrecision]), $MachinePrecision] + 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[Sinh[y], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq 10^{-114}:\\
\;\;\;\;y \cdot \left(\frac{\sin x}{x} \cdot \mathsf{fma}\left(y \cdot y, \mathsf{fma}\left(y, y \cdot \mathsf{fma}\left(y \cdot y, 0.0001984126984126984, 0.008333333333333333\right), 0.16666666666666666\right), 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\sinh y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < 1.0000000000000001e-114Initial program 87.5%
associate-*l/N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
sinh-lowering-sinh.f6499.9
Applied egg-rr99.9%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6495.9
Simplified95.9%
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f64N/A
Applied egg-rr95.9%
if 1.0000000000000001e-114 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 99.3%
Taylor expanded in x around 0
Simplified72.6%
*-commutativeN/A
associate-/l*N/A
*-inversesN/A
*-rgt-identityN/A
sinh-lowering-sinh.f6473.4
Applied egg-rr73.4%
Final simplification89.3%
(FPCore (x y)
:precision binary64
(let* ((t_0 (fma (* y y) 0.008333333333333333 0.16666666666666666)))
(if (<= (/ (* (sin x) (sinh y)) x) -2e-202)
(* (fma x (* x -0.16666666666666666) 1.0) (* y (fma y (* y t_0) 1.0)))
(/ x (/ x (* y (fma (* y y) t_0 1.0)))))))
double code(double x, double y) {
double t_0 = fma((y * y), 0.008333333333333333, 0.16666666666666666);
double tmp;
if (((sin(x) * sinh(y)) / x) <= -2e-202) {
tmp = fma(x, (x * -0.16666666666666666), 1.0) * (y * fma(y, (y * t_0), 1.0));
} else {
tmp = x / (x / (y * fma((y * y), t_0, 1.0)));
}
return tmp;
}
function code(x, y) t_0 = fma(Float64(y * y), 0.008333333333333333, 0.16666666666666666) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= -2e-202) tmp = Float64(fma(x, Float64(x * -0.16666666666666666), 1.0) * Float64(y * fma(y, Float64(y * t_0), 1.0))); else tmp = Float64(x / Float64(x / Float64(y * fma(Float64(y * y), t_0, 1.0)))); end return tmp end
code[x_, y_] := Block[{t$95$0 = N[(N[(y * y), $MachinePrecision] * 0.008333333333333333 + 0.16666666666666666), $MachinePrecision]}, If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], -2e-202], N[(N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision] * N[(y * N[(y * N[(y * t$95$0), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(x / N[(y * N[(N[(y * y), $MachinePrecision] * t$95$0 + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(y \cdot y, 0.008333333333333333, 0.16666666666666666\right)\\
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq -2 \cdot 10^{-202}:\\
\;\;\;\;\mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right) \cdot \left(y \cdot \mathsf{fma}\left(y, y \cdot t\_0, 1\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{\frac{x}{y \cdot \mathsf{fma}\left(y \cdot y, t\_0, 1\right)}}\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6487.6
Simplified87.6%
Taylor expanded in x around 0
associate-*r*N/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
+-commutativeN/A
Simplified67.8%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 86.4%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
unpow2N/A
*-lowering-*.f6480.7
Simplified80.7%
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
sin-lowering-sin.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f64N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6495.4
Applied egg-rr95.4%
Taylor expanded in x around 0
Simplified71.1%
(FPCore (x y) :precision binary64 (if (<= (/ (* (sin x) (sinh y)) x) -2e-202) (* y (fma x (* x -0.16666666666666666) 1.0)) (* y (fma y (* y 0.16666666666666666) 1.0))))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= -2e-202) {
tmp = y * fma(x, (x * -0.16666666666666666), 1.0);
} else {
tmp = y * fma(y, (y * 0.16666666666666666), 1.0);
}
return tmp;
}
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= -2e-202) tmp = Float64(y * fma(x, Float64(x * -0.16666666666666666), 1.0)); else tmp = Float64(y * fma(y, Float64(y * 0.16666666666666666), 1.0)); end return tmp end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], -2e-202], N[(y * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], N[(y * N[(y * N[(y * 0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq -2 \cdot 10^{-202}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\\
\mathbf{else}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(y, y \cdot 0.16666666666666666, 1\right)\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6472.3
Simplified72.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6442.6
Simplified42.6%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 86.4%
Taylor expanded in x around 0
Simplified38.2%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6445.4
Simplified45.4%
(FPCore (x y) :precision binary64 (if (<= (/ (* (sin x) (sinh y)) x) -2e-202) (* y (fma x (* x -0.16666666666666666) 1.0)) y))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= -2e-202) {
tmp = y * fma(x, (x * -0.16666666666666666), 1.0);
} else {
tmp = y;
}
return tmp;
}
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= -2e-202) tmp = Float64(y * fma(x, Float64(x * -0.16666666666666666), 1.0)); else tmp = y; end return tmp end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], -2e-202], N[(y * N[(x * N[(x * -0.16666666666666666), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision], y]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq -2 \cdot 10^{-202}:\\
\;\;\;\;y \cdot \mathsf{fma}\left(x, x \cdot -0.16666666666666666, 1\right)\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6472.3
Simplified72.3%
Taylor expanded in y around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f6442.6
Simplified42.6%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 86.4%
Taylor expanded in x around 0
Simplified38.2%
Taylor expanded in y around 0
Simplified24.6%
(FPCore (x y) :precision binary64 (if (<= (/ (* (sin x) (sinh y)) x) -2e-202) (* y (* -0.16666666666666666 (* x x))) y))
double code(double x, double y) {
double tmp;
if (((sin(x) * sinh(y)) / x) <= -2e-202) {
tmp = y * (-0.16666666666666666 * (x * x));
} else {
tmp = y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (((sin(x) * sinh(y)) / x) <= (-2d-202)) then
tmp = y * ((-0.16666666666666666d0) * (x * x))
else
tmp = y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (((Math.sin(x) * Math.sinh(y)) / x) <= -2e-202) {
tmp = y * (-0.16666666666666666 * (x * x));
} else {
tmp = y;
}
return tmp;
}
def code(x, y): tmp = 0 if ((math.sin(x) * math.sinh(y)) / x) <= -2e-202: tmp = y * (-0.16666666666666666 * (x * x)) else: tmp = y return tmp
function code(x, y) tmp = 0.0 if (Float64(Float64(sin(x) * sinh(y)) / x) <= -2e-202) tmp = Float64(y * Float64(-0.16666666666666666 * Float64(x * x))); else tmp = y; end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (((sin(x) * sinh(y)) / x) <= -2e-202) tmp = y * (-0.16666666666666666 * (x * x)); else tmp = y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[N[(N[(N[Sin[x], $MachinePrecision] * N[Sinh[y], $MachinePrecision]), $MachinePrecision] / x), $MachinePrecision], -2e-202], N[(y * N[(-0.16666666666666666 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], y]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{\sin x \cdot \sinh y}{x} \leq -2 \cdot 10^{-202}:\\
\;\;\;\;y \cdot \left(-0.16666666666666666 \cdot \left(x \cdot x\right)\right)\\
\mathbf{else}:\\
\;\;\;\;y\\
\end{array}
\end{array}
if (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) < -2.0000000000000001e-202Initial program 99.1%
Taylor expanded in x around 0
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
accelerator-lowering-fma.f64N/A
*-lowering-*.f6472.3
Simplified72.3%
Taylor expanded in y around 0
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-commutativeN/A
*-lowering-*.f6442.8
Simplified42.8%
Taylor expanded in x around inf
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6418.1
Simplified18.1%
if -2.0000000000000001e-202 < (/.f64 (*.f64 (sin.f64 x) (sinh.f64 y)) x) Initial program 86.4%
Taylor expanded in x around 0
Simplified38.2%
Taylor expanded in y around 0
Simplified24.6%
(FPCore (x y) :precision binary64 y)
double code(double x, double y) {
return y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = y
end function
public static double code(double x, double y) {
return y;
}
def code(x, y): return y
function code(x, y) return y end
function tmp = code(x, y) tmp = y; end
code[x_, y_] := y
\begin{array}{l}
\\
y
\end{array}
Initial program 91.0%
Taylor expanded in x around 0
Simplified49.7%
Taylor expanded in y around 0
Simplified25.6%
(FPCore (x y) :precision binary64 (* (sin x) (/ (sinh y) x)))
double code(double x, double y) {
return sin(x) * (sinh(y) / x);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = sin(x) * (sinh(y) / x)
end function
public static double code(double x, double y) {
return Math.sin(x) * (Math.sinh(y) / x);
}
def code(x, y): return math.sin(x) * (math.sinh(y) / x)
function code(x, y) return Float64(sin(x) * Float64(sinh(y) / x)) end
function tmp = code(x, y) tmp = sin(x) * (sinh(y) / x); end
code[x_, y_] := N[(N[Sin[x], $MachinePrecision] * N[(N[Sinh[y], $MachinePrecision] / x), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\sin x \cdot \frac{\sinh y}{x}
\end{array}
herbie shell --seed 2024195
(FPCore (x y)
:name "Linear.Quaternion:$ccosh from linear-1.19.1.3"
:precision binary64
:alt
(! :herbie-platform default (* (sin x) (/ (sinh y) x)))
(/ (* (sin x) (sinh y)) x))