sqrt A (should all be same)

Time bar (total: 710.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
100%100%0%0%0%0%0%1
Compiler

Compiled 10 to 4 computations (60% saved)

sample462.0ms (65.1%)

Memory
30.9MiB live, 445.9MiB allocated; 40ms collecting garbage
Samples
289.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 151.0ms
ival-hypot: 146.0ms (96.8% of total)
ival-assert: 3.0ms (2% of total)
adjust: 2.0ms (1.3% of total)
Bogosity

explain71.0ms (9.9%)

Memory
-23.1MiB live, 72.6MiB allocated; 11ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1280-1(3.1278987740955925e-158)(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
00-0-(+.f64 (*.f64 x x) (*.f64 x x))
00-0-(*.f64 x x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))oflow-rescue720
(+.f64 (*.f64 x x) (*.f64 x x))overflow72
(*.f64 x x)overflow144
sqrt.f64(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))uflow-rescue550
(+.f64 (*.f64 x x) (*.f64 x x))underflow55
(*.f64 x x)underflow110
Confusion
Predicted +Predicted -
+1271
-0128
Precision
1.0
Recall
0.9921875
Confusion?
Predicted +Predicted MaybePredicted -
+12701
-00128
Precision?
1.0
Recall?
0.9921875
Freqs
test
numberfreq
0129
1127
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
33.0ms512×0valid
Compiler

Compiled 50 to 16 computations (68% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
ival-hypot: 9.0ms (58.1% of total)
ival-mult: 4.0ms (25.8% of total)
ival-add: 2.0ms (12.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess177.0ms (24.9%)

Memory
33.6MiB live, 79.4MiB allocated; 4ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
12919
28419
314419
429819
566319
6154219
7351819
048
076
1176
2546
31356
42646
56126
614306
753046
080683
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...