Rust f32::acosh

Time bar (total: 923.0ms)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB 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)

sample669.0ms (72.4%)

Memory
-1.5MiB live, 923.5MiB allocated; 261ms collecting garbage
Samples
503.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 214.0ms
ival-acosh: 176.0ms (82.3% of total)
ival->=: 27.0ms (12.6% of total)
exact: 6.0ms (2.8% of total)
ival-assert: 4.0ms (1.9% of total)
adjust: 2.0ms (0.9% of total)
Bogosity

explain166.0ms (18%)

Memory
-34.4MiB live, 202.6MiB allocated; 39ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1200-0-(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))
10-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-rescue1200
(*.f32 x x)overflow120
(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow120
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
(*.f32 x x)overflow120
(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow120
Confusion
Predicted +Predicted -
+1200
-0136
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+12000
-00136
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0136
1119
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
30.0ms512×0valid
Compiler

Compiled 79 to 25 computations (68.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0ms
ival-log: 5.0ms (27.3% of total)
ival-mult: 4.0ms (21.8% of total)
ival-sqrt: 3.0ms (16.4% of total)
ival-add: 2.0ms (10.9% of total)
ival-sub: 2.0ms (10.9% 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 (9.5%)

Memory
19.2MiB live, 78.3MiB allocated; 18ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
1711
01017
01217
11417
21717
32517
45117
518817
6142917
7434717
0801817
Stop Event
saturated
node limit
iter limit
saturated

end0.0ms (0%)

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

Profiling

Loading profile data...