Rust f64::asinh
Time bar (total: 920.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 4 to 3 computations (25% saved)
ival-asinh, time spent: 0.0ms, 0.0% of total-timeconst, time spent: 0.0ms, 0.0% of total-time| 707.0ms | 8255× | 256 | valid |
| 0.0ms | 1× | 256 | valid |
ival-asinh, time spent: 146.0ms, 95.0% of total-timeconst, time spent: 8.0ms, 5.0% of total-time| 1× | egg-herbie |
| 106× | fma-define |
| 42× | fma-neg |
| 24× | unsub-neg |
| 24× | sub-neg |
| 20× | neg-mul-1 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 81 |
| 1 | 32 | 72 |
| 2 | 37 | 72 |
| 3 | 41 | 72 |
| 4 | 49 | 72 |
| 5 | 56 | 72 |
| 6 | 68 | 72 |
| 7 | 81 | 72 |
| 8 | 94 | 72 |
| 9 | 106 | 72 |
| 10 | 149 | 72 |
| 11 | 207 | 72 |
| 12 | 226 | 72 |
| 13 | 246 | 72 |
| 14 | 254 | 72 |
| 15 | 258 | 72 |
| 1× | saturated |
| Inputs |
|---|
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) |
(asinh.f64 x) |
(asinh.f64 (neg.f64 x)) |
(neg.f64 (asinh.f64 (neg.f64 x))) |
| Outputs |
|---|
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64))))) x) |
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (fma.f64 x x #s(literal 1 binary64))))) x) |
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (hypot.f64 #s(literal 1 binary64) x))) x) |
(asinh.f64 x) |
(asinh.f64 (neg.f64 x)) |
(neg.f64 (asinh.f64 (neg.f64 x))) |
Compiled 54 to 25 computations (53.7% saved)
ival-log, time spent: 46.0ms, 51.0% of total-timeival-add, time spent: 19.0ms, 21.0% of total-timeival-sqrt, time spent: 15.0ms, 17.0% of total-timeival-mult, time spent: 4.0ms, 4.0% of total-timeconst, time spent: 2.0ms, 2.0% of total-timeival-copysign, time spent: 2.0ms, 2.0% of total-timeival-fabs, time spent: 2.0ms, 2.0% of total-timeLoading profile data...