sqrt B (should all be same)

Time bar (total: 739.0ms)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 8 to 7 computations (12.5% saved)

sample526.0ms (71.3%)

Memory
32.6MiB live, 548.7MiB allocated; 70ms collecting garbage
Samples
320.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 179.0ms
ival-mult: 115.0ms (64.3% of total)
ival-sqrt: 53.0ms (29.7% of total)
exact: 6.0ms (3.4% of total)
adjust: 2.0ms (1.1% of total)
ival-assert: 2.0ms (1.1% of total)
Bogosity

explain60.0ms (8.2%)

Memory
-27.9MiB live, 73.4MiB allocated; 16ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1380-3(-1.9070189502524502e-156)(sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x))
00-0-#s(literal 2 binary64)
00-0-(*.f64 (*.f64 #s(literal 2 binary64) x) x)
00-0-(*.f64 #s(literal 2 binary64) x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x))oflow-rescue810
(*.f64 (*.f64 #s(literal 2 binary64) x) x)overflow81
sqrt.f64(sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) x) x))uflow-rescue540
(*.f64 (*.f64 #s(literal 2 binary64) x) x)underflow54
Confusion
Predicted +Predicted -
+1353
-0118
Precision
1.0
Recall
0.9782608695652174
Confusion?
Predicted +Predicted MaybePredicted -
+13503
-00118
Precision?
1.0
Recall?
0.9782608695652174
Freqs
test
numberfreq
0121
1135
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
22.0ms512×0valid
Compiler

Compiled 42 to 19 computations (54.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0ms
ival-mult: 7.0ms (64.4% of total)
ival-sqrt: 3.0ms (27.6% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess151.0ms (20.5%)

Memory
9.3MiB live, 100.2MiB allocated; 8ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01021
12519
26219
319619
433319
5101119
6490819
056
086
1156
2286
3906
42326
58186
642636
080383
Stop Event
iter limit
node limit
iter limit
node limit

end0.0ms (0%)

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

Profiling

Loading profile data...