Rust f32::atanh

Time bar (total: 1.6s)

analyze5.0ms (0.3%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.6%0.4%0%0%0%0
0%0%99.6%0.4%0%0%0%1
0%0%99.6%0.4%0%0%0%2
0%0%49.8%0.4%0%49.8%0%3
50%24.9%24.9%0.4%0%49.8%0%4
75%37.4%12.5%0.4%0%49.8%0%5
87.5%43.6%6.2%0.4%0%49.8%0%6
93.8%46.7%3.1%0.4%0%49.8%0%7
96.9%48.2%1.6%0.4%0%49.8%0%8
98.4%49%0.8%0.4%0%49.8%0%9
99.2%49.4%0.4%0.4%0%49.8%0%10
99.6%49.4%0.2%0.4%0%50%0%11
99.8%49.5%0.1%0.4%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, 142.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.4s (88.5%)

Results
1.4s8255×256valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 150.0ms
Operation ival-atanh, time spent: 142.0ms, 94.0% of total-time
Operation const, time spent: 9.0ms, 6.0% of total-time
Bogosity

preprocess176.0ms (11.2%)

Algorithm
egg-herbie
Rules
126×fma-define
24×sub-neg
22×fma-neg
13×*-commutative
12×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
(*.f32 #s(literal 1/2 binary32) (log1p.f32 (/.f32 (*.f32 #s(literal 2 binary32) x) (-.f32 #s(literal 1 binary32) x))))
(atanh.f32 x)
(atanh.f32 (neg.f32 x))
(neg.f32 (atanh.f32 (neg.f32 x)))
Outputs
(*.f32 #s(literal 1/2 binary32) (log1p.f32 (/.f32 (*.f32 #s(literal 2 binary32) x) (-.f32 #s(literal 1 binary32) x))))
(*.f32 #s(literal 1/2 binary32) (log1p.f32 (*.f32 x (/.f32 #s(literal 2 binary32) (-.f32 #s(literal 1 binary32) x)))))
(atanh.f32 x)
(atanh.f32 (neg.f32 x))
(neg.f32 (atanh.f32 (neg.f32 x)))
Compiler

Compiled 38 to 28 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 65.0ms
Operation composed, time spent: 21.0ms, 32.0% of total-time
Operation ival-log, time spent: 16.0ms, 24.0% of total-time
Operation ival-mult, time spent: 11.0ms, 17.0% of total-time
Operation ival-div, time spent: 6.0ms, 9.0% of total-time
Operation ival-sub, time spent: 5.0ms, 8.0% of total-time
Operation ival-add, time spent: 3.0ms, 5.0% of total-time
Operation const, time spent: 2.0ms, 3.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...