Rust f32::acosh

Time bar (total: 669.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample477.0ms (71.3%)

Memory
-24.8MiB live, 496.4MiB allocated; 85ms collecting garbage
Samples
343.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 166.0ms
ival-acosh: 162.0ms (97.3% of total)
adjust: 2.0ms (1.2% of total)
ival-assert: 2.0ms (1.2% of total)
Bogosity

explain103.0ms (15.4%)

Memory
10.9MiB live, 153.8MiB allocated; 27ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1360-0-(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))
20-0-(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))
00-0-(-.f32 (*.f32 x x) #s(literal 1 binary32))
00-0-(*.f32 x x)
00-0-#s(literal 1 binary32)
00-0-(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f32(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))oflow-rescue1360
(*.f32 x x)overflow136
(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow136
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue20
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow2
(*.f32 x x)overflow136
(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow136
Confusion
Predicted +Predicted -
+1360
-0120
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+13600
-00120
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0120
1134
22
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
37.0ms512×0valid
Compiler

Compiled 79 to 25 computations (68.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.0ms
ival-log: 5.0ms (26.4% of total)
ival-mult: 4.0ms (21.1% of total)
ival-sqrt: 4.0ms (21.1% of total)
ival-add: 3.0ms (15.8% of total)
ival-sub: 3.0ms (15.8% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess88.0ms (13.2%)

Memory
-16.8MiB live, 75.3MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
189
01011
01311
11511
21811
32611
45211
518911
6143011
7438411
0805511
Stop Event
saturated
node limit
iter limit
saturated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...