Rust f64::asinh

Time bar (total: 402.0ms)

analyze0.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 4 to 4 computations (0% saved)

sample391.0ms (97.2%)

Memory
-0.2MiB live, 630.3MiB allocated
Samples
273.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 114.0ms
ival-asinh: 107.0ms (93.5% of total)
ival-true: 5.0ms (4.4% of total)
ival-assert: 3.0ms (2.6% of total)
Bogosity

preprocess11.0ms (2.7%)

Memory
25.8MiB live, 25.8MiB allocated
Algorithm
2×egg-herbie
Rules
12×sub-neg
8×+-lowering-+.f64
8×+-lowering-+.f32
8×+-commutative
4×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
059
1119
2159
3189
4229
5299
6369
0912
11312
01311
Stop Event
1×iter limit
1×saturated
1×saturated
Calls
Call 1
Inputs
(copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x)
Outputs
(copysign (log (+ (fabs x) (sqrt (+ (* x x) 1)))) x)
(copysign.f64 (log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (fma.f64 x x #s(literal 1 binary64))))) x)
Call 2
Inputs
(asinh x)
(asinh (neg x))
(neg (asinh (neg x)))
Outputs
(asinh x)
(asinh (neg x))
(neg (asinh (neg x)))

explain0.0ms (0.1%)

Memory
0.7MiB live, 0.7MiB allocated
Compiler

Compiled 51 to 11 computations (78.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...