
(FPCore (x) :precision binary64 (asinh x))
double code(double x) {
return asinh(x);
}
def code(x): return math.asinh(x)
function code(x) return asinh(x) end
function tmp = code(x) tmp = asinh(x); end
code[x_] := N[ArcSinh[x], $MachinePrecision]
\begin{array}{l}
\\
\sinh^{-1} x
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x) :precision binary64 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x))
double code(double x) {
return copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
}
public static double code(double x) {
return Math.copySign(Math.log((Math.abs(x) + Math.sqrt(((x * x) + 1.0)))), x);
}
def code(x): return math.copysign(math.log((math.fabs(x) + math.sqrt(((x * x) + 1.0)))), x)
function code(x) return copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) end
function tmp = code(x) tmp = sign(x) * abs(log((abs(x) + sqrt(((x * x) + 1.0))))); end
code[x_] := N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
\begin{array}{l}
\\
\mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)
\end{array}
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -20.0)
(copysign (- (log (* x -2.0))) x)
(if (<= t_0 0.02)
(copysign
(+
x
(*
(fma
(pow x 2.0)
(fma (pow x 2.0) -0.044642857142857144 0.075)
-0.16666666666666666)
(pow x 3.0)))
x)
(copysign (log (expm1 (log1p (+ x (hypot 1.0 x))))) x)))))
double code(double x) {
double t_0 = copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -20.0) {
tmp = copysign(-log((x * -2.0)), x);
} else if (t_0 <= 0.02) {
tmp = copysign((x + (fma(pow(x, 2.0), fma(pow(x, 2.0), -0.044642857142857144, 0.075), -0.16666666666666666) * pow(x, 3.0))), x);
} else {
tmp = copysign(log(expm1(log1p((x + hypot(1.0, x))))), x);
}
return tmp;
}
function code(x) t_0 = copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) tmp = 0.0 if (t_0 <= -20.0) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (t_0 <= 0.02) tmp = copysign(Float64(x + Float64(fma((x ^ 2.0), fma((x ^ 2.0), -0.044642857142857144, 0.075), -0.16666666666666666) * (x ^ 3.0))), x); else tmp = copysign(log(expm1(log1p(Float64(x + hypot(1.0, x))))), x); end return tmp end
code[x_] := Block[{t$95$0 = N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]}, If[LessEqual[t$95$0, -20.0], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[t$95$0, 0.02], N[With[{TMP1 = Abs[N[(x + N[(N[(N[Power[x, 2.0], $MachinePrecision] * N[(N[Power[x, 2.0], $MachinePrecision] * -0.044642857142857144 + 0.075), $MachinePrecision] + -0.16666666666666666), $MachinePrecision] * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(Exp[N[Log[1 + N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -20:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 0.02:\\
\;\;\;\;\mathsf{copysign}\left(x + \mathsf{fma}\left({x}^{2}, \mathsf{fma}\left({x}^{2}, -0.044642857142857144, 0.075\right), -0.16666666666666666\right) \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(\mathsf{expm1}\left(\mathsf{log1p}\left(x + \mathsf{hypot}\left(1, x\right)\right)\right)\right), x\right)\\
\end{array}
\end{array}
if (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < -20Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -20 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 0.0200000000000000004Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 100.0%
distribute-rgt-in100.0%
*-lft-identity100.0%
*-commutative100.0%
associate-*l*100.0%
fma-neg100.0%
+-commutative100.0%
*-commutative100.0%
fma-define100.0%
metadata-eval100.0%
unpow2100.0%
unpow3100.0%
Simplified100.0%
if 0.0200000000000000004 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
pow1100.0%
pow-to-exp100.0%
log1p-expm1-u100.0%
log1p-undefine100.0%
exp-to-pow100.0%
pow1100.0%
expm1-log1p-u100.0%
pow1100.0%
exp-to-pow100.0%
log1p-undefine100.0%
log1p-expm1-u100.0%
pow-to-exp100.0%
pow1100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
Applied egg-rr100.0%
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -20.0)
(copysign (- (log (* x -2.0))) x)
(if (<= t_0 0.02)
(copysign
(*
x
(+
1.0
(*
(pow x 2.0)
(-
(* (pow x 2.0) (+ 0.075 (* (pow x 2.0) -0.044642857142857144)))
0.16666666666666666))))
x)
(copysign (log (expm1 (log1p (+ x (hypot 1.0 x))))) x)))))
double code(double x) {
double t_0 = copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -20.0) {
tmp = copysign(-log((x * -2.0)), x);
} else if (t_0 <= 0.02) {
tmp = copysign((x * (1.0 + (pow(x, 2.0) * ((pow(x, 2.0) * (0.075 + (pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x);
} else {
tmp = copysign(log(expm1(log1p((x + hypot(1.0, x))))), x);
}
return tmp;
}
public static double code(double x) {
double t_0 = Math.copySign(Math.log((Math.abs(x) + Math.sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -20.0) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (t_0 <= 0.02) {
tmp = Math.copySign((x * (1.0 + (Math.pow(x, 2.0) * ((Math.pow(x, 2.0) * (0.075 + (Math.pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x);
} else {
tmp = Math.copySign(Math.log(Math.expm1(Math.log1p((x + Math.hypot(1.0, x))))), x);
}
return tmp;
}
def code(x): t_0 = math.copysign(math.log((math.fabs(x) + math.sqrt(((x * x) + 1.0)))), x) tmp = 0 if t_0 <= -20.0: tmp = math.copysign(-math.log((x * -2.0)), x) elif t_0 <= 0.02: tmp = math.copysign((x * (1.0 + (math.pow(x, 2.0) * ((math.pow(x, 2.0) * (0.075 + (math.pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x) else: tmp = math.copysign(math.log(math.expm1(math.log1p((x + math.hypot(1.0, x))))), x) return tmp
function code(x) t_0 = copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) tmp = 0.0 if (t_0 <= -20.0) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (t_0 <= 0.02) tmp = copysign(Float64(x * Float64(1.0 + Float64((x ^ 2.0) * Float64(Float64((x ^ 2.0) * Float64(0.075 + Float64((x ^ 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x); else tmp = copysign(log(expm1(log1p(Float64(x + hypot(1.0, x))))), x); end return tmp end
code[x_] := Block[{t$95$0 = N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]}, If[LessEqual[t$95$0, -20.0], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[t$95$0, 0.02], N[With[{TMP1 = Abs[N[(x * N[(1.0 + N[(N[Power[x, 2.0], $MachinePrecision] * N[(N[(N[Power[x, 2.0], $MachinePrecision] * N[(0.075 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.044642857142857144), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(Exp[N[Log[1 + N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]] - 1), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -20:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 0.02:\\
\;\;\;\;\mathsf{copysign}\left(x \cdot \left(1 + {x}^{2} \cdot \left({x}^{2} \cdot \left(0.075 + {x}^{2} \cdot -0.044642857142857144\right) - 0.16666666666666666\right)\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(\mathsf{expm1}\left(\mathsf{log1p}\left(x + \mathsf{hypot}\left(1, x\right)\right)\right)\right), x\right)\\
\end{array}
\end{array}
if (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < -20Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -20 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 0.0200000000000000004Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 100.0%
if 0.0200000000000000004 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
pow1100.0%
pow-to-exp100.0%
log1p-expm1-u100.0%
log1p-undefine100.0%
exp-to-pow100.0%
pow1100.0%
expm1-log1p-u100.0%
pow1100.0%
exp-to-pow100.0%
log1p-undefine100.0%
log1p-expm1-u100.0%
pow-to-exp100.0%
pow1100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
Applied egg-rr100.0%
Final simplification100.0%
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -20.0)
(copysign (- (log (* x -2.0))) x)
(if (<= t_0 0.02)
(copysign
(*
x
(+
1.0
(*
(pow x 2.0)
(-
(* (pow x 2.0) (+ 0.075 (* (pow x 2.0) -0.044642857142857144)))
0.16666666666666666))))
x)
(copysign (* 2.0 (log (sqrt (+ x (hypot 1.0 x))))) x)))))
double code(double x) {
double t_0 = copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -20.0) {
tmp = copysign(-log((x * -2.0)), x);
} else if (t_0 <= 0.02) {
tmp = copysign((x * (1.0 + (pow(x, 2.0) * ((pow(x, 2.0) * (0.075 + (pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x);
} else {
tmp = copysign((2.0 * log(sqrt((x + hypot(1.0, x))))), x);
}
return tmp;
}
public static double code(double x) {
double t_0 = Math.copySign(Math.log((Math.abs(x) + Math.sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -20.0) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (t_0 <= 0.02) {
tmp = Math.copySign((x * (1.0 + (Math.pow(x, 2.0) * ((Math.pow(x, 2.0) * (0.075 + (Math.pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x);
} else {
tmp = Math.copySign((2.0 * Math.log(Math.sqrt((x + Math.hypot(1.0, x))))), x);
}
return tmp;
}
def code(x): t_0 = math.copysign(math.log((math.fabs(x) + math.sqrt(((x * x) + 1.0)))), x) tmp = 0 if t_0 <= -20.0: tmp = math.copysign(-math.log((x * -2.0)), x) elif t_0 <= 0.02: tmp = math.copysign((x * (1.0 + (math.pow(x, 2.0) * ((math.pow(x, 2.0) * (0.075 + (math.pow(x, 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x) else: tmp = math.copysign((2.0 * math.log(math.sqrt((x + math.hypot(1.0, x))))), x) return tmp
function code(x) t_0 = copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) tmp = 0.0 if (t_0 <= -20.0) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (t_0 <= 0.02) tmp = copysign(Float64(x * Float64(1.0 + Float64((x ^ 2.0) * Float64(Float64((x ^ 2.0) * Float64(0.075 + Float64((x ^ 2.0) * -0.044642857142857144))) - 0.16666666666666666)))), x); else tmp = copysign(Float64(2.0 * log(sqrt(Float64(x + hypot(1.0, x))))), x); end return tmp end
function tmp_2 = code(x) t_0 = sign(x) * abs(log((abs(x) + sqrt(((x * x) + 1.0))))); tmp = 0.0; if (t_0 <= -20.0) tmp = sign(x) * abs(-log((x * -2.0))); elseif (t_0 <= 0.02) tmp = sign(x) * abs((x * (1.0 + ((x ^ 2.0) * (((x ^ 2.0) * (0.075 + ((x ^ 2.0) * -0.044642857142857144))) - 0.16666666666666666))))); else tmp = sign(x) * abs((2.0 * log(sqrt((x + hypot(1.0, x)))))); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]}, If[LessEqual[t$95$0, -20.0], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[t$95$0, 0.02], N[With[{TMP1 = Abs[N[(x * N[(1.0 + N[(N[Power[x, 2.0], $MachinePrecision] * N[(N[(N[Power[x, 2.0], $MachinePrecision] * N[(0.075 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.044642857142857144), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[(2.0 * N[Log[N[Sqrt[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -20:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 0.02:\\
\;\;\;\;\mathsf{copysign}\left(x \cdot \left(1 + {x}^{2} \cdot \left({x}^{2} \cdot \left(0.075 + {x}^{2} \cdot -0.044642857142857144\right) - 0.16666666666666666\right)\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(2 \cdot \log \left(\sqrt{x + \mathsf{hypot}\left(1, x\right)}\right), x\right)\\
\end{array}
\end{array}
if (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < -20Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -20 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 0.0200000000000000004Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 100.0%
if 0.0200000000000000004 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
add-sqr-sqrt100.0%
pow2100.0%
log-pow100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
Applied egg-rr100.0%
Final simplification100.0%
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -0.01)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= t_0 0.001)
(copysign
(+ x (* (pow x 3.0) (fma (pow x 2.0) 0.075 -0.16666666666666666)))
x)
(copysign (+ 1.0 (+ (log (+ x (hypot 1.0 x))) -1.0)) x)))))
double code(double x) {
double t_0 = copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -0.01) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (t_0 <= 0.001) {
tmp = copysign((x + (pow(x, 3.0) * fma(pow(x, 2.0), 0.075, -0.16666666666666666))), x);
} else {
tmp = copysign((1.0 + (log((x + hypot(1.0, x))) + -1.0)), x);
}
return tmp;
}
function code(x) t_0 = copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) tmp = 0.0 if (t_0 <= -0.01) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (t_0 <= 0.001) tmp = copysign(Float64(x + Float64((x ^ 3.0) * fma((x ^ 2.0), 0.075, -0.16666666666666666))), x); else tmp = copysign(Float64(1.0 + Float64(log(Float64(x + hypot(1.0, x))) + -1.0)), x); end return tmp end
code[x_] := Block[{t$95$0 = N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]}, If[LessEqual[t$95$0, -0.01], N[With[{TMP1 = Abs[(-N[Log[N[(N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision] - x), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[t$95$0, 0.001], N[With[{TMP1 = Abs[N[(x + N[(N[Power[x, 3.0], $MachinePrecision] * N[(N[Power[x, 2.0], $MachinePrecision] * 0.075 + -0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[(1.0 + N[(N[Log[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -0.01:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 0.001:\\
\;\;\;\;\mathsf{copysign}\left(x + {x}^{3} \cdot \mathsf{fma}\left({x}^{2}, 0.075, -0.16666666666666666\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(1 + \left(\log \left(x + \mathsf{hypot}\left(1, x\right)\right) + -1\right), x\right)\\
\end{array}
\end{array}
if (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < -0.0100000000000000002Initial program 51.4%
+-commutative51.4%
hypot-1-def99.9%
Simplified99.9%
flip-+1.3%
clear-num1.3%
log-div1.3%
metadata-eval1.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
pow21.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
hypot-1-def1.3%
hypot-1-def1.2%
add-sqr-sqrt1.3%
+-commutative1.3%
Applied egg-rr1.3%
neg-sub01.3%
div-sub1.3%
fma-undefine1.3%
unpow21.3%
associate--r+1.3%
+-inverses1.3%
metadata-eval1.3%
*-rgt-identity1.3%
associate-/l*1.3%
metadata-eval1.3%
*-commutative1.3%
fma-undefine1.3%
unpow21.3%
associate--r+49.9%
+-inverses99.9%
metadata-eval99.9%
*-rgt-identity99.9%
associate-/l*99.9%
metadata-eval99.9%
*-commutative99.9%
neg-mul-199.9%
Simplified99.9%
if -0.0100000000000000002 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 1e-3Initial program 9.0%
+-commutative9.0%
hypot-1-def9.0%
Simplified9.0%
flip-+9.0%
div-sub9.0%
pow29.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt8.8%
Applied egg-rr9.0%
div-sub9.0%
fma-undefine9.0%
unpow29.0%
associate--r+9.0%
+-inverses9.0%
metadata-eval9.0%
metadata-eval9.0%
associate-/r*9.0%
neg-mul-19.0%
neg-sub09.0%
associate--r-9.0%
neg-sub09.0%
+-commutative9.0%
sub-neg9.0%
Simplified9.0%
Taylor expanded in x around 0 100.0%
distribute-rgt-in100.0%
*-lft-identity100.0%
*-commutative100.0%
associate-*l*100.0%
*-commutative100.0%
fma-neg100.0%
metadata-eval100.0%
unpow2100.0%
unpow3100.0%
Simplified100.0%
if 1e-3 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 46.6%
+-commutative46.6%
hypot-1-def99.8%
Simplified99.8%
*-un-lft-identity99.8%
*-commutative99.8%
log-prod99.8%
add-sqr-sqrt99.8%
fabs-sqr99.8%
add-sqr-sqrt99.8%
metadata-eval99.8%
Applied egg-rr99.8%
+-rgt-identity99.8%
Simplified99.8%
expm1-log1p-u98.2%
log1p-define98.2%
expm1-define98.2%
add-exp-log99.8%
associate--l+99.9%
+-commutative99.9%
sub-neg99.9%
metadata-eval99.9%
Applied egg-rr99.9%
Final simplification99.9%
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -0.01)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= t_0 0.001)
(copysign
(*
x
(+ 1.0 (* (pow x 2.0) (- (* (pow x 2.0) 0.075) 0.16666666666666666))))
x)
(copysign (+ 1.0 (+ (log (+ x (hypot 1.0 x))) -1.0)) x)))))
double code(double x) {
double t_0 = copysign(log((fabs(x) + sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -0.01) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (t_0 <= 0.001) {
tmp = copysign((x * (1.0 + (pow(x, 2.0) * ((pow(x, 2.0) * 0.075) - 0.16666666666666666)))), x);
} else {
tmp = copysign((1.0 + (log((x + hypot(1.0, x))) + -1.0)), x);
}
return tmp;
}
public static double code(double x) {
double t_0 = Math.copySign(Math.log((Math.abs(x) + Math.sqrt(((x * x) + 1.0)))), x);
double tmp;
if (t_0 <= -0.01) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (t_0 <= 0.001) {
tmp = Math.copySign((x * (1.0 + (Math.pow(x, 2.0) * ((Math.pow(x, 2.0) * 0.075) - 0.16666666666666666)))), x);
} else {
tmp = Math.copySign((1.0 + (Math.log((x + Math.hypot(1.0, x))) + -1.0)), x);
}
return tmp;
}
def code(x): t_0 = math.copysign(math.log((math.fabs(x) + math.sqrt(((x * x) + 1.0)))), x) tmp = 0 if t_0 <= -0.01: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif t_0 <= 0.001: tmp = math.copysign((x * (1.0 + (math.pow(x, 2.0) * ((math.pow(x, 2.0) * 0.075) - 0.16666666666666666)))), x) else: tmp = math.copysign((1.0 + (math.log((x + math.hypot(1.0, x))) + -1.0)), x) return tmp
function code(x) t_0 = copysign(log(Float64(abs(x) + sqrt(Float64(Float64(x * x) + 1.0)))), x) tmp = 0.0 if (t_0 <= -0.01) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (t_0 <= 0.001) tmp = copysign(Float64(x * Float64(1.0 + Float64((x ^ 2.0) * Float64(Float64((x ^ 2.0) * 0.075) - 0.16666666666666666)))), x); else tmp = copysign(Float64(1.0 + Float64(log(Float64(x + hypot(1.0, x))) + -1.0)), x); end return tmp end
function tmp_2 = code(x) t_0 = sign(x) * abs(log((abs(x) + sqrt(((x * x) + 1.0))))); tmp = 0.0; if (t_0 <= -0.01) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (t_0 <= 0.001) tmp = sign(x) * abs((x * (1.0 + ((x ^ 2.0) * (((x ^ 2.0) * 0.075) - 0.16666666666666666))))); else tmp = sign(x) * abs((1.0 + (log((x + hypot(1.0, x))) + -1.0))); end tmp_2 = tmp; end
code[x_] := Block[{t$95$0 = N[With[{TMP1 = Abs[N[Log[N[(N[Abs[x], $MachinePrecision] + N[Sqrt[N[(N[(x * x), $MachinePrecision] + 1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]}, If[LessEqual[t$95$0, -0.01], N[With[{TMP1 = Abs[(-N[Log[N[(N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision] - x), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[t$95$0, 0.001], N[With[{TMP1 = Abs[N[(x * N[(1.0 + N[(N[Power[x, 2.0], $MachinePrecision] * N[(N[(N[Power[x, 2.0], $MachinePrecision] * 0.075), $MachinePrecision] - 0.16666666666666666), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[(1.0 + N[(N[Log[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -0.01:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 0.001:\\
\;\;\;\;\mathsf{copysign}\left(x \cdot \left(1 + {x}^{2} \cdot \left({x}^{2} \cdot 0.075 - 0.16666666666666666\right)\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(1 + \left(\log \left(x + \mathsf{hypot}\left(1, x\right)\right) + -1\right), x\right)\\
\end{array}
\end{array}
if (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < -0.0100000000000000002Initial program 51.4%
+-commutative51.4%
hypot-1-def99.9%
Simplified99.9%
flip-+1.3%
clear-num1.3%
log-div1.3%
metadata-eval1.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
pow21.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
hypot-1-def1.3%
hypot-1-def1.2%
add-sqr-sqrt1.3%
+-commutative1.3%
Applied egg-rr1.3%
neg-sub01.3%
div-sub1.3%
fma-undefine1.3%
unpow21.3%
associate--r+1.3%
+-inverses1.3%
metadata-eval1.3%
*-rgt-identity1.3%
associate-/l*1.3%
metadata-eval1.3%
*-commutative1.3%
fma-undefine1.3%
unpow21.3%
associate--r+49.9%
+-inverses99.9%
metadata-eval99.9%
*-rgt-identity99.9%
associate-/l*99.9%
metadata-eval99.9%
*-commutative99.9%
neg-mul-199.9%
Simplified99.9%
if -0.0100000000000000002 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 1e-3Initial program 9.0%
+-commutative9.0%
hypot-1-def9.0%
Simplified9.0%
flip-+9.0%
div-sub9.0%
pow29.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt8.8%
Applied egg-rr9.0%
div-sub9.0%
fma-undefine9.0%
unpow29.0%
associate--r+9.0%
+-inverses9.0%
metadata-eval9.0%
metadata-eval9.0%
associate-/r*9.0%
neg-mul-19.0%
neg-sub09.0%
associate--r-9.0%
neg-sub09.0%
+-commutative9.0%
sub-neg9.0%
Simplified9.0%
Taylor expanded in x around 0 100.0%
if 1e-3 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 46.6%
+-commutative46.6%
hypot-1-def99.8%
Simplified99.8%
*-un-lft-identity99.8%
*-commutative99.8%
log-prod99.8%
add-sqr-sqrt99.8%
fabs-sqr99.8%
add-sqr-sqrt99.8%
metadata-eval99.8%
Applied egg-rr99.8%
+-rgt-identity99.8%
Simplified99.8%
expm1-log1p-u98.2%
log1p-define98.2%
expm1-define98.2%
add-exp-log99.8%
associate--l+99.9%
+-commutative99.9%
sub-neg99.9%
metadata-eval99.9%
Applied egg-rr99.9%
Final simplification99.9%
(FPCore (x)
:precision binary64
(if (<= x -0.00092)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= x 0.0009)
(copysign (+ x (* -0.16666666666666666 (pow x 3.0))) x)
(copysign (+ 1.0 (+ (log (+ x (hypot 1.0 x))) -1.0)) x))))
double code(double x) {
double tmp;
if (x <= -0.00092) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (x <= 0.0009) {
tmp = copysign((x + (-0.16666666666666666 * pow(x, 3.0))), x);
} else {
tmp = copysign((1.0 + (log((x + hypot(1.0, x))) + -1.0)), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -0.00092) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (x <= 0.0009) {
tmp = Math.copySign((x + (-0.16666666666666666 * Math.pow(x, 3.0))), x);
} else {
tmp = Math.copySign((1.0 + (Math.log((x + Math.hypot(1.0, x))) + -1.0)), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.00092: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif x <= 0.0009: tmp = math.copysign((x + (-0.16666666666666666 * math.pow(x, 3.0))), x) else: tmp = math.copysign((1.0 + (math.log((x + math.hypot(1.0, x))) + -1.0)), x) return tmp
function code(x) tmp = 0.0 if (x <= -0.00092) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (x <= 0.0009) tmp = copysign(Float64(x + Float64(-0.16666666666666666 * (x ^ 3.0))), x); else tmp = copysign(Float64(1.0 + Float64(log(Float64(x + hypot(1.0, x))) + -1.0)), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.00092) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (x <= 0.0009) tmp = sign(x) * abs((x + (-0.16666666666666666 * (x ^ 3.0)))); else tmp = sign(x) * abs((1.0 + (log((x + hypot(1.0, x))) + -1.0))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.00092], N[With[{TMP1 = Abs[(-N[Log[N[(N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision] - x), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 0.0009], N[With[{TMP1 = Abs[N[(x + N[(-0.16666666666666666 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[(1.0 + N[(N[Log[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + -1.0), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.00092:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;x \leq 0.0009:\\
\;\;\;\;\mathsf{copysign}\left(x + -0.16666666666666666 \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(1 + \left(\log \left(x + \mathsf{hypot}\left(1, x\right)\right) + -1\right), x\right)\\
\end{array}
\end{array}
if x < -9.2000000000000003e-4Initial program 51.4%
+-commutative51.4%
hypot-1-def99.9%
Simplified99.9%
flip-+1.3%
clear-num1.3%
log-div1.3%
metadata-eval1.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
pow21.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
hypot-1-def1.3%
hypot-1-def1.2%
add-sqr-sqrt1.3%
+-commutative1.3%
Applied egg-rr1.3%
neg-sub01.3%
div-sub1.3%
fma-undefine1.3%
unpow21.3%
associate--r+1.3%
+-inverses1.3%
metadata-eval1.3%
*-rgt-identity1.3%
associate-/l*1.3%
metadata-eval1.3%
*-commutative1.3%
fma-undefine1.3%
unpow21.3%
associate--r+49.9%
+-inverses99.9%
metadata-eval99.9%
*-rgt-identity99.9%
associate-/l*99.9%
metadata-eval99.9%
*-commutative99.9%
neg-mul-199.9%
Simplified99.9%
if -9.2000000000000003e-4 < x < 8.9999999999999998e-4Initial program 9.0%
+-commutative9.0%
hypot-1-def9.0%
Simplified9.0%
flip-+9.0%
div-sub9.0%
pow29.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt8.8%
Applied egg-rr9.0%
div-sub9.0%
fma-undefine9.0%
unpow29.0%
associate--r+9.0%
+-inverses9.0%
metadata-eval9.0%
metadata-eval9.0%
associate-/r*9.0%
neg-mul-19.0%
neg-sub09.0%
associate--r-9.0%
neg-sub09.0%
+-commutative9.0%
sub-neg9.0%
Simplified9.0%
Taylor expanded in x around 0 99.9%
distribute-rgt-in99.9%
*-lft-identity99.9%
associate-*l*99.9%
unpow299.9%
unpow399.9%
Simplified99.9%
if 8.9999999999999998e-4 < x Initial program 46.6%
+-commutative46.6%
hypot-1-def99.8%
Simplified99.8%
*-un-lft-identity99.8%
*-commutative99.8%
log-prod99.8%
add-sqr-sqrt99.8%
fabs-sqr99.8%
add-sqr-sqrt99.8%
metadata-eval99.8%
Applied egg-rr99.8%
+-rgt-identity99.8%
Simplified99.8%
expm1-log1p-u98.2%
log1p-define98.2%
expm1-define98.2%
add-exp-log99.8%
associate--l+99.9%
+-commutative99.9%
sub-neg99.9%
metadata-eval99.9%
Applied egg-rr99.9%
Final simplification99.9%
(FPCore (x)
:precision binary64
(if (<= x -0.00092)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= x 0.00075)
(copysign (+ x (* -0.16666666666666666 (pow x 3.0))) x)
(copysign (log (+ x (hypot 1.0 x))) x))))
double code(double x) {
double tmp;
if (x <= -0.00092) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (x <= 0.00075) {
tmp = copysign((x + (-0.16666666666666666 * pow(x, 3.0))), x);
} else {
tmp = copysign(log((x + hypot(1.0, x))), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -0.00092) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (x <= 0.00075) {
tmp = Math.copySign((x + (-0.16666666666666666 * Math.pow(x, 3.0))), x);
} else {
tmp = Math.copySign(Math.log((x + Math.hypot(1.0, x))), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.00092: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif x <= 0.00075: tmp = math.copysign((x + (-0.16666666666666666 * math.pow(x, 3.0))), x) else: tmp = math.copysign(math.log((x + math.hypot(1.0, x))), x) return tmp
function code(x) tmp = 0.0 if (x <= -0.00092) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (x <= 0.00075) tmp = copysign(Float64(x + Float64(-0.16666666666666666 * (x ^ 3.0))), x); else tmp = copysign(log(Float64(x + hypot(1.0, x))), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -0.00092) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (x <= 0.00075) tmp = sign(x) * abs((x + (-0.16666666666666666 * (x ^ 3.0)))); else tmp = sign(x) * abs(log((x + hypot(1.0, x)))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -0.00092], N[With[{TMP1 = Abs[(-N[Log[N[(N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision] - x), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 0.00075], N[With[{TMP1 = Abs[N[(x + N[(-0.16666666666666666 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.00092:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;x \leq 0.00075:\\
\;\;\;\;\mathsf{copysign}\left(x + -0.16666666666666666 \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x + \mathsf{hypot}\left(1, x\right)\right), x\right)\\
\end{array}
\end{array}
if x < -9.2000000000000003e-4Initial program 51.4%
+-commutative51.4%
hypot-1-def99.9%
Simplified99.9%
flip-+1.3%
clear-num1.3%
log-div1.3%
metadata-eval1.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
pow21.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt1.3%
hypot-1-def1.3%
hypot-1-def1.2%
add-sqr-sqrt1.3%
+-commutative1.3%
Applied egg-rr1.3%
neg-sub01.3%
div-sub1.3%
fma-undefine1.3%
unpow21.3%
associate--r+1.3%
+-inverses1.3%
metadata-eval1.3%
*-rgt-identity1.3%
associate-/l*1.3%
metadata-eval1.3%
*-commutative1.3%
fma-undefine1.3%
unpow21.3%
associate--r+49.9%
+-inverses99.9%
metadata-eval99.9%
*-rgt-identity99.9%
associate-/l*99.9%
metadata-eval99.9%
*-commutative99.9%
neg-mul-199.9%
Simplified99.9%
if -9.2000000000000003e-4 < x < 7.5000000000000002e-4Initial program 9.0%
+-commutative9.0%
hypot-1-def9.0%
Simplified9.0%
flip-+9.0%
div-sub9.0%
pow29.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.0%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt8.8%
Applied egg-rr9.0%
div-sub9.0%
fma-undefine9.0%
unpow29.0%
associate--r+9.0%
+-inverses9.0%
metadata-eval9.0%
metadata-eval9.0%
associate-/r*9.0%
neg-mul-19.0%
neg-sub09.0%
associate--r-9.0%
neg-sub09.0%
+-commutative9.0%
sub-neg9.0%
Simplified9.0%
Taylor expanded in x around 0 99.9%
distribute-rgt-in99.9%
*-lft-identity99.9%
associate-*l*99.9%
unpow299.9%
unpow399.9%
Simplified99.9%
if 7.5000000000000002e-4 < x Initial program 46.6%
+-commutative46.6%
hypot-1-def99.8%
Simplified99.8%
*-un-lft-identity99.8%
*-commutative99.8%
log-prod99.8%
add-sqr-sqrt99.8%
fabs-sqr99.8%
add-sqr-sqrt99.8%
metadata-eval99.8%
Applied egg-rr99.8%
+-rgt-identity99.8%
Simplified99.8%
(FPCore (x)
:precision binary64
(if (<= x -1.25)
(copysign (- (log (* x -2.0))) x)
(if (<= x 0.00075)
(copysign (+ x (* -0.16666666666666666 (pow x 3.0))) x)
(copysign (log (+ x (hypot 1.0 x))) x))))
double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = copysign(-log((x * -2.0)), x);
} else if (x <= 0.00075) {
tmp = copysign((x + (-0.16666666666666666 * pow(x, 3.0))), x);
} else {
tmp = copysign(log((x + hypot(1.0, x))), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (x <= 0.00075) {
tmp = Math.copySign((x + (-0.16666666666666666 * Math.pow(x, 3.0))), x);
} else {
tmp = Math.copySign(Math.log((x + Math.hypot(1.0, x))), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.25: tmp = math.copysign(-math.log((x * -2.0)), x) elif x <= 0.00075: tmp = math.copysign((x + (-0.16666666666666666 * math.pow(x, 3.0))), x) else: tmp = math.copysign(math.log((x + math.hypot(1.0, x))), x) return tmp
function code(x) tmp = 0.0 if (x <= -1.25) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (x <= 0.00075) tmp = copysign(Float64(x + Float64(-0.16666666666666666 * (x ^ 3.0))), x); else tmp = copysign(log(Float64(x + hypot(1.0, x))), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.25) tmp = sign(x) * abs(-log((x * -2.0))); elseif (x <= 0.00075) tmp = sign(x) * abs((x + (-0.16666666666666666 * (x ^ 3.0)))); else tmp = sign(x) * abs(log((x + hypot(1.0, x)))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.25], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 0.00075], N[With[{TMP1 = Abs[N[(x + N[(-0.16666666666666666 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x + N[Sqrt[1.0 ^ 2 + x ^ 2], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.25:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;x \leq 0.00075:\\
\;\;\;\;\mathsf{copysign}\left(x + -0.16666666666666666 \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x + \mathsf{hypot}\left(1, x\right)\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -1.25 < x < 7.5000000000000002e-4Initial program 9.6%
+-commutative9.6%
hypot-1-def9.7%
Simplified9.7%
flip-+9.7%
div-sub9.7%
pow29.7%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.7%
add-sqr-sqrt5.3%
fabs-sqr5.3%
add-sqr-sqrt9.0%
Applied egg-rr9.6%
div-sub9.6%
fma-undefine9.6%
unpow29.6%
associate--r+9.6%
+-inverses9.6%
metadata-eval9.6%
metadata-eval9.6%
associate-/r*9.6%
neg-mul-19.6%
neg-sub09.6%
associate--r-9.6%
neg-sub09.6%
+-commutative9.6%
sub-neg9.6%
Simplified9.6%
Taylor expanded in x around 0 99.6%
distribute-rgt-in99.6%
*-lft-identity99.6%
associate-*l*99.6%
unpow299.6%
unpow399.6%
Simplified99.6%
if 7.5000000000000002e-4 < x Initial program 46.6%
+-commutative46.6%
hypot-1-def99.8%
Simplified99.8%
*-un-lft-identity99.8%
*-commutative99.8%
log-prod99.8%
add-sqr-sqrt99.8%
fabs-sqr99.8%
add-sqr-sqrt99.8%
metadata-eval99.8%
Applied egg-rr99.8%
+-rgt-identity99.8%
Simplified99.8%
(FPCore (x)
:precision binary64
(if (<= x -1.25)
(copysign (- (log (* x -2.0))) x)
(if (<= x 1.25)
(copysign (+ x (* -0.16666666666666666 (pow x 3.0))) x)
(copysign (log (* x (+ 1.0 (/ x x)))) x))))
double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = copysign(-log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = copysign((x + (-0.16666666666666666 * pow(x, 3.0))), x);
} else {
tmp = copysign(log((x * (1.0 + (x / x)))), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = Math.copySign((x + (-0.16666666666666666 * Math.pow(x, 3.0))), x);
} else {
tmp = Math.copySign(Math.log((x * (1.0 + (x / x)))), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.25: tmp = math.copysign(-math.log((x * -2.0)), x) elif x <= 1.25: tmp = math.copysign((x + (-0.16666666666666666 * math.pow(x, 3.0))), x) else: tmp = math.copysign(math.log((x * (1.0 + (x / x)))), x) return tmp
function code(x) tmp = 0.0 if (x <= -1.25) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (x <= 1.25) tmp = copysign(Float64(x + Float64(-0.16666666666666666 * (x ^ 3.0))), x); else tmp = copysign(log(Float64(x * Float64(1.0 + Float64(x / x)))), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.25) tmp = sign(x) * abs(-log((x * -2.0))); elseif (x <= 1.25) tmp = sign(x) * abs((x + (-0.16666666666666666 * (x ^ 3.0)))); else tmp = sign(x) * abs(log((x * (1.0 + (x / x))))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.25], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 1.25], N[With[{TMP1 = Abs[N[(x + N[(-0.16666666666666666 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x * N[(1.0 + N[(x / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.25:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;x \leq 1.25:\\
\;\;\;\;\mathsf{copysign}\left(x + -0.16666666666666666 \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x \cdot \left(1 + \frac{x}{x}\right)\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -1.25 < x < 1.25Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 99.3%
distribute-rgt-in99.3%
*-lft-identity99.3%
associate-*l*99.3%
unpow299.3%
unpow399.3%
Simplified99.3%
if 1.25 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
Taylor expanded in x around inf 98.9%
rem-square-sqrt98.9%
fabs-sqr98.9%
rem-square-sqrt98.9%
Simplified98.9%
(FPCore (x)
:precision binary64
(if (<= x -1.25)
(copysign (- (log (* x -2.0))) x)
(if (<= x 1.25)
(copysign (+ x (* -0.16666666666666666 (pow x 3.0))) x)
(copysign (log (* x 2.0)) x))))
double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = copysign(-log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = copysign((x + (-0.16666666666666666 * pow(x, 3.0))), x);
} else {
tmp = copysign(log((x * 2.0)), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = Math.copySign((x + (-0.16666666666666666 * Math.pow(x, 3.0))), x);
} else {
tmp = Math.copySign(Math.log((x * 2.0)), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.25: tmp = math.copysign(-math.log((x * -2.0)), x) elif x <= 1.25: tmp = math.copysign((x + (-0.16666666666666666 * math.pow(x, 3.0))), x) else: tmp = math.copysign(math.log((x * 2.0)), x) return tmp
function code(x) tmp = 0.0 if (x <= -1.25) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (x <= 1.25) tmp = copysign(Float64(x + Float64(-0.16666666666666666 * (x ^ 3.0))), x); else tmp = copysign(log(Float64(x * 2.0)), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.25) tmp = sign(x) * abs(-log((x * -2.0))); elseif (x <= 1.25) tmp = sign(x) * abs((x + (-0.16666666666666666 * (x ^ 3.0)))); else tmp = sign(x) * abs(log((x * 2.0))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.25], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 1.25], N[With[{TMP1 = Abs[N[(x + N[(-0.16666666666666666 * N[Power[x, 3.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x * 2.0), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.25:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;x \leq 1.25:\\
\;\;\;\;\mathsf{copysign}\left(x + -0.16666666666666666 \cdot {x}^{3}, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x \cdot 2\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -1.25 < x < 1.25Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 99.3%
distribute-rgt-in99.3%
*-lft-identity99.3%
associate-*l*99.3%
unpow299.3%
unpow399.3%
Simplified99.3%
if 1.25 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
flip-+1.5%
div-sub1.6%
pow21.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+1.5%
+-inverses1.5%
metadata-eval1.5%
metadata-eval1.5%
associate-/r*1.5%
neg-mul-11.5%
neg-sub04.6%
associate--r-4.6%
neg-sub04.6%
+-commutative4.6%
sub-neg4.6%
Simplified4.6%
Taylor expanded in x around inf 98.9%
*-commutative98.9%
Simplified98.9%
(FPCore (x) :precision binary64 (if (<= x -1.25) (copysign (- (log (* x -2.0))) x) (if (<= x 1.25) (copysign x x) (copysign (log (* x 2.0)) x))))
double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = copysign(-log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = copysign(x, x);
} else {
tmp = copysign(log((x * 2.0)), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else if (x <= 1.25) {
tmp = Math.copySign(x, x);
} else {
tmp = Math.copySign(Math.log((x * 2.0)), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.25: tmp = math.copysign(-math.log((x * -2.0)), x) elif x <= 1.25: tmp = math.copysign(x, x) else: tmp = math.copysign(math.log((x * 2.0)), x) return tmp
function code(x) tmp = 0.0 if (x <= -1.25) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); elseif (x <= 1.25) tmp = copysign(x, x); else tmp = copysign(log(Float64(x * 2.0)), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.25) tmp = sign(x) * abs(-log((x * -2.0))); elseif (x <= 1.25) tmp = sign(x) * abs(x); else tmp = sign(x) * abs(log((x * 2.0))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.25], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $MachinePrecision])], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 1.25], N[With[{TMP1 = Abs[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x * 2.0), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.25:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{elif}\;x \leq 1.25:\\
\;\;\;\;\mathsf{copysign}\left(x, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x \cdot 2\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
clear-num100.0%
log-div100.0%
metadata-eval100.0%
div-inv100.0%
metadata-eval100.0%
Applied egg-rr100.0%
neg-sub0100.0%
Simplified100.0%
if -1.25 < x < 1.25Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 98.3%
if 1.25 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
flip-+1.5%
div-sub1.6%
pow21.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+1.5%
+-inverses1.5%
metadata-eval1.5%
metadata-eval1.5%
associate-/r*1.5%
neg-mul-11.5%
neg-sub04.6%
associate--r-4.6%
neg-sub04.6%
+-commutative4.6%
sub-neg4.6%
Simplified4.6%
Taylor expanded in x around inf 98.9%
*-commutative98.9%
Simplified98.9%
(FPCore (x) :precision binary64 (if (<= x -1.25) (copysign (log (/ -0.5 x)) x) (if (<= x 1.25) (copysign x x) (copysign (log (* x 2.0)) x))))
double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = copysign(log((-0.5 / x)), x);
} else if (x <= 1.25) {
tmp = copysign(x, x);
} else {
tmp = copysign(log((x * 2.0)), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.25) {
tmp = Math.copySign(Math.log((-0.5 / x)), x);
} else if (x <= 1.25) {
tmp = Math.copySign(x, x);
} else {
tmp = Math.copySign(Math.log((x * 2.0)), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.25: tmp = math.copysign(math.log((-0.5 / x)), x) elif x <= 1.25: tmp = math.copysign(x, x) else: tmp = math.copysign(math.log((x * 2.0)), x) return tmp
function code(x) tmp = 0.0 if (x <= -1.25) tmp = copysign(log(Float64(-0.5 / x)), x); elseif (x <= 1.25) tmp = copysign(x, x); else tmp = copysign(log(Float64(x * 2.0)), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -1.25) tmp = sign(x) * abs(log((-0.5 / x))); elseif (x <= 1.25) tmp = sign(x) * abs(x); else tmp = sign(x) * abs(log((x * 2.0))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -1.25], N[With[{TMP1 = Abs[N[Log[N[(-0.5 / x), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 1.25], N[With[{TMP1 = Abs[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x * 2.0), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.25:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(\frac{-0.5}{x}\right), x\right)\\
\mathbf{elif}\;x \leq 1.25:\\
\;\;\;\;\mathsf{copysign}\left(x, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x \cdot 2\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
flip-+0.0%
div-sub0.0%
pow20.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt0.0%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+49.3%
+-inverses100.0%
metadata-eval100.0%
metadata-eval100.0%
associate-/r*100.0%
neg-mul-1100.0%
neg-sub0100.0%
associate--r-100.0%
neg-sub0100.0%
+-commutative100.0%
sub-neg100.0%
Simplified100.0%
Taylor expanded in x around -inf 100.0%
if -1.25 < x < 1.25Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 98.3%
if 1.25 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
flip-+1.5%
div-sub1.6%
pow21.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+1.5%
+-inverses1.5%
metadata-eval1.5%
metadata-eval1.5%
associate-/r*1.5%
neg-mul-11.5%
neg-sub04.6%
associate--r-4.6%
neg-sub04.6%
+-commutative4.6%
sub-neg4.6%
Simplified4.6%
Taylor expanded in x around inf 98.9%
*-commutative98.9%
Simplified98.9%
(FPCore (x) :precision binary64 (if (<= x -3.2) (copysign (log (- x)) x) (if (<= x 1.25) (copysign x x) (copysign (log (* x 2.0)) x))))
double code(double x) {
double tmp;
if (x <= -3.2) {
tmp = copysign(log(-x), x);
} else if (x <= 1.25) {
tmp = copysign(x, x);
} else {
tmp = copysign(log((x * 2.0)), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -3.2) {
tmp = Math.copySign(Math.log(-x), x);
} else if (x <= 1.25) {
tmp = Math.copySign(x, x);
} else {
tmp = Math.copySign(Math.log((x * 2.0)), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -3.2: tmp = math.copysign(math.log(-x), x) elif x <= 1.25: tmp = math.copysign(x, x) else: tmp = math.copysign(math.log((x * 2.0)), x) return tmp
function code(x) tmp = 0.0 if (x <= -3.2) tmp = copysign(log(Float64(-x)), x); elseif (x <= 1.25) tmp = copysign(x, x); else tmp = copysign(log(Float64(x * 2.0)), x); end return tmp end
function tmp_2 = code(x) tmp = 0.0; if (x <= -3.2) tmp = sign(x) * abs(log(-x)); elseif (x <= 1.25) tmp = sign(x) * abs(x); else tmp = sign(x) * abs(log((x * 2.0))); end tmp_2 = tmp; end
code[x_] := If[LessEqual[x, -3.2], N[With[{TMP1 = Abs[N[Log[(-x)], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], If[LessEqual[x, 1.25], N[With[{TMP1 = Abs[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[N[(x * 2.0), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.2:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(-x\right), x\right)\\
\mathbf{elif}\;x \leq 1.25:\\
\;\;\;\;\mathsf{copysign}\left(x, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(x \cdot 2\right), x\right)\\
\end{array}
\end{array}
if x < -3.2000000000000002Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
Taylor expanded in x around -inf 31.7%
mul-1-neg31.7%
Simplified31.7%
if -3.2000000000000002 < x < 1.25Initial program 10.3%
+-commutative10.3%
hypot-1-def10.3%
Simplified10.3%
flip-+10.3%
div-sub10.3%
pow210.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt10.3%
add-sqr-sqrt6.0%
fabs-sqr6.0%
add-sqr-sqrt9.7%
Applied egg-rr10.2%
div-sub10.3%
fma-undefine10.3%
unpow210.3%
associate--r+10.3%
+-inverses10.3%
metadata-eval10.3%
metadata-eval10.3%
associate-/r*10.3%
neg-mul-110.3%
neg-sub010.3%
associate--r-10.3%
neg-sub010.3%
+-commutative10.3%
sub-neg10.3%
Simplified10.3%
Taylor expanded in x around 0 98.3%
if 1.25 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
flip-+1.5%
div-sub1.6%
pow21.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
add-sqr-sqrt1.6%
fabs-sqr1.6%
add-sqr-sqrt1.6%
Applied egg-rr1.5%
div-sub1.5%
fma-undefine1.5%
unpow21.5%
associate--r+1.5%
+-inverses1.5%
metadata-eval1.5%
metadata-eval1.5%
associate-/r*1.5%
neg-mul-11.5%
neg-sub04.6%
associate--r-4.6%
neg-sub04.6%
+-commutative4.6%
sub-neg4.6%
Simplified4.6%
Taylor expanded in x around inf 98.9%
*-commutative98.9%
Simplified98.9%
(FPCore (x) :precision binary64 (if (<= x -0.5) (copysign (log (- x)) x) (copysign (log1p x) x)))
double code(double x) {
double tmp;
if (x <= -0.5) {
tmp = copysign(log(-x), x);
} else {
tmp = copysign(log1p(x), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -0.5) {
tmp = Math.copySign(Math.log(-x), x);
} else {
tmp = Math.copySign(Math.log1p(x), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.5: tmp = math.copysign(math.log(-x), x) else: tmp = math.copysign(math.log1p(x), x) return tmp
function code(x) tmp = 0.0 if (x <= -0.5) tmp = copysign(log(Float64(-x)), x); else tmp = copysign(log1p(x), x); end return tmp end
code[x_] := If[LessEqual[x, -0.5], N[With[{TMP1 = Abs[N[Log[(-x)], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[1 + x], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.5:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(-x\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\mathsf{log1p}\left(x\right), x\right)\\
\end{array}
\end{array}
if x < -0.5Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
Taylor expanded in x around -inf 31.7%
mul-1-neg31.7%
Simplified31.7%
if -0.5 < x Initial program 21.6%
+-commutative21.6%
hypot-1-def38.9%
Simplified38.9%
Taylor expanded in x around 0 15.8%
log1p-define75.9%
rem-square-sqrt42.4%
fabs-sqr42.4%
rem-square-sqrt75.9%
Simplified75.9%
(FPCore (x) :precision binary64 (if (<= x 1.6) (copysign x x) (copysign (log1p x) x)))
double code(double x) {
double tmp;
if (x <= 1.6) {
tmp = copysign(x, x);
} else {
tmp = copysign(log1p(x), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= 1.6) {
tmp = Math.copySign(x, x);
} else {
tmp = Math.copySign(Math.log1p(x), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= 1.6: tmp = math.copysign(x, x) else: tmp = math.copysign(math.log1p(x), x) return tmp
function code(x) tmp = 0.0 if (x <= 1.6) tmp = copysign(x, x); else tmp = copysign(log1p(x), x); end return tmp end
code[x_] := If[LessEqual[x, 1.6], N[With[{TMP1 = Abs[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[N[Log[1 + x], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 1.6:\\
\;\;\;\;\mathsf{copysign}\left(x, x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\mathsf{log1p}\left(x\right), x\right)\\
\end{array}
\end{array}
if x < 1.6000000000000001Initial program 24.9%
+-commutative24.9%
hypot-1-def42.6%
Simplified42.6%
flip-+6.6%
div-sub6.6%
pow26.6%
add-sqr-sqrt3.8%
fabs-sqr3.8%
add-sqr-sqrt6.6%
add-sqr-sqrt3.8%
fabs-sqr3.8%
add-sqr-sqrt6.2%
Applied egg-rr7.1%
div-sub7.1%
fma-undefine7.1%
unpow27.1%
associate--r+24.3%
+-inverses42.6%
metadata-eval42.6%
metadata-eval42.6%
associate-/r*42.6%
neg-mul-142.6%
neg-sub042.6%
associate--r-42.6%
neg-sub042.6%
+-commutative42.6%
sub-neg42.6%
Simplified42.6%
Taylor expanded in x around 0 64.7%
if 1.6000000000000001 < x Initial program 45.8%
+-commutative45.8%
hypot-1-def100.0%
Simplified100.0%
Taylor expanded in x around 0 31.5%
log1p-define31.5%
rem-square-sqrt31.5%
fabs-sqr31.5%
rem-square-sqrt31.5%
Simplified31.5%
(FPCore (x) :precision binary64 (copysign x x))
double code(double x) {
return copysign(x, x);
}
public static double code(double x) {
return Math.copySign(x, x);
}
def code(x): return math.copysign(x, x)
function code(x) return copysign(x, x) end
function tmp = code(x) tmp = sign(x) * abs(x); end
code[x_] := N[With[{TMP1 = Abs[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]
\begin{array}{l}
\\
\mathsf{copysign}\left(x, x\right)
\end{array}
Initial program 29.7%
+-commutative29.7%
hypot-1-def55.9%
Simplified55.9%
flip-+5.4%
div-sub5.4%
pow25.4%
add-sqr-sqrt3.3%
fabs-sqr3.3%
add-sqr-sqrt5.4%
add-sqr-sqrt3.3%
fabs-sqr3.3%
add-sqr-sqrt5.1%
Applied egg-rr5.8%
div-sub5.8%
fma-undefine5.8%
unpow25.8%
associate--r+19.1%
+-inverses33.1%
metadata-eval33.1%
metadata-eval33.1%
associate-/r*33.1%
neg-mul-133.1%
neg-sub033.8%
associate--r-33.8%
neg-sub033.8%
+-commutative33.8%
sub-neg33.8%
Simplified33.8%
Taylor expanded in x around 0 51.0%
(FPCore (x) :precision binary64 (let* ((t_0 (/ 1.0 (fabs x)))) (copysign (log1p (+ (fabs x) (/ (fabs x) (+ (hypot 1.0 t_0) t_0)))) x)))
double code(double x) {
double t_0 = 1.0 / fabs(x);
return copysign(log1p((fabs(x) + (fabs(x) / (hypot(1.0, t_0) + t_0)))), x);
}
public static double code(double x) {
double t_0 = 1.0 / Math.abs(x);
return Math.copySign(Math.log1p((Math.abs(x) + (Math.abs(x) / (Math.hypot(1.0, t_0) + t_0)))), x);
}
def code(x): t_0 = 1.0 / math.fabs(x) return math.copysign(math.log1p((math.fabs(x) + (math.fabs(x) / (math.hypot(1.0, t_0) + t_0)))), x)
function code(x) t_0 = Float64(1.0 / abs(x)) return copysign(log1p(Float64(abs(x) + Float64(abs(x) / Float64(hypot(1.0, t_0) + t_0)))), x) end
code[x_] := Block[{t$95$0 = N[(1.0 / N[Abs[x], $MachinePrecision]), $MachinePrecision]}, N[With[{TMP1 = Abs[N[Log[1 + N[(N[Abs[x], $MachinePrecision] + N[(N[Abs[x], $MachinePrecision] / N[(N[Sqrt[1.0 ^ 2 + t$95$0 ^ 2], $MachinePrecision] + t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{1}{\left|x\right|}\\
\mathsf{copysign}\left(\mathsf{log1p}\left(\left|x\right| + \frac{\left|x\right|}{\mathsf{hypot}\left(1, t\_0\right) + t\_0}\right), x\right)
\end{array}
\end{array}
herbie shell --seed 2024103
(FPCore (x)
:name "Rust f64::asinh"
:precision binary64
:alt
(copysign (log1p (+ (fabs x) (/ (fabs x) (+ (hypot 1.0 (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))))) x)
(copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x))