sqrt C (should all be same)

Time bar (total: 902.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%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)

sample626.0ms (69.5%)

Memory
5.5MiB live, 564.9MiB allocated; 86ms collecting garbage
Samples
404.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 252.0ms
ival-mult: 188.0ms (74.7% of total)
ival-sqrt: 52.0ms (20.7% of total)
exact: 6.0ms (2.4% of total)
ival-assert: 3.0ms (1.2% of total)
adjust: 2.0ms (0.8% of total)
Bogosity

explain56.0ms (6.2%)

Memory
23.0MiB live, 69.8MiB allocated; 3ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1320-2(-1.1538397235328262e-160)(sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)))
00-0-#s(literal 2 binary64)
00-0-(*.f64 x x)
00-0-(*.f64 #s(literal 2 binary64) (*.f64 x x))
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)))oflow-rescue720
(*.f64 #s(literal 2 binary64) (*.f64 x x))overflow72
(*.f64 x x)overflow72
sqrt.f64(sqrt.f64 (*.f64 #s(literal 2 binary64) (*.f64 x x)))uflow-rescue580
(*.f64 #s(literal 2 binary64) (*.f64 x x))underflow58
(*.f64 x x)underflow58
Confusion
Predicted +Predicted -
+1302
-0124
Precision
1.0
Recall
0.9848484848484849
Confusion?
Predicted +Predicted MaybePredicted -
+13002
-00124
Precision?
1.0
Recall?
0.9848484848484849
Freqs
test
numberfreq
0126
1130
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 (63.5% of total)
ival-sqrt: 3.0ms (27.2% 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)

preprocess220.0ms (24.3%)

Memory
3.6MiB live, 100.1MiB allocated; 11ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
12819
29019
318519
457819
5131419
6497519
056
086
1186
2616
31826
45016
512346
647306
779156
084953
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...