
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (/ (* (* (/ 8.0 3.0) t_0) t_0) (sin x))))
double code(double x) {
double t_0 = sin((x * 0.5));
return (((8.0 / 3.0) * t_0) * t_0) / sin(x);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = (((8.0d0 / 3.0d0) * t_0) * t_0) / sin(x)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return (((8.0 / 3.0) * t_0) * t_0) / Math.sin(x);
}
def code(x): t_0 = math.sin((x * 0.5)) return (((8.0 / 3.0) * t_0) * t_0) / math.sin(x)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(Float64(Float64(Float64(8.0 / 3.0) * t_0) * t_0) / sin(x)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = (((8.0 / 3.0) * t_0) * t_0) / sin(x); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(N[(N[(N[(8.0 / 3.0), $MachinePrecision] * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{\left(\frac{8}{3} \cdot t_0\right) \cdot t_0}{\sin x}
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (/ (* (* (/ 8.0 3.0) t_0) t_0) (sin x))))
double code(double x) {
double t_0 = sin((x * 0.5));
return (((8.0 / 3.0) * t_0) * t_0) / sin(x);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = (((8.0d0 / 3.0d0) * t_0) * t_0) / sin(x)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return (((8.0 / 3.0) * t_0) * t_0) / Math.sin(x);
}
def code(x): t_0 = math.sin((x * 0.5)) return (((8.0 / 3.0) * t_0) * t_0) / math.sin(x)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(Float64(Float64(Float64(8.0 / 3.0) * t_0) * t_0) / sin(x)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = (((8.0 / 3.0) * t_0) * t_0) / sin(x); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(N[(N[(N[(8.0 / 3.0), $MachinePrecision] * t$95$0), $MachinePrecision] * t$95$0), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{\left(\frac{8}{3} \cdot t_0\right) \cdot t_0}{\sin x}
\end{array}
\end{array}
(FPCore (x)
:precision binary64
(let* ((t_0 (sin (* x 0.5))))
(if (or (<= x -5e-5) (not (<= x 0.0005)))
(/ (/ (pow t_0 2.0) (sin x)) 0.375)
(/ t_0 (+ 0.75 (* -0.09375 (* x x)))))))
double code(double x) {
double t_0 = sin((x * 0.5));
double tmp;
if ((x <= -5e-5) || !(x <= 0.0005)) {
tmp = (pow(t_0, 2.0) / sin(x)) / 0.375;
} else {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: tmp
t_0 = sin((x * 0.5d0))
if ((x <= (-5d-5)) .or. (.not. (x <= 0.0005d0))) then
tmp = ((t_0 ** 2.0d0) / sin(x)) / 0.375d0
else
tmp = t_0 / (0.75d0 + ((-0.09375d0) * (x * x)))
end if
code = tmp
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
double tmp;
if ((x <= -5e-5) || !(x <= 0.0005)) {
tmp = (Math.pow(t_0, 2.0) / Math.sin(x)) / 0.375;
} else {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
def code(x): t_0 = math.sin((x * 0.5)) tmp = 0 if (x <= -5e-5) or not (x <= 0.0005): tmp = (math.pow(t_0, 2.0) / math.sin(x)) / 0.375 else: tmp = t_0 / (0.75 + (-0.09375 * (x * x))) return tmp
function code(x) t_0 = sin(Float64(x * 0.5)) tmp = 0.0 if ((x <= -5e-5) || !(x <= 0.0005)) tmp = Float64(Float64((t_0 ^ 2.0) / sin(x)) / 0.375); else tmp = Float64(t_0 / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); end return tmp end
function tmp_2 = code(x) t_0 = sin((x * 0.5)); tmp = 0.0; if ((x <= -5e-5) || ~((x <= 0.0005))) tmp = ((t_0 ^ 2.0) / sin(x)) / 0.375; else tmp = t_0 / (0.75 + (-0.09375 * (x * x))); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, If[Or[LessEqual[x, -5e-5], N[Not[LessEqual[x, 0.0005]], $MachinePrecision]], N[(N[(N[Power[t$95$0, 2.0], $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision] / 0.375), $MachinePrecision], N[(t$95$0 / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\mathbf{if}\;x \leq -5 \cdot 10^{-5} \lor \neg \left(x \leq 0.0005\right):\\
\;\;\;\;\frac{\frac{{t_0}^{2}}{\sin x}}{0.375}\\
\mathbf{else}:\\
\;\;\;\;\frac{t_0}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\end{array}
\end{array}
if x < -5.00000000000000024e-5 or 5.0000000000000001e-4 < x Initial program 98.9%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.9%
div-inv98.9%
sqr-sin-a98.5%
add-sqr-sqrt25.0%
sqrt-unprod51.6%
swap-sqr51.6%
metadata-eval51.6%
metadata-eval51.6%
swap-sqr51.6%
sqrt-unprod30.4%
add-sqr-sqrt98.5%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
*-commutative98.9%
associate-*r*98.8%
div-inv98.9%
unpow298.9%
associate-*r*99.0%
associate-/r/99.0%
clear-num99.0%
associate-/r/99.0%
clear-num99.1%
div-inv99.0%
associate-/r*99.1%
associate-/l*99.1%
unpow299.1%
metadata-eval99.1%
Applied egg-rr99.1%
if -5.00000000000000024e-5 < x < 5.0000000000000001e-4Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
Final simplification99.6%
(FPCore (x)
:precision binary64
(let* ((t_0 (sin (* x 0.5))))
(if (or (<= x -4e-5) (not (<= x 0.0004)))
(* 2.6666666666666665 (/ (pow t_0 2.0) (sin x)))
(/ t_0 (+ 0.75 (* -0.09375 (* x x)))))))
double code(double x) {
double t_0 = sin((x * 0.5));
double tmp;
if ((x <= -4e-5) || !(x <= 0.0004)) {
tmp = 2.6666666666666665 * (pow(t_0, 2.0) / sin(x));
} else {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: tmp
t_0 = sin((x * 0.5d0))
if ((x <= (-4d-5)) .or. (.not. (x <= 0.0004d0))) then
tmp = 2.6666666666666665d0 * ((t_0 ** 2.0d0) / sin(x))
else
tmp = t_0 / (0.75d0 + ((-0.09375d0) * (x * x)))
end if
code = tmp
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
double tmp;
if ((x <= -4e-5) || !(x <= 0.0004)) {
tmp = 2.6666666666666665 * (Math.pow(t_0, 2.0) / Math.sin(x));
} else {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
def code(x): t_0 = math.sin((x * 0.5)) tmp = 0 if (x <= -4e-5) or not (x <= 0.0004): tmp = 2.6666666666666665 * (math.pow(t_0, 2.0) / math.sin(x)) else: tmp = t_0 / (0.75 + (-0.09375 * (x * x))) return tmp
function code(x) t_0 = sin(Float64(x * 0.5)) tmp = 0.0 if ((x <= -4e-5) || !(x <= 0.0004)) tmp = Float64(2.6666666666666665 * Float64((t_0 ^ 2.0) / sin(x))); else tmp = Float64(t_0 / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); end return tmp end
function tmp_2 = code(x) t_0 = sin((x * 0.5)); tmp = 0.0; if ((x <= -4e-5) || ~((x <= 0.0004))) tmp = 2.6666666666666665 * ((t_0 ^ 2.0) / sin(x)); else tmp = t_0 / (0.75 + (-0.09375 * (x * x))); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, If[Or[LessEqual[x, -4e-5], N[Not[LessEqual[x, 0.0004]], $MachinePrecision]], N[(2.6666666666666665 * N[(N[Power[t$95$0, 2.0], $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t$95$0 / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\mathbf{if}\;x \leq -4 \cdot 10^{-5} \lor \neg \left(x \leq 0.0004\right):\\
\;\;\;\;2.6666666666666665 \cdot \frac{{t_0}^{2}}{\sin x}\\
\mathbf{else}:\\
\;\;\;\;\frac{t_0}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\end{array}
\end{array}
if x < -4.00000000000000033e-5 or 4.00000000000000019e-4 < x Initial program 98.9%
associate-/l*99.0%
metadata-eval99.0%
Simplified99.0%
Applied egg-rr98.9%
if -4.00000000000000033e-5 < x < 4.00000000000000019e-4Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
Final simplification99.5%
(FPCore (x)
:precision binary64
(let* ((t_0 (sin (* x 0.5))) (t_1 (pow t_0 2.0)))
(if (<= x -4e-5)
(* 2.6666666666666665 (/ t_1 (sin x)))
(if (<= x 0.0004)
(/ t_0 (+ 0.75 (* -0.09375 (* x x))))
(* t_1 (/ 2.6666666666666665 (sin x)))))))
double code(double x) {
double t_0 = sin((x * 0.5));
double t_1 = pow(t_0, 2.0);
double tmp;
if (x <= -4e-5) {
tmp = 2.6666666666666665 * (t_1 / sin(x));
} else if (x <= 0.0004) {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = t_1 * (2.6666666666666665 / sin(x));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = sin((x * 0.5d0))
t_1 = t_0 ** 2.0d0
if (x <= (-4d-5)) then
tmp = 2.6666666666666665d0 * (t_1 / sin(x))
else if (x <= 0.0004d0) then
tmp = t_0 / (0.75d0 + ((-0.09375d0) * (x * x)))
else
tmp = t_1 * (2.6666666666666665d0 / sin(x))
end if
code = tmp
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
double t_1 = Math.pow(t_0, 2.0);
double tmp;
if (x <= -4e-5) {
tmp = 2.6666666666666665 * (t_1 / Math.sin(x));
} else if (x <= 0.0004) {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = t_1 * (2.6666666666666665 / Math.sin(x));
}
return tmp;
}
def code(x): t_0 = math.sin((x * 0.5)) t_1 = math.pow(t_0, 2.0) tmp = 0 if x <= -4e-5: tmp = 2.6666666666666665 * (t_1 / math.sin(x)) elif x <= 0.0004: tmp = t_0 / (0.75 + (-0.09375 * (x * x))) else: tmp = t_1 * (2.6666666666666665 / math.sin(x)) return tmp
function code(x) t_0 = sin(Float64(x * 0.5)) t_1 = t_0 ^ 2.0 tmp = 0.0 if (x <= -4e-5) tmp = Float64(2.6666666666666665 * Float64(t_1 / sin(x))); elseif (x <= 0.0004) tmp = Float64(t_0 / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); else tmp = Float64(t_1 * Float64(2.6666666666666665 / sin(x))); end return tmp end
function tmp_2 = code(x) t_0 = sin((x * 0.5)); t_1 = t_0 ^ 2.0; tmp = 0.0; if (x <= -4e-5) tmp = 2.6666666666666665 * (t_1 / sin(x)); elseif (x <= 0.0004) tmp = t_0 / (0.75 + (-0.09375 * (x * x))); else tmp = t_1 * (2.6666666666666665 / sin(x)); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$1 = N[Power[t$95$0, 2.0], $MachinePrecision]}, If[LessEqual[x, -4e-5], N[(2.6666666666666665 * N[(t$95$1 / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.0004], N[(t$95$0 / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t$95$1 * N[(2.6666666666666665 / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
t_1 := {t_0}^{2}\\
\mathbf{if}\;x \leq -4 \cdot 10^{-5}:\\
\;\;\;\;2.6666666666666665 \cdot \frac{t_1}{\sin x}\\
\mathbf{elif}\;x \leq 0.0004:\\
\;\;\;\;\frac{t_0}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\mathbf{else}:\\
\;\;\;\;t_1 \cdot \frac{2.6666666666666665}{\sin x}\\
\end{array}
\end{array}
if x < -4.00000000000000033e-5Initial program 98.8%
associate-/l*99.1%
metadata-eval99.1%
Simplified99.1%
Applied egg-rr99.0%
if -4.00000000000000033e-5 < x < 4.00000000000000019e-4Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
if 4.00000000000000019e-4 < x Initial program 99.0%
associate-/l*99.0%
metadata-eval99.0%
Simplified99.0%
Taylor expanded in x around inf 98.8%
associate-*r/99.0%
*-commutative99.0%
*-commutative99.0%
associate-*r/98.9%
Simplified98.9%
Final simplification99.5%
(FPCore (x)
:precision binary64
(let* ((t_0 (sin (* x 0.5))))
(if (<= x -4e-5)
(* 2.6666666666666665 (/ (pow t_0 2.0) (sin x)))
(if (<= x 0.00018)
(/ t_0 (+ 0.75 (* -0.09375 (* x x))))
(/ 2.6666666666666665 (* (sin x) (pow t_0 -2.0)))))))
double code(double x) {
double t_0 = sin((x * 0.5));
double tmp;
if (x <= -4e-5) {
tmp = 2.6666666666666665 * (pow(t_0, 2.0) / sin(x));
} else if (x <= 0.00018) {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 / (sin(x) * pow(t_0, -2.0));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
real(8) :: tmp
t_0 = sin((x * 0.5d0))
if (x <= (-4d-5)) then
tmp = 2.6666666666666665d0 * ((t_0 ** 2.0d0) / sin(x))
else if (x <= 0.00018d0) then
tmp = t_0 / (0.75d0 + ((-0.09375d0) * (x * x)))
else
tmp = 2.6666666666666665d0 / (sin(x) * (t_0 ** (-2.0d0)))
end if
code = tmp
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
double tmp;
if (x <= -4e-5) {
tmp = 2.6666666666666665 * (Math.pow(t_0, 2.0) / Math.sin(x));
} else if (x <= 0.00018) {
tmp = t_0 / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 / (Math.sin(x) * Math.pow(t_0, -2.0));
}
return tmp;
}
def code(x): t_0 = math.sin((x * 0.5)) tmp = 0 if x <= -4e-5: tmp = 2.6666666666666665 * (math.pow(t_0, 2.0) / math.sin(x)) elif x <= 0.00018: tmp = t_0 / (0.75 + (-0.09375 * (x * x))) else: tmp = 2.6666666666666665 / (math.sin(x) * math.pow(t_0, -2.0)) return tmp
function code(x) t_0 = sin(Float64(x * 0.5)) tmp = 0.0 if (x <= -4e-5) tmp = Float64(2.6666666666666665 * Float64((t_0 ^ 2.0) / sin(x))); elseif (x <= 0.00018) tmp = Float64(t_0 / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); else tmp = Float64(2.6666666666666665 / Float64(sin(x) * (t_0 ^ -2.0))); end return tmp end
function tmp_2 = code(x) t_0 = sin((x * 0.5)); tmp = 0.0; if (x <= -4e-5) tmp = 2.6666666666666665 * ((t_0 ^ 2.0) / sin(x)); elseif (x <= 0.00018) tmp = t_0 / (0.75 + (-0.09375 * (x * x))); else tmp = 2.6666666666666665 / (sin(x) * (t_0 ^ -2.0)); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[x, -4e-5], N[(2.6666666666666665 * N[(N[Power[t$95$0, 2.0], $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.00018], N[(t$95$0 / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.6666666666666665 / N[(N[Sin[x], $MachinePrecision] * N[Power[t$95$0, -2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\mathbf{if}\;x \leq -4 \cdot 10^{-5}:\\
\;\;\;\;2.6666666666666665 \cdot \frac{{t_0}^{2}}{\sin x}\\
\mathbf{elif}\;x \leq 0.00018:\\
\;\;\;\;\frac{t_0}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{2.6666666666666665}{\sin x \cdot {t_0}^{-2}}\\
\end{array}
\end{array}
if x < -4.00000000000000033e-5Initial program 98.8%
associate-/l*99.1%
metadata-eval99.1%
Simplified99.1%
Applied egg-rr99.0%
if -4.00000000000000033e-5 < x < 1.80000000000000011e-4Initial program 55.4%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.4%
sqr-neg55.4%
sin-neg55.4%
distribute-lft-neg-out55.4%
sin-neg55.4%
distribute-lft-neg-out55.4%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.4%
clear-num55.2%
sqr-sin-a7.0%
add-sqr-sqrt3.7%
sqrt-unprod7.0%
swap-sqr7.0%
metadata-eval7.0%
metadata-eval7.0%
swap-sqr7.0%
sqrt-unprod3.2%
add-sqr-sqrt7.0%
sqr-sin-a55.2%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
if 1.80000000000000011e-4 < x Initial program 99.0%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.8%
div-inv98.9%
sqr-sin-a97.9%
add-sqr-sqrt0.0%
sqrt-unprod54.2%
swap-sqr54.2%
metadata-eval54.2%
metadata-eval54.2%
swap-sqr54.2%
sqrt-unprod57.2%
add-sqr-sqrt97.9%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
*-commutative98.9%
associate-*l*98.8%
metadata-eval98.8%
pow-div98.8%
pow198.8%
inv-pow98.8%
clear-num98.8%
associate-/r/98.8%
clear-num98.8%
frac-times99.0%
metadata-eval99.0%
inv-pow99.0%
pow199.0%
pow-div99.0%
metadata-eval99.0%
Applied egg-rr99.0%
Final simplification99.5%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (/ t_0 (/ (/ (sin x) t_0) 2.6666666666666665))))
double code(double x) {
double t_0 = sin((x * 0.5));
return t_0 / ((sin(x) / t_0) / 2.6666666666666665);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = t_0 / ((sin(x) / t_0) / 2.6666666666666665d0)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return t_0 / ((Math.sin(x) / t_0) / 2.6666666666666665);
}
def code(x): t_0 = math.sin((x * 0.5)) return t_0 / ((math.sin(x) / t_0) / 2.6666666666666665)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(t_0 / Float64(Float64(sin(x) / t_0) / 2.6666666666666665)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = t_0 / ((sin(x) / t_0) / 2.6666666666666665); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(t$95$0 / N[(N[(N[Sin[x], $MachinePrecision] / t$95$0), $MachinePrecision] / 2.6666666666666665), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{t_0}{\frac{\frac{\sin x}{t_0}}{2.6666666666666665}}
\end{array}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
associate-/l*75.9%
sqr-neg75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
associate-*r/99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r/75.9%
clear-num75.9%
sqr-sin-a50.1%
add-sqr-sqrt13.7%
sqrt-unprod28.1%
swap-sqr28.1%
metadata-eval28.1%
metadata-eval28.1%
swap-sqr28.1%
sqrt-unprod16.3%
add-sqr-sqrt50.1%
sqr-sin-a75.9%
associate-/l/98.9%
Applied egg-rr99.6%
Final simplification99.6%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x -0.5)))) (* 2.6666666666666665 (* t_0 (/ t_0 (sin x))))))
double code(double x) {
double t_0 = sin((x * -0.5));
return 2.6666666666666665 * (t_0 * (t_0 / sin(x)));
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * (-0.5d0)))
code = 2.6666666666666665d0 * (t_0 * (t_0 / sin(x)))
end function
public static double code(double x) {
double t_0 = Math.sin((x * -0.5));
return 2.6666666666666665 * (t_0 * (t_0 / Math.sin(x)));
}
def code(x): t_0 = math.sin((x * -0.5)) return 2.6666666666666665 * (t_0 * (t_0 / math.sin(x)))
function code(x) t_0 = sin(Float64(x * -0.5)) return Float64(2.6666666666666665 * Float64(t_0 * Float64(t_0 / sin(x)))) end
function tmp = code(x) t_0 = sin((x * -0.5)); tmp = 2.6666666666666665 * (t_0 * (t_0 / sin(x))); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * -0.5), $MachinePrecision]], $MachinePrecision]}, N[(2.6666666666666665 * N[(t$95$0 * N[(t$95$0 / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot -0.5\right)\\
2.6666666666666665 \cdot \left(t_0 \cdot \frac{t_0}{\sin x}\right)
\end{array}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
associate-/l*75.9%
sqr-neg75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
associate-*r/99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
Final simplification99.3%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x -0.5)))) (* 2.6666666666666665 (/ t_0 (/ (sin x) t_0)))))
double code(double x) {
double t_0 = sin((x * -0.5));
return 2.6666666666666665 * (t_0 / (sin(x) / t_0));
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * (-0.5d0)))
code = 2.6666666666666665d0 * (t_0 / (sin(x) / t_0))
end function
public static double code(double x) {
double t_0 = Math.sin((x * -0.5));
return 2.6666666666666665 * (t_0 / (Math.sin(x) / t_0));
}
def code(x): t_0 = math.sin((x * -0.5)) return 2.6666666666666665 * (t_0 / (math.sin(x) / t_0))
function code(x) t_0 = sin(Float64(x * -0.5)) return Float64(2.6666666666666665 * Float64(t_0 / Float64(sin(x) / t_0))) end
function tmp = code(x) t_0 = sin((x * -0.5)); tmp = 2.6666666666666665 * (t_0 / (sin(x) / t_0)); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * -0.5), $MachinePrecision]], $MachinePrecision]}, N[(2.6666666666666665 * N[(t$95$0 / N[(N[Sin[x], $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot -0.5\right)\\
2.6666666666666665 \cdot \frac{t_0}{\frac{\sin x}{t_0}}
\end{array}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
remove-double-neg99.3%
sin-neg99.3%
distribute-lft-neg-out99.3%
neg-mul-199.3%
*-commutative99.3%
associate-/l*99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
associate-/l/99.3%
neg-mul-199.3%
sin-neg99.3%
distribute-lft-neg-out99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
Final simplification99.3%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (* (/ t_0 (sin x)) (/ t_0 0.375))))
double code(double x) {
double t_0 = sin((x * 0.5));
return (t_0 / sin(x)) * (t_0 / 0.375);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = (t_0 / sin(x)) * (t_0 / 0.375d0)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return (t_0 / Math.sin(x)) * (t_0 / 0.375);
}
def code(x): t_0 = math.sin((x * 0.5)) return (t_0 / math.sin(x)) * (t_0 / 0.375)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(Float64(t_0 / sin(x)) * Float64(t_0 / 0.375)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = (t_0 / sin(x)) * (t_0 / 0.375); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(N[(t$95$0 / N[Sin[x], $MachinePrecision]), $MachinePrecision] * N[(t$95$0 / 0.375), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{t_0}{\sin x} \cdot \frac{t_0}{0.375}
\end{array}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
associate-/l*75.9%
sqr-neg75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
associate-*r/99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r/75.9%
clear-num75.9%
sqr-sin-a50.1%
add-sqr-sqrt13.7%
sqrt-unprod28.1%
swap-sqr28.1%
metadata-eval28.1%
metadata-eval28.1%
swap-sqr28.1%
sqrt-unprod16.3%
add-sqr-sqrt50.1%
sqr-sin-a75.9%
associate-/l/98.9%
Applied egg-rr99.6%
*-un-lft-identity99.6%
div-inv99.5%
times-frac99.6%
clear-num99.5%
metadata-eval99.5%
Applied egg-rr99.5%
Final simplification99.5%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (/ t_0 (* (/ (sin x) t_0) 0.375))))
double code(double x) {
double t_0 = sin((x * 0.5));
return t_0 / ((sin(x) / t_0) * 0.375);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = t_0 / ((sin(x) / t_0) * 0.375d0)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return t_0 / ((Math.sin(x) / t_0) * 0.375);
}
def code(x): t_0 = math.sin((x * 0.5)) return t_0 / ((math.sin(x) / t_0) * 0.375)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(t_0 / Float64(Float64(sin(x) / t_0) * 0.375)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = t_0 / ((sin(x) / t_0) * 0.375); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(t$95$0 / N[(N[(N[Sin[x], $MachinePrecision] / t$95$0), $MachinePrecision] * 0.375), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{t_0}{\frac{\sin x}{t_0} \cdot 0.375}
\end{array}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
associate-/l*75.9%
sqr-neg75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
associate-*r/99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r/75.9%
clear-num75.9%
sqr-sin-a50.1%
add-sqr-sqrt13.7%
sqrt-unprod28.1%
swap-sqr28.1%
metadata-eval28.1%
metadata-eval28.1%
swap-sqr28.1%
sqrt-unprod16.3%
add-sqr-sqrt50.1%
sqr-sin-a75.9%
associate-/l/98.9%
Applied egg-rr99.6%
div-inv99.5%
metadata-eval99.5%
Applied egg-rr99.5%
Final simplification99.5%
(FPCore (x)
:precision binary64
(if (<= x -0.0053)
(* (- 0.5 (/ (cos x) 2.0)) (/ 1.0 (* (sin x) 0.375)))
(if (<= x 0.0042)
(/ (sin (* x 0.5)) (+ 0.75 (* -0.09375 (* x x))))
(/ (fma (cos x) -1.3333333333333333 1.3333333333333333) (sin x)))))
double code(double x) {
double tmp;
if (x <= -0.0053) {
tmp = (0.5 - (cos(x) / 2.0)) * (1.0 / (sin(x) * 0.375));
} else if (x <= 0.0042) {
tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = fma(cos(x), -1.3333333333333333, 1.3333333333333333) / sin(x);
}
return tmp;
}
function code(x) tmp = 0.0 if (x <= -0.0053) tmp = Float64(Float64(0.5 - Float64(cos(x) / 2.0)) * Float64(1.0 / Float64(sin(x) * 0.375))); elseif (x <= 0.0042) tmp = Float64(sin(Float64(x * 0.5)) / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); else tmp = Float64(fma(cos(x), -1.3333333333333333, 1.3333333333333333) / sin(x)); end return tmp end
code[x_] := If[LessEqual[x, -0.0053], N[(N[(0.5 - N[(N[Cos[x], $MachinePrecision] / 2.0), $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(N[Sin[x], $MachinePrecision] * 0.375), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.0042], N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[Cos[x], $MachinePrecision] * -1.3333333333333333 + 1.3333333333333333), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0053:\\
\;\;\;\;\left(0.5 - \frac{\cos x}{2}\right) \cdot \frac{1}{\sin x \cdot 0.375}\\
\mathbf{elif}\;x \leq 0.0042:\\
\;\;\;\;\frac{\sin \left(x \cdot 0.5\right)}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(\cos x, -1.3333333333333333, 1.3333333333333333\right)}{\sin x}\\
\end{array}
\end{array}
if x < -0.00530000000000000002Initial program 98.8%
associate-/l*99.1%
associate-*r/99.0%
metadata-eval99.0%
associate-/l*99.0%
sqr-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
associate-*r/99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-*r/99.0%
clear-num98.9%
sqr-sin-a98.4%
add-sqr-sqrt53.6%
sqrt-unprod48.9%
swap-sqr48.9%
metadata-eval48.9%
metadata-eval48.9%
swap-sqr48.9%
sqrt-unprod0.0%
add-sqr-sqrt98.4%
sqr-sin-a98.9%
associate-/l/98.9%
Applied egg-rr99.2%
div-inv99.2%
metadata-eval99.2%
Applied egg-rr99.2%
*-un-lft-identity99.2%
frac-times99.2%
clear-num99.0%
frac-times99.0%
div-inv98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.8%
sin-mult98.5%
Applied egg-rr98.6%
div-sub98.5%
+-inverses98.5%
cos-098.5%
metadata-eval98.5%
distribute-lft-out98.5%
metadata-eval98.5%
*-rgt-identity98.5%
Simplified98.6%
if -0.00530000000000000002 < x < 0.00419999999999999974Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
if 0.00419999999999999974 < x Initial program 99.0%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.8%
div-inv98.9%
sqr-sin-a98.4%
add-sqr-sqrt0.0%
sqrt-unprod54.0%
swap-sqr54.0%
metadata-eval54.0%
metadata-eval54.0%
swap-sqr54.0%
sqrt-unprod57.1%
add-sqr-sqrt98.4%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.9%
sin-mult98.4%
Applied egg-rr98.4%
div-sub98.4%
+-inverses98.4%
cos-098.4%
metadata-eval98.4%
distribute-lft-out98.4%
metadata-eval98.4%
*-rgt-identity98.4%
Simplified98.4%
Taylor expanded in x around inf 98.5%
associate-*r/98.6%
cancel-sign-sub-inv98.6%
metadata-eval98.6%
*-commutative98.6%
*-lft-identity98.6%
*-lft-identity98.6%
+-commutative98.6%
distribute-rgt-in98.5%
metadata-eval98.5%
associate-*l*98.5%
metadata-eval98.5%
metadata-eval98.5%
fma-def98.6%
metadata-eval98.6%
Simplified98.6%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (or (<= x -0.0053) (not (<= x 0.0042))) (* 2.6666666666666665 (/ (- 0.5 (* 0.5 (cos x))) (sin x))) (/ (sin (* x 0.5)) (+ 0.75 (* -0.09375 (* x x))))))
double code(double x) {
double tmp;
if ((x <= -0.0053) || !(x <= 0.0042)) {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x));
} else {
tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if ((x <= (-0.0053d0)) .or. (.not. (x <= 0.0042d0))) then
tmp = 2.6666666666666665d0 * ((0.5d0 - (0.5d0 * cos(x))) / sin(x))
else
tmp = sin((x * 0.5d0)) / (0.75d0 + ((-0.09375d0) * (x * x)))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if ((x <= -0.0053) || !(x <= 0.0042)) {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * Math.cos(x))) / Math.sin(x));
} else {
tmp = Math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
def code(x): tmp = 0 if (x <= -0.0053) or not (x <= 0.0042): tmp = 2.6666666666666665 * ((0.5 - (0.5 * math.cos(x))) / math.sin(x)) else: tmp = math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))) return tmp
function code(x) tmp = 0.0 if ((x <= -0.0053) || !(x <= 0.0042)) tmp = Float64(2.6666666666666665 * Float64(Float64(0.5 - Float64(0.5 * cos(x))) / sin(x))); else tmp = Float64(sin(Float64(x * 0.5)) / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if ((x <= -0.0053) || ~((x <= 0.0042))) tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x)); else tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))); end tmp_2 = tmp; end
code[x_] := If[Or[LessEqual[x, -0.0053], N[Not[LessEqual[x, 0.0042]], $MachinePrecision]], N[(2.6666666666666665 * N[(N[(0.5 - N[(0.5 * N[Cos[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0053 \lor \neg \left(x \leq 0.0042\right):\\
\;\;\;\;2.6666666666666665 \cdot \frac{0.5 - 0.5 \cdot \cos x}{\sin x}\\
\mathbf{else}:\\
\;\;\;\;\frac{\sin \left(x \cdot 0.5\right)}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\end{array}
\end{array}
if x < -0.00530000000000000002 or 0.00419999999999999974 < x Initial program 98.9%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.9%
div-inv98.9%
sqr-sin-a98.5%
add-sqr-sqrt25.0%
sqrt-unprod51.6%
swap-sqr51.6%
metadata-eval51.6%
metadata-eval51.6%
swap-sqr51.6%
sqrt-unprod30.4%
add-sqr-sqrt98.5%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.9%
sin-mult98.5%
Applied egg-rr98.5%
div-sub98.5%
+-inverses98.5%
cos-098.5%
metadata-eval98.5%
distribute-lft-out98.5%
metadata-eval98.5%
*-rgt-identity98.5%
Simplified98.5%
Taylor expanded in x around inf 98.4%
if -0.00530000000000000002 < x < 0.00419999999999999974Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
Final simplification99.3%
(FPCore (x)
:precision binary64
(if (<= x -0.0053)
(* 2.6666666666666665 (* (- 0.5 (/ (cos x) 2.0)) (/ 1.0 (sin x))))
(if (<= x 0.0042)
(/ (sin (* x 0.5)) (+ 0.75 (* -0.09375 (* x x))))
(* 2.6666666666666665 (/ (- 0.5 (* 0.5 (cos x))) (sin x))))))
double code(double x) {
double tmp;
if (x <= -0.0053) {
tmp = 2.6666666666666665 * ((0.5 - (cos(x) / 2.0)) * (1.0 / sin(x)));
} else if (x <= 0.0042) {
tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0053d0)) then
tmp = 2.6666666666666665d0 * ((0.5d0 - (cos(x) / 2.0d0)) * (1.0d0 / sin(x)))
else if (x <= 0.0042d0) then
tmp = sin((x * 0.5d0)) / (0.75d0 + ((-0.09375d0) * (x * x)))
else
tmp = 2.6666666666666665d0 * ((0.5d0 - (0.5d0 * cos(x))) / sin(x))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0053) {
tmp = 2.6666666666666665 * ((0.5 - (Math.cos(x) / 2.0)) * (1.0 / Math.sin(x)));
} else if (x <= 0.0042) {
tmp = Math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * Math.cos(x))) / Math.sin(x));
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0053: tmp = 2.6666666666666665 * ((0.5 - (math.cos(x) / 2.0)) * (1.0 / math.sin(x))) elif x <= 0.0042: tmp = math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))) else: tmp = 2.6666666666666665 * ((0.5 - (0.5 * math.cos(x))) / math.sin(x)) return tmp
function code(x) tmp = 0.0 if (x <= -0.0053) tmp = Float64(2.6666666666666665 * Float64(Float64(0.5 - Float64(cos(x) / 2.0)) * Float64(1.0 / sin(x)))); elseif (x <= 0.0042) tmp = Float64(sin(Float64(x * 0.5)) / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); else tmp = Float64(2.6666666666666665 * Float64(Float64(0.5 - Float64(0.5 * cos(x))) / sin(x))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0053) tmp = 2.6666666666666665 * ((0.5 - (cos(x) / 2.0)) * (1.0 / sin(x))); elseif (x <= 0.0042) tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))); else tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x)); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0053], N[(2.6666666666666665 * N[(N[(0.5 - N[(N[Cos[x], $MachinePrecision] / 2.0), $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.0042], N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.6666666666666665 * N[(N[(0.5 - N[(0.5 * N[Cos[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0053:\\
\;\;\;\;2.6666666666666665 \cdot \left(\left(0.5 - \frac{\cos x}{2}\right) \cdot \frac{1}{\sin x}\right)\\
\mathbf{elif}\;x \leq 0.0042:\\
\;\;\;\;\frac{\sin \left(x \cdot 0.5\right)}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\mathbf{else}:\\
\;\;\;\;2.6666666666666665 \cdot \frac{0.5 - 0.5 \cdot \cos x}{\sin x}\\
\end{array}
\end{array}
if x < -0.00530000000000000002Initial program 98.8%
associate-/l*99.1%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*99.0%
div-inv98.8%
sqr-sin-a98.5%
add-sqr-sqrt53.5%
sqrt-unprod49.0%
swap-sqr49.0%
metadata-eval49.0%
metadata-eval49.0%
swap-sqr49.0%
sqrt-unprod0.0%
add-sqr-sqrt98.5%
sqr-sin-a98.8%
pow298.8%
Applied egg-rr98.8%
unpow298.8%
sin-mult98.5%
Applied egg-rr98.5%
div-sub98.5%
+-inverses98.5%
cos-098.5%
metadata-eval98.5%
distribute-lft-out98.5%
metadata-eval98.5%
*-rgt-identity98.5%
Simplified98.5%
if -0.00530000000000000002 < x < 0.00419999999999999974Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
if 0.00419999999999999974 < x Initial program 99.0%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.8%
div-inv98.9%
sqr-sin-a98.4%
add-sqr-sqrt0.0%
sqrt-unprod54.0%
swap-sqr54.0%
metadata-eval54.0%
metadata-eval54.0%
swap-sqr54.0%
sqrt-unprod57.1%
add-sqr-sqrt98.4%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.9%
sin-mult98.4%
Applied egg-rr98.4%
div-sub98.4%
+-inverses98.4%
cos-098.4%
metadata-eval98.4%
distribute-lft-out98.4%
metadata-eval98.4%
*-rgt-identity98.4%
Simplified98.4%
Taylor expanded in x around inf 98.5%
Final simplification99.3%
(FPCore (x)
:precision binary64
(if (<= x -0.0053)
(* (- 0.5 (/ (cos x) 2.0)) (/ 1.0 (* (sin x) 0.375)))
(if (<= x 0.0042)
(/ (sin (* x 0.5)) (+ 0.75 (* -0.09375 (* x x))))
(* 2.6666666666666665 (/ (- 0.5 (* 0.5 (cos x))) (sin x))))))
double code(double x) {
double tmp;
if (x <= -0.0053) {
tmp = (0.5 - (cos(x) / 2.0)) * (1.0 / (sin(x) * 0.375));
} else if (x <= 0.0042) {
tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if (x <= (-0.0053d0)) then
tmp = (0.5d0 - (cos(x) / 2.0d0)) * (1.0d0 / (sin(x) * 0.375d0))
else if (x <= 0.0042d0) then
tmp = sin((x * 0.5d0)) / (0.75d0 + ((-0.09375d0) * (x * x)))
else
tmp = 2.6666666666666665d0 * ((0.5d0 - (0.5d0 * cos(x))) / sin(x))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if (x <= -0.0053) {
tmp = (0.5 - (Math.cos(x) / 2.0)) * (1.0 / (Math.sin(x) * 0.375));
} else if (x <= 0.0042) {
tmp = Math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
} else {
tmp = 2.6666666666666665 * ((0.5 - (0.5 * Math.cos(x))) / Math.sin(x));
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.0053: tmp = (0.5 - (math.cos(x) / 2.0)) * (1.0 / (math.sin(x) * 0.375)) elif x <= 0.0042: tmp = math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))) else: tmp = 2.6666666666666665 * ((0.5 - (0.5 * math.cos(x))) / math.sin(x)) return tmp
function code(x) tmp = 0.0 if (x <= -0.0053) tmp = Float64(Float64(0.5 - Float64(cos(x) / 2.0)) * Float64(1.0 / Float64(sin(x) * 0.375))); elseif (x <= 0.0042) tmp = Float64(sin(Float64(x * 0.5)) / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); else tmp = Float64(2.6666666666666665 * Float64(Float64(0.5 - Float64(0.5 * cos(x))) / sin(x))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.0053) tmp = (0.5 - (cos(x) / 2.0)) * (1.0 / (sin(x) * 0.375)); elseif (x <= 0.0042) tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))); else tmp = 2.6666666666666665 * ((0.5 - (0.5 * cos(x))) / sin(x)); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.0053], N[(N[(0.5 - N[(N[Cos[x], $MachinePrecision] / 2.0), $MachinePrecision]), $MachinePrecision] * N[(1.0 / N[(N[Sin[x], $MachinePrecision] * 0.375), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.0042], N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(2.6666666666666665 * N[(N[(0.5 - N[(0.5 * N[Cos[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0053:\\
\;\;\;\;\left(0.5 - \frac{\cos x}{2}\right) \cdot \frac{1}{\sin x \cdot 0.375}\\
\mathbf{elif}\;x \leq 0.0042:\\
\;\;\;\;\frac{\sin \left(x \cdot 0.5\right)}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\mathbf{else}:\\
\;\;\;\;2.6666666666666665 \cdot \frac{0.5 - 0.5 \cdot \cos x}{\sin x}\\
\end{array}
\end{array}
if x < -0.00530000000000000002Initial program 98.8%
associate-/l*99.1%
associate-*r/99.0%
metadata-eval99.0%
associate-/l*99.0%
sqr-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
associate-*r/99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-*r/99.0%
clear-num98.9%
sqr-sin-a98.4%
add-sqr-sqrt53.6%
sqrt-unprod48.9%
swap-sqr48.9%
metadata-eval48.9%
metadata-eval48.9%
swap-sqr48.9%
sqrt-unprod0.0%
add-sqr-sqrt98.4%
sqr-sin-a98.9%
associate-/l/98.9%
Applied egg-rr99.2%
div-inv99.2%
metadata-eval99.2%
Applied egg-rr99.2%
*-un-lft-identity99.2%
frac-times99.2%
clear-num99.0%
frac-times99.0%
div-inv98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.8%
sin-mult98.5%
Applied egg-rr98.6%
div-sub98.5%
+-inverses98.5%
cos-098.5%
metadata-eval98.5%
distribute-lft-out98.5%
metadata-eval98.5%
*-rgt-identity98.5%
Simplified98.6%
if -0.00530000000000000002 < x < 0.00419999999999999974Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
if 0.00419999999999999974 < x Initial program 99.0%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.8%
div-inv98.9%
sqr-sin-a98.4%
add-sqr-sqrt0.0%
sqrt-unprod54.0%
swap-sqr54.0%
metadata-eval54.0%
metadata-eval54.0%
swap-sqr54.0%
sqrt-unprod57.1%
add-sqr-sqrt98.4%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.9%
sin-mult98.4%
Applied egg-rr98.4%
div-sub98.4%
+-inverses98.4%
cos-098.4%
metadata-eval98.4%
distribute-lft-out98.4%
metadata-eval98.4%
*-rgt-identity98.4%
Simplified98.4%
Taylor expanded in x around inf 98.5%
Final simplification99.3%
(FPCore (x) :precision binary64 (if (or (<= x -0.0043) (not (<= x 0.0058))) (/ (+ 1.3333333333333333 (* (cos x) -1.3333333333333333)) (sin x)) (/ (sin (* x 0.5)) (+ 0.75 (* -0.09375 (* x x))))))
double code(double x) {
double tmp;
if ((x <= -0.0043) || !(x <= 0.0058)) {
tmp = (1.3333333333333333 + (cos(x) * -1.3333333333333333)) / sin(x);
} else {
tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: tmp
if ((x <= (-0.0043d0)) .or. (.not. (x <= 0.0058d0))) then
tmp = (1.3333333333333333d0 + (cos(x) * (-1.3333333333333333d0))) / sin(x)
else
tmp = sin((x * 0.5d0)) / (0.75d0 + ((-0.09375d0) * (x * x)))
end if
code = tmp
end function
public static double code(double x) {
double tmp;
if ((x <= -0.0043) || !(x <= 0.0058)) {
tmp = (1.3333333333333333 + (Math.cos(x) * -1.3333333333333333)) / Math.sin(x);
} else {
tmp = Math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x)));
}
return tmp;
}
def code(x): tmp = 0 if (x <= -0.0043) or not (x <= 0.0058): tmp = (1.3333333333333333 + (math.cos(x) * -1.3333333333333333)) / math.sin(x) else: tmp = math.sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))) return tmp
function code(x) tmp = 0.0 if ((x <= -0.0043) || !(x <= 0.0058)) tmp = Float64(Float64(1.3333333333333333 + Float64(cos(x) * -1.3333333333333333)) / sin(x)); else tmp = Float64(sin(Float64(x * 0.5)) / Float64(0.75 + Float64(-0.09375 * Float64(x * x)))); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if ((x <= -0.0043) || ~((x <= 0.0058))) tmp = (1.3333333333333333 + (cos(x) * -1.3333333333333333)) / sin(x); else tmp = sin((x * 0.5)) / (0.75 + (-0.09375 * (x * x))); end tmp_2 = tmp; end
code[x_] := If[Or[LessEqual[x, -0.0043], N[Not[LessEqual[x, 0.0058]], $MachinePrecision]], N[(N[(1.3333333333333333 + N[(N[Cos[x], $MachinePrecision] * -1.3333333333333333), $MachinePrecision]), $MachinePrecision] / N[Sin[x], $MachinePrecision]), $MachinePrecision], N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / N[(0.75 + N[(-0.09375 * N[(x * x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.0043 \lor \neg \left(x \leq 0.0058\right):\\
\;\;\;\;\frac{1.3333333333333333 + \cos x \cdot -1.3333333333333333}{\sin x}\\
\mathbf{else}:\\
\;\;\;\;\frac{\sin \left(x \cdot 0.5\right)}{0.75 + -0.09375 \cdot \left(x \cdot x\right)}\\
\end{array}
\end{array}
if x < -0.0043 or 0.0058 < x Initial program 98.9%
associate-/l*99.0%
associate-*r/99.0%
metadata-eval99.0%
remove-double-neg99.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
neg-mul-199.0%
*-commutative99.0%
associate-/l*99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
associate-/l/99.0%
neg-mul-199.0%
sin-neg99.0%
distribute-lft-neg-out99.0%
distribute-lft-neg-out99.0%
distribute-rgt-neg-in99.0%
metadata-eval99.0%
Simplified99.0%
associate-/l*98.9%
div-inv98.9%
sqr-sin-a98.5%
add-sqr-sqrt25.0%
sqrt-unprod51.6%
swap-sqr51.6%
metadata-eval51.6%
metadata-eval51.6%
swap-sqr51.6%
sqrt-unprod30.4%
add-sqr-sqrt98.5%
sqr-sin-a98.9%
pow298.9%
Applied egg-rr98.9%
unpow298.9%
sin-mult98.5%
Applied egg-rr98.5%
div-sub98.5%
+-inverses98.5%
cos-098.5%
metadata-eval98.5%
distribute-lft-out98.5%
metadata-eval98.5%
*-rgt-identity98.5%
Simplified98.5%
Taylor expanded in x around inf 98.4%
associate-*r/98.6%
cancel-sign-sub-inv98.6%
metadata-eval98.6%
*-commutative98.6%
distribute-rgt-in98.4%
metadata-eval98.4%
associate-*l*98.4%
metadata-eval98.4%
Simplified98.4%
if -0.0043 < x < 0.0058Initial program 55.7%
associate-/l*99.6%
associate-*r/99.6%
metadata-eval99.6%
associate-/l*55.7%
sqr-neg55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
sin-neg55.7%
distribute-lft-neg-out55.7%
associate-*r/99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
distribute-rgt-neg-in99.6%
metadata-eval99.6%
Simplified99.6%
associate-*r/55.7%
clear-num55.5%
sqr-sin-a7.4%
add-sqr-sqrt3.7%
sqrt-unprod7.4%
swap-sqr7.4%
metadata-eval7.4%
metadata-eval7.4%
swap-sqr7.4%
sqrt-unprod3.7%
add-sqr-sqrt7.4%
sqr-sin-a55.5%
associate-/l/98.8%
Applied egg-rr100.0%
Taylor expanded in x around 0 100.0%
unpow2100.0%
Simplified100.0%
Final simplification99.3%
(FPCore (x) :precision binary64 (* (sin (* x 0.5)) 1.3333333333333333))
double code(double x) {
return sin((x * 0.5)) * 1.3333333333333333;
}
real(8) function code(x)
real(8), intent (in) :: x
code = sin((x * 0.5d0)) * 1.3333333333333333d0
end function
public static double code(double x) {
return Math.sin((x * 0.5)) * 1.3333333333333333;
}
def code(x): return math.sin((x * 0.5)) * 1.3333333333333333
function code(x) return Float64(sin(Float64(x * 0.5)) * 1.3333333333333333) end
function tmp = code(x) tmp = sin((x * 0.5)) * 1.3333333333333333; end
code[x_] := N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] * 1.3333333333333333), $MachinePrecision]
\begin{array}{l}
\\
\sin \left(x \cdot 0.5\right) \cdot 1.3333333333333333
\end{array}
Initial program 76.0%
Simplified99.3%
Taylor expanded in x around 0 57.2%
Final simplification57.2%
(FPCore (x) :precision binary64 (/ (sin (* x 0.5)) 0.75))
double code(double x) {
return sin((x * 0.5)) / 0.75;
}
real(8) function code(x)
real(8), intent (in) :: x
code = sin((x * 0.5d0)) / 0.75d0
end function
public static double code(double x) {
return Math.sin((x * 0.5)) / 0.75;
}
def code(x): return math.sin((x * 0.5)) / 0.75
function code(x) return Float64(sin(Float64(x * 0.5)) / 0.75) end
function tmp = code(x) tmp = sin((x * 0.5)) / 0.75; end
code[x_] := N[(N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision] / 0.75), $MachinePrecision]
\begin{array}{l}
\\
\frac{\sin \left(x \cdot 0.5\right)}{0.75}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
associate-/l*75.9%
sqr-neg75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
sin-neg75.9%
distribute-lft-neg-out75.9%
associate-*r/99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
associate-*r/75.9%
clear-num75.9%
sqr-sin-a50.1%
add-sqr-sqrt13.7%
sqrt-unprod28.1%
swap-sqr28.1%
metadata-eval28.1%
metadata-eval28.1%
swap-sqr28.1%
sqrt-unprod16.3%
add-sqr-sqrt50.1%
sqr-sin-a75.9%
associate-/l/98.9%
Applied egg-rr99.6%
Taylor expanded in x around 0 57.4%
Final simplification57.4%
(FPCore (x) :precision binary64 (* 2.6666666666666665 (/ 1.0 (+ (* x -0.3333333333333333) (* 4.0 (/ 1.0 x))))))
double code(double x) {
return 2.6666666666666665 * (1.0 / ((x * -0.3333333333333333) + (4.0 * (1.0 / x))));
}
real(8) function code(x)
real(8), intent (in) :: x
code = 2.6666666666666665d0 * (1.0d0 / ((x * (-0.3333333333333333d0)) + (4.0d0 * (1.0d0 / x))))
end function
public static double code(double x) {
return 2.6666666666666665 * (1.0 / ((x * -0.3333333333333333) + (4.0 * (1.0 / x))));
}
def code(x): return 2.6666666666666665 * (1.0 / ((x * -0.3333333333333333) + (4.0 * (1.0 / x))))
function code(x) return Float64(2.6666666666666665 * Float64(1.0 / Float64(Float64(x * -0.3333333333333333) + Float64(4.0 * Float64(1.0 / x))))) end
function tmp = code(x) tmp = 2.6666666666666665 * (1.0 / ((x * -0.3333333333333333) + (4.0 * (1.0 / x)))); end
code[x_] := N[(2.6666666666666665 * N[(1.0 / N[(N[(x * -0.3333333333333333), $MachinePrecision] + N[(4.0 * N[(1.0 / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
2.6666666666666665 \cdot \frac{1}{x \cdot -0.3333333333333333 + 4 \cdot \frac{1}{x}}
\end{array}
Initial program 76.0%
associate-/l*99.3%
associate-*r/99.3%
metadata-eval99.3%
remove-double-neg99.3%
sin-neg99.3%
distribute-lft-neg-out99.3%
neg-mul-199.3%
*-commutative99.3%
associate-/l*99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
associate-/l/99.3%
neg-mul-199.3%
sin-neg99.3%
distribute-lft-neg-out99.3%
distribute-lft-neg-out99.3%
distribute-rgt-neg-in99.3%
metadata-eval99.3%
Simplified99.3%
associate-/l*75.9%
div-inv75.9%
sqr-sin-a50.1%
add-sqr-sqrt13.7%
sqrt-unprod28.1%
swap-sqr28.1%
metadata-eval28.1%
metadata-eval28.1%
swap-sqr28.1%
sqrt-unprod16.2%
add-sqr-sqrt50.1%
sqr-sin-a75.9%
pow275.9%
Applied egg-rr75.9%
unpow275.9%
sin-mult50.1%
Applied egg-rr50.1%
div-sub50.1%
+-inverses50.1%
cos-050.1%
metadata-eval50.1%
distribute-lft-out50.1%
metadata-eval50.1%
*-rgt-identity50.1%
Simplified50.1%
un-div-inv50.1%
clear-num50.1%
sub-neg50.1%
div-inv50.1%
metadata-eval50.1%
distribute-rgt-neg-in50.1%
metadata-eval50.1%
Applied egg-rr50.1%
Taylor expanded in x around 0 54.4%
Final simplification54.4%
(FPCore (x) :precision binary64 (* x -0.6666666666666666))
double code(double x) {
return x * -0.6666666666666666;
}
real(8) function code(x)
real(8), intent (in) :: x
code = x * (-0.6666666666666666d0)
end function
public static double code(double x) {
return x * -0.6666666666666666;
}
def code(x): return x * -0.6666666666666666
function code(x) return Float64(x * -0.6666666666666666) end
function tmp = code(x) tmp = x * -0.6666666666666666; end
code[x_] := N[(x * -0.6666666666666666), $MachinePrecision]
\begin{array}{l}
\\
x \cdot -0.6666666666666666
\end{array}
Initial program 76.0%
associate-/l*99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in x around 0 54.1%
*-commutative54.1%
Simplified54.1%
add-sqr-sqrt25.4%
sqrt-unprod16.7%
*-commutative16.7%
*-commutative16.7%
swap-sqr16.7%
metadata-eval16.7%
Applied egg-rr16.7%
unpow216.7%
*-commutative16.7%
unpow216.7%
Simplified16.7%
Taylor expanded in x around -inf 3.7%
*-commutative3.7%
Simplified3.7%
Final simplification3.7%
(FPCore (x) :precision binary64 (* x 0.6666666666666666))
double code(double x) {
return x * 0.6666666666666666;
}
real(8) function code(x)
real(8), intent (in) :: x
code = x * 0.6666666666666666d0
end function
public static double code(double x) {
return x * 0.6666666666666666;
}
def code(x): return x * 0.6666666666666666
function code(x) return Float64(x * 0.6666666666666666) end
function tmp = code(x) tmp = x * 0.6666666666666666; end
code[x_] := N[(x * 0.6666666666666666), $MachinePrecision]
\begin{array}{l}
\\
x \cdot 0.6666666666666666
\end{array}
Initial program 76.0%
associate-/l*99.3%
metadata-eval99.3%
Simplified99.3%
Taylor expanded in x around 0 54.1%
*-commutative54.1%
Simplified54.1%
Final simplification54.1%
(FPCore (x) :precision binary64 (let* ((t_0 (sin (* x 0.5)))) (/ (/ (* 8.0 t_0) 3.0) (/ (sin x) t_0))))
double code(double x) {
double t_0 = sin((x * 0.5));
return ((8.0 * t_0) / 3.0) / (sin(x) / t_0);
}
real(8) function code(x)
real(8), intent (in) :: x
real(8) :: t_0
t_0 = sin((x * 0.5d0))
code = ((8.0d0 * t_0) / 3.0d0) / (sin(x) / t_0)
end function
public static double code(double x) {
double t_0 = Math.sin((x * 0.5));
return ((8.0 * t_0) / 3.0) / (Math.sin(x) / t_0);
}
def code(x): t_0 = math.sin((x * 0.5)) return ((8.0 * t_0) / 3.0) / (math.sin(x) / t_0)
function code(x) t_0 = sin(Float64(x * 0.5)) return Float64(Float64(Float64(8.0 * t_0) / 3.0) / Float64(sin(x) / t_0)) end
function tmp = code(x) t_0 = sin((x * 0.5)); tmp = ((8.0 * t_0) / 3.0) / (sin(x) / t_0); end
code[x_] := Block[{t$95$0 = N[Sin[N[(x * 0.5), $MachinePrecision]], $MachinePrecision]}, N[(N[(N[(8.0 * t$95$0), $MachinePrecision] / 3.0), $MachinePrecision] / N[(N[Sin[x], $MachinePrecision] / t$95$0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(x \cdot 0.5\right)\\
\frac{\frac{8 \cdot t_0}{3}}{\frac{\sin x}{t_0}}
\end{array}
\end{array}
herbie shell --seed 2023293
(FPCore (x)
:name "Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, A"
:precision binary64
:herbie-target
(/ (/ (* 8.0 (sin (* x 0.5))) 3.0) (/ (sin x) (sin (* x 0.5))))
(/ (* (* (/ 8.0 3.0) (sin (* x 0.5))) (sin (* x 0.5))) (sin x)))