
(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 10 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 -5.0)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= t_0 1e-13)
(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 (+ 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 <= -5.0) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (t_0 <= 1e-13) {
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((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 <= -5.0) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (t_0 <= 1e-13) {
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((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 <= -5.0: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif t_0 <= 1e-13: 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((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 <= -5.0) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (t_0 <= 1e-13) 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(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 <= -5.0) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (t_0 <= 1e-13) 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(log((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, -5.0], 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, 1e-13], 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[(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}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -5:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-13}:\\
\;\;\;\;\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(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) < -5Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
if -5 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 1e-13Initial program 8.7%
+-commutative8.7%
hypot-1-def8.7%
Simplified8.7%
flip-+8.7%
clear-num8.7%
log-div8.7%
metadata-eval8.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
pow28.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
hypot-1-def8.7%
hypot-1-def8.7%
add-sqr-sqrt8.7%
+-commutative8.7%
Applied egg-rr8.7%
neg-sub08.7%
div-sub8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
neg-mul-18.7%
Simplified8.7%
Taylor expanded in x around 0 100.0%
if 1e-13 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
*-un-lft-identity100.0%
*-commutative100.0%
log-prod100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
metadata-eval100.0%
Applied egg-rr100.0%
+-rgt-identity100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x)
:precision binary64
(let* ((t_0 (copysign (log (+ (fabs x) (sqrt (+ (* x x) 1.0)))) x)))
(if (<= t_0 -5.0)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= t_0 1e-13)
(copysign
(*
x
(-
1.0
(* (pow x 2.0) (+ 0.16666666666666666 (* (pow x 2.0) -0.075)))))
x)
(copysign (log (+ 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 <= -5.0) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (t_0 <= 1e-13) {
tmp = copysign((x * (1.0 - (pow(x, 2.0) * (0.16666666666666666 + (pow(x, 2.0) * -0.075))))), x);
} else {
tmp = copysign(log((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 <= -5.0) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (t_0 <= 1e-13) {
tmp = Math.copySign((x * (1.0 - (Math.pow(x, 2.0) * (0.16666666666666666 + (Math.pow(x, 2.0) * -0.075))))), x);
} else {
tmp = Math.copySign(Math.log((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 <= -5.0: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif t_0 <= 1e-13: tmp = math.copysign((x * (1.0 - (math.pow(x, 2.0) * (0.16666666666666666 + (math.pow(x, 2.0) * -0.075))))), x) else: tmp = math.copysign(math.log((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 <= -5.0) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (t_0 <= 1e-13) tmp = copysign(Float64(x * Float64(1.0 - Float64((x ^ 2.0) * Float64(0.16666666666666666 + Float64((x ^ 2.0) * -0.075))))), x); else tmp = copysign(log(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 <= -5.0) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (t_0 <= 1e-13) tmp = sign(x) * abs((x * (1.0 - ((x ^ 2.0) * (0.16666666666666666 + ((x ^ 2.0) * -0.075)))))); else tmp = sign(x) * abs(log((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, -5.0], 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, 1e-13], N[With[{TMP1 = Abs[N[(x * N[(1.0 - N[(N[Power[x, 2.0], $MachinePrecision] * N[(0.16666666666666666 + N[(N[Power[x, 2.0], $MachinePrecision] * -0.075), $MachinePrecision]), $MachinePrecision]), $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}
t_0 := \mathsf{copysign}\left(\log \left(\left|x\right| + \sqrt{x \cdot x + 1}\right), x\right)\\
\mathbf{if}\;t\_0 \leq -5:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;t\_0 \leq 10^{-13}:\\
\;\;\;\;\mathsf{copysign}\left(x \cdot \left(1 - {x}^{2} \cdot \left(0.16666666666666666 + {x}^{2} \cdot -0.075\right)\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\log \left(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) < -5Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
if -5 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) < 1e-13Initial program 8.7%
+-commutative8.7%
hypot-1-def8.7%
Simplified8.7%
flip-+8.7%
clear-num8.7%
log-div8.7%
metadata-eval8.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
pow28.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
hypot-1-def8.7%
hypot-1-def8.7%
add-sqr-sqrt8.7%
+-commutative8.7%
Applied egg-rr8.7%
neg-sub08.7%
div-sub8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
neg-mul-18.7%
Simplified8.7%
Taylor expanded in x around 0 99.9%
if 1e-13 < (copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
*-un-lft-identity100.0%
*-commutative100.0%
log-prod100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
metadata-eval100.0%
Applied egg-rr100.0%
+-rgt-identity100.0%
Simplified100.0%
Final simplification100.0%
(FPCore (x)
:precision binary64
(if (<= x -1.25)
(copysign (- (log (* x -2.0))) x)
(if (<= x 0.0011)
(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.0011) {
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.0011) {
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.0011: 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.0011) 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.0011) 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.0011], 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.0011:\\
\;\;\;\;\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 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
Taylor expanded in x around -inf 98.7%
*-commutative98.7%
Simplified98.7%
if -1.25 < x < 0.00110000000000000007Initial program 8.7%
+-commutative8.7%
hypot-1-def8.7%
Simplified8.7%
flip-+8.7%
clear-num8.7%
log-div8.7%
metadata-eval8.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
pow28.7%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt8.7%
hypot-1-def8.7%
hypot-1-def8.7%
add-sqr-sqrt8.7%
+-commutative8.7%
Applied egg-rr8.7%
neg-sub08.7%
div-sub8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
fma-undefine8.7%
unpow28.7%
associate--r+8.7%
+-inverses8.7%
metadata-eval8.7%
*-rgt-identity8.7%
associate-/l*8.7%
metadata-eval8.7%
*-commutative8.7%
neg-mul-18.7%
Simplified8.7%
Taylor expanded in x around 0 99.9%
Taylor expanded in x around 0 99.6%
fma-neg99.6%
metadata-eval99.6%
fma-undefine99.6%
distribute-rgt-out99.6%
mul-1-neg99.6%
unsub-neg99.6%
associate-*l*99.6%
unpow299.6%
unpow399.6%
Simplified99.6%
if 0.00110000000000000007 < x Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
*-un-lft-identity100.0%
*-commutative100.0%
log-prod100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
metadata-eval100.0%
Applied egg-rr100.0%
+-rgt-identity100.0%
Simplified100.0%
Final simplification99.5%
(FPCore (x)
:precision binary64
(if (<= x -0.00078)
(copysign (- (log (- (hypot 1.0 x) x))) x)
(if (<= x 0.0011)
(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.00078) {
tmp = copysign(-log((hypot(1.0, x) - x)), x);
} else if (x <= 0.0011) {
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.00078) {
tmp = Math.copySign(-Math.log((Math.hypot(1.0, x) - x)), x);
} else if (x <= 0.0011) {
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.00078: tmp = math.copysign(-math.log((math.hypot(1.0, x) - x)), x) elif x <= 0.0011: 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.00078) tmp = copysign(Float64(-log(Float64(hypot(1.0, x) - x))), x); elseif (x <= 0.0011) 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.00078) tmp = sign(x) * abs(-log((hypot(1.0, x) - x))); elseif (x <= 0.0011) 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.00078], 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.0011], 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.00078:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(\mathsf{hypot}\left(1, x\right) - x\right), x\right)\\
\mathbf{elif}\;x \leq 0.0011:\\
\;\;\;\;\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 < -7.79999999999999986e-4Initial program 42.8%
+-commutative42.8%
hypot-1-def99.7%
Simplified99.7%
flip-+5.2%
clear-num5.2%
log-div5.2%
metadata-eval5.2%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt5.9%
pow25.9%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt5.9%
hypot-1-def5.9%
hypot-1-def5.9%
add-sqr-sqrt5.9%
+-commutative5.9%
Applied egg-rr5.9%
neg-sub05.9%
div-sub5.9%
fma-undefine5.9%
unpow25.9%
associate--r+5.9%
+-inverses5.9%
metadata-eval5.9%
*-rgt-identity5.9%
associate-/l*5.9%
metadata-eval5.9%
*-commutative5.9%
fma-undefine5.9%
unpow25.9%
associate--r+40.9%
+-inverses99.7%
metadata-eval99.7%
*-rgt-identity99.7%
associate-/l*99.7%
metadata-eval99.7%
*-commutative99.7%
neg-mul-199.7%
Simplified99.7%
if -7.79999999999999986e-4 < x < 0.00110000000000000007Initial program 7.4%
+-commutative7.4%
hypot-1-def7.4%
Simplified7.4%
flip-+7.4%
clear-num7.4%
log-div7.4%
metadata-eval7.4%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt7.4%
pow27.4%
add-sqr-sqrt3.4%
fabs-sqr3.4%
add-sqr-sqrt7.4%
hypot-1-def7.4%
hypot-1-def7.4%
add-sqr-sqrt7.4%
+-commutative7.4%
Applied egg-rr7.4%
neg-sub07.4%
div-sub7.4%
fma-undefine7.4%
unpow27.4%
associate--r+7.4%
+-inverses7.4%
metadata-eval7.4%
*-rgt-identity7.4%
associate-/l*7.4%
metadata-eval7.4%
*-commutative7.4%
fma-undefine7.4%
unpow27.4%
associate--r+7.4%
+-inverses7.4%
metadata-eval7.4%
*-rgt-identity7.4%
associate-/l*7.4%
metadata-eval7.4%
*-commutative7.4%
neg-mul-17.4%
Simplified7.4%
Taylor expanded in x around 0 100.0%
Taylor expanded in x around 0 100.0%
fma-neg100.0%
metadata-eval100.0%
fma-undefine100.0%
distribute-rgt-out100.0%
mul-1-neg100.0%
unsub-neg100.0%
associate-*l*100.0%
unpow2100.0%
unpow3100.0%
Simplified100.0%
if 0.00110000000000000007 < x Initial program 50.9%
+-commutative50.9%
hypot-1-def100.0%
Simplified100.0%
*-un-lft-identity100.0%
*-commutative100.0%
log-prod100.0%
add-sqr-sqrt100.0%
fabs-sqr100.0%
add-sqr-sqrt100.0%
metadata-eval100.0%
Applied egg-rr100.0%
+-rgt-identity100.0%
Simplified100.0%
Final simplification99.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 (/ 0.5 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((0.5 / 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((0.5 / 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((0.5 / 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(Float64(-log(Float64(0.5 / 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((0.5 / 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[(0.5 / x), $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(\frac{0.5}{x}\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
Taylor expanded in x around -inf 98.7%
*-commutative98.7%
Simplified98.7%
if -1.25 < x < 1.25Initial program 9.5%
+-commutative9.5%
hypot-1-def9.5%
Simplified9.5%
flip-+9.4%
clear-num9.4%
log-div9.5%
metadata-eval9.5%
add-sqr-sqrt4.2%
fabs-sqr4.2%
add-sqr-sqrt9.5%
pow29.5%
add-sqr-sqrt4.2%
fabs-sqr4.2%
add-sqr-sqrt9.5%
hypot-1-def9.5%
hypot-1-def9.5%
add-sqr-sqrt9.4%
+-commutative9.4%
Applied egg-rr9.4%
neg-sub09.4%
div-sub9.4%
fma-undefine9.4%
unpow29.4%
associate--r+9.4%
+-inverses9.4%
metadata-eval9.4%
*-rgt-identity9.4%
associate-/l*9.4%
metadata-eval9.4%
*-commutative9.4%
fma-undefine9.4%
unpow29.4%
associate--r+9.5%
+-inverses9.5%
metadata-eval9.5%
*-rgt-identity9.5%
associate-/l*9.5%
metadata-eval9.5%
*-commutative9.5%
neg-mul-19.5%
Simplified9.5%
Taylor expanded in x around 0 99.4%
Taylor expanded in x around 0 99.0%
fma-neg99.0%
metadata-eval99.0%
fma-undefine99.0%
distribute-rgt-out99.0%
mul-1-neg99.0%
unsub-neg99.0%
associate-*l*99.0%
unpow299.0%
unpow399.0%
Simplified99.0%
if 1.25 < x Initial program 50.3%
+-commutative50.3%
hypot-1-def100.0%
Simplified100.0%
flip-+3.6%
clear-num3.6%
log-div3.6%
metadata-eval3.6%
add-sqr-sqrt4.0%
fabs-sqr4.0%
add-sqr-sqrt3.6%
pow23.6%
add-sqr-sqrt4.4%
fabs-sqr4.4%
add-sqr-sqrt3.6%
hypot-1-def3.6%
hypot-1-def3.6%
add-sqr-sqrt3.6%
+-commutative3.6%
Applied egg-rr3.6%
neg-sub03.6%
div-sub3.6%
fma-undefine3.6%
unpow23.6%
associate--r+3.6%
+-inverses3.6%
metadata-eval3.6%
*-rgt-identity3.6%
associate-/l*3.6%
metadata-eval3.6%
*-commutative3.6%
fma-undefine3.6%
unpow23.6%
associate--r+5.0%
+-inverses6.6%
metadata-eval6.6%
*-rgt-identity6.6%
associate-/l*6.6%
metadata-eval6.6%
*-commutative6.6%
neg-mul-16.6%
Simplified6.6%
Taylor expanded in x around inf 97.6%
Final simplification98.5%
(FPCore (x) :precision binary64 (if (<= x -1.25) (copysign (- (log (* x -2.0))) x) (if (<= x 1.25) (copysign x x) (copysign (- (log (/ 0.5 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, x);
} else {
tmp = copysign(-log((0.5 / 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, x);
} else {
tmp = Math.copySign(-Math.log((0.5 / 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, x) else: tmp = math.copysign(-math.log((0.5 / 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(x, x); else tmp = copysign(Float64(-log(Float64(0.5 / 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); else tmp = sign(x) * abs(-log((0.5 / 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[x], TMP2 = Sign[x]}, TMP1 * If[TMP2 == 0, 1, TMP2]], $MachinePrecision], N[With[{TMP1 = Abs[(-N[Log[N[(0.5 / x), $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(\frac{0.5}{x}\right), x\right)\\
\end{array}
\end{array}
if x < -1.25Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
Taylor expanded in x around -inf 98.7%
*-commutative98.7%
Simplified98.7%
if -1.25 < x < 1.25Initial program 9.5%
+-commutative9.5%
hypot-1-def9.5%
Simplified9.5%
flip-+9.4%
clear-num9.4%
log-div9.5%
metadata-eval9.5%
add-sqr-sqrt4.2%
fabs-sqr4.2%
add-sqr-sqrt9.5%
pow29.5%
add-sqr-sqrt4.2%
fabs-sqr4.2%
add-sqr-sqrt9.5%
hypot-1-def9.5%
hypot-1-def9.5%
add-sqr-sqrt9.4%
+-commutative9.4%
Applied egg-rr9.4%
neg-sub09.4%
div-sub9.4%
fma-undefine9.4%
unpow29.4%
associate--r+9.4%
+-inverses9.4%
metadata-eval9.4%
*-rgt-identity9.4%
associate-/l*9.4%
metadata-eval9.4%
*-commutative9.4%
fma-undefine9.4%
unpow29.4%
associate--r+9.5%
+-inverses9.5%
metadata-eval9.5%
*-rgt-identity9.5%
associate-/l*9.5%
metadata-eval9.5%
*-commutative9.5%
neg-mul-19.5%
Simplified9.5%
Taylor expanded in x around 0 98.1%
neg-mul-198.1%
Simplified98.1%
if 1.25 < x Initial program 50.3%
+-commutative50.3%
hypot-1-def100.0%
Simplified100.0%
flip-+3.6%
clear-num3.6%
log-div3.6%
metadata-eval3.6%
add-sqr-sqrt4.0%
fabs-sqr4.0%
add-sqr-sqrt3.6%
pow23.6%
add-sqr-sqrt4.4%
fabs-sqr4.4%
add-sqr-sqrt3.6%
hypot-1-def3.6%
hypot-1-def3.6%
add-sqr-sqrt3.6%
+-commutative3.6%
Applied egg-rr3.6%
neg-sub03.6%
div-sub3.6%
fma-undefine3.6%
unpow23.6%
associate--r+3.6%
+-inverses3.6%
metadata-eval3.6%
*-rgt-identity3.6%
associate-/l*3.6%
metadata-eval3.6%
*-commutative3.6%
fma-undefine3.6%
unpow23.6%
associate--r+5.0%
+-inverses6.6%
metadata-eval6.6%
*-rgt-identity6.6%
associate-/l*6.6%
metadata-eval6.6%
*-commutative6.6%
neg-mul-16.6%
Simplified6.6%
Taylor expanded in x around inf 97.6%
Final simplification98.1%
(FPCore (x) :precision binary64 (if (<= x -0.72) (copysign (- (log (* x -2.0))) x) (copysign (log1p x) x)))
double code(double x) {
double tmp;
if (x <= -0.72) {
tmp = copysign(-log((x * -2.0)), x);
} else {
tmp = copysign(log1p(x), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -0.72) {
tmp = Math.copySign(-Math.log((x * -2.0)), x);
} else {
tmp = Math.copySign(Math.log1p(x), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -0.72: tmp = math.copysign(-math.log((x * -2.0)), x) else: tmp = math.copysign(math.log1p(x), x) return tmp
function code(x) tmp = 0.0 if (x <= -0.72) tmp = copysign(Float64(-log(Float64(x * -2.0))), x); else tmp = copysign(log1p(x), x); end return tmp end
code[x_] := If[LessEqual[x, -0.72], N[With[{TMP1 = Abs[(-N[Log[N[(x * -2.0), $MachinePrecision]], $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.72:\\
\;\;\;\;\mathsf{copysign}\left(-\log \left(x \cdot -2\right), x\right)\\
\mathbf{else}:\\
\;\;\;\;\mathsf{copysign}\left(\mathsf{log1p}\left(x\right), x\right)\\
\end{array}
\end{array}
if x < -0.71999999999999997Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
flip-+2.5%
clear-num2.5%
log-div2.5%
metadata-eval2.5%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
pow23.3%
add-sqr-sqrt0.0%
fabs-sqr0.0%
add-sqr-sqrt3.3%
hypot-1-def3.3%
hypot-1-def3.3%
add-sqr-sqrt3.3%
+-commutative3.3%
Applied egg-rr3.3%
neg-sub03.3%
div-sub3.3%
fma-undefine3.3%
unpow23.3%
associate--r+3.3%
+-inverses3.3%
metadata-eval3.3%
*-rgt-identity3.3%
associate-/l*3.3%
metadata-eval3.3%
*-commutative3.3%
fma-undefine3.3%
unpow23.3%
associate--r+39.3%
+-inverses100.0%
metadata-eval100.0%
*-rgt-identity100.0%
associate-/l*100.0%
metadata-eval100.0%
*-commutative100.0%
neg-mul-1100.0%
Simplified100.0%
Taylor expanded in x around -inf 98.7%
*-commutative98.7%
Simplified98.7%
if -0.71999999999999997 < x Initial program 25.4%
+-commutative25.4%
hypot-1-def44.8%
Simplified44.8%
Taylor expanded in x around 0 16.8%
log1p-define71.6%
rem-square-sqrt43.4%
fabs-sqr43.4%
rem-square-sqrt71.6%
Simplified71.6%
Final simplification78.0%
(FPCore (x) :precision binary64 (if (<= x -1.0) (copysign (log (- x)) x) (copysign (log1p x) x)))
double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = copysign(log(-x), x);
} else {
tmp = copysign(log1p(x), x);
}
return tmp;
}
public static double code(double x) {
double tmp;
if (x <= -1.0) {
tmp = Math.copySign(Math.log(-x), x);
} else {
tmp = Math.copySign(Math.log1p(x), x);
}
return tmp;
}
def code(x): tmp = 0 if x <= -1.0: 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 <= -1.0) tmp = copysign(log(Float64(-x)), x); else tmp = copysign(log1p(x), x); end return tmp end
code[x_] := If[LessEqual[x, -1.0], 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 -1:\\
\;\;\;\;\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 < -1Initial program 41.3%
+-commutative41.3%
hypot-1-def100.0%
Simplified100.0%
Taylor expanded in x around -inf 31.7%
mul-1-neg31.7%
Simplified31.7%
if -1 < x Initial program 25.4%
+-commutative25.4%
hypot-1-def44.8%
Simplified44.8%
Taylor expanded in x around 0 16.8%
log1p-define71.6%
rem-square-sqrt43.4%
fabs-sqr43.4%
rem-square-sqrt71.6%
Simplified71.6%
Final simplification62.1%
(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 20.3%
+-commutative20.3%
hypot-1-def40.2%
Simplified40.2%
flip-+7.1%
clear-num7.1%
log-div7.1%
metadata-eval7.1%
add-sqr-sqrt2.8%
fabs-sqr2.8%
add-sqr-sqrt7.4%
pow27.4%
add-sqr-sqrt2.8%
fabs-sqr2.8%
add-sqr-sqrt7.4%
hypot-1-def7.4%
hypot-1-def7.4%
add-sqr-sqrt7.3%
+-commutative7.3%
Applied egg-rr7.3%
neg-sub07.3%
div-sub7.3%
fma-undefine7.3%
unpow27.3%
associate--r+7.3%
+-inverses7.3%
metadata-eval7.3%
*-rgt-identity7.3%
associate-/l*7.3%
metadata-eval7.3%
*-commutative7.3%
fma-undefine7.3%
unpow27.3%
associate--r+19.6%
+-inverses40.2%
metadata-eval40.2%
*-rgt-identity40.2%
associate-/l*40.2%
metadata-eval40.2%
*-commutative40.2%
neg-mul-140.2%
Simplified40.2%
Taylor expanded in x around 0 66.6%
neg-mul-166.6%
Simplified66.6%
if 1.6000000000000001 < x Initial program 50.3%
+-commutative50.3%
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%
Final simplification56.2%
(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.2%
+-commutative29.2%
hypot-1-def57.9%
Simplified57.9%
flip-+6.1%
clear-num6.1%
log-div6.1%
metadata-eval6.1%
add-sqr-sqrt3.1%
fabs-sqr3.1%
add-sqr-sqrt6.2%
pow26.2%
add-sqr-sqrt3.2%
fabs-sqr3.2%
add-sqr-sqrt6.2%
hypot-1-def6.2%
hypot-1-def6.2%
add-sqr-sqrt6.2%
+-commutative6.2%
Applied egg-rr6.2%
neg-sub06.2%
div-sub6.2%
fma-undefine6.2%
unpow26.2%
associate--r+6.2%
+-inverses6.2%
metadata-eval6.2%
*-rgt-identity6.2%
associate-/l*6.2%
metadata-eval6.2%
*-commutative6.2%
fma-undefine6.2%
unpow26.2%
associate--r+15.3%
+-inverses30.2%
metadata-eval30.2%
*-rgt-identity30.2%
associate-/l*30.2%
metadata-eval30.2%
*-commutative30.2%
neg-mul-130.2%
Simplified30.2%
Taylor expanded in x around 0 48.4%
neg-mul-148.4%
Simplified48.4%
Final simplification48.4%
(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 2024077
(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))