Rust f64::atanh

Time bar (total: 1.2s)

analyze2.0ms (0.2%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
50%25%25%0%0%50%0%4
75%37.5%12.5%0%0%50%0%5
87.5%43.7%6.2%0%0%50%0%6
93.8%46.9%3.1%0%0%50%0%7
96.9%48.4%1.6%0%0%50%0%8
98.4%49.2%0.8%0%0%50%0%9
99.2%49.6%0.4%0%0%50%0%10
99.6%49.8%0.2%0%0%50%0%11
99.8%49.9%0.1%0%0%50%0%12
Compiler

Compiled 4 to 3 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
Operation ival-atanh, time spent: 1.0ms, 168.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample943.0ms (78.4%)

Results
916.0ms8255×256valid
0.0ms256invalid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 95.0ms
Operation ival-atanh, time spent: 87.0ms, 91.0% of total-time
Operation const, time spent: 8.0ms, 8.0% of total-time
Bogosity

preprocess258.0ms (21.4%)

Algorithm
egg-herbie
Rules
252×fma-define
48×sub-neg
44×fma-neg
26×*-commutative
24×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01871
13571
24571
35871
47371
59271
614971
725671
831471
934971
1037271
1138371
1243971
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 #s(literal 1/2 binary64) (log1p.f64 (/.f64 (*.f64 #s(literal 2 binary64) x) (-.f64 #s(literal 1 binary64) x))))
(atanh.f64 x)
(atanh.f64 (neg.f64 x))
(neg.f64 (atanh.f64 (neg.f64 x)))
Outputs
(*.f64 #s(literal 1/2 binary64) (log1p.f64 (/.f64 (*.f64 #s(literal 2 binary64) x) (-.f64 #s(literal 1 binary64) x))))
(*.f64 #s(literal 1/2 binary64) (log1p.f64 (*.f64 x (/.f64 #s(literal 2 binary64) (-.f64 #s(literal 1 binary64) x)))))
(atanh.f64 x)
(atanh.f64 (neg.f64 x))
(neg.f64 (atanh.f64 (neg.f64 x)))
Compiler

Compiled 38 to 28 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 243.0ms
Operation composed, time spent: 95.0ms, 39.0% of total-time
Operation ival-log, time spent: 83.0ms, 34.0% of total-time
Operation ival-mult, time spent: 27.0ms, 11.0% of total-time
Operation ival-div, time spent: 15.0ms, 6.0% of total-time
Operation ival-sub, time spent: 13.0ms, 5.0% of total-time
Operation ival-add, time spent: 7.0ms, 3.0% of total-time
Operation const, time spent: 5.0ms, 2.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...