Quadratic roots, narrow range

Time bar (total: 2.6s)

start0.0ms (0%)

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

analyze253.0ms (9.8%)

Memory
26.4MiB live, 318.8MiB allocated; 59ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
0%0%0%100%0%0%0%3
0%0%0%100%0%0%0%4
0%0%0%100%0%0%0%5
0%0%0%100%0%0%0%6
0%0%0%100%0%0%0%7
2.3%0%0%100%0%0%0%8
11.3%0%0%100%0%0%0%9
21.1%0%0%100%0%0%0%10
28%0%0%100%0%0%0%11
40.1%0%0%100%0%0%0%12
Compiler

Compiled 41 to 28 computations (31.7% saved)

sample2.0s (76.9%)

Memory
28.6MiB live, 2 613.6MiB allocated; 392ms collecting garbage
Samples
1.1s5 455×1valid
272.0ms2 801×0valid
143.0ms1 383×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 338.0ms (29.8% of total)
adjust: 178.0ms (15.7% of total)
ival-sqrt: 169.0ms (14.9% of total)
ival-div: 110.0ms (9.7% of total)
ival-neg: 88.0ms (7.7% of total)
const: 74.0ms (6.5% of total)
ival-sub: 71.0ms (6.3% of total)
ival-add: 70.0ms (6.2% of total)
ival-<: 14.0ms (1.2% of total)
ival-and: 11.0ms (1% of total)
exact: 10.0ms (0.9% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

explain174.0ms (6.7%)

Memory
-3.2MiB live, 237.0MiB allocated; 18ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2350-2(4.5860971970285e-5 9.664640833277488 12576.95503982674)(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))
00-0-a
00-0-#s(literal 4 binary64)
00-0-(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))
00-0-(*.f64 (*.f64 #s(literal 4 binary64) a) c)
00-0-(*.f64 b b)
00-0-(*.f64 #s(literal 2 binary64) a)
00-0-c
00-0-#s(literal 2 binary64)
00-0-(neg.f64 b)
00-0-(-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))
00-0-(*.f64 #s(literal 4 binary64) a)
00-0-b
00-0-(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))cancellation2338
Confusion
Predicted +Predicted -
+2331
-022
Precision
1.0
Recall
0.9957264957264957
Confusion?
Predicted +Predicted MaybePredicted -
+23310
-0715
Precision?
0.970954356846473
Recall?
1.0
Freqs
test
numberfreq
023
1233
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
70.0ms370×1valid
13.0ms142×0valid
Compiler

Compiled 161 to 46 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0ms
ival-mult: 16.0ms (30.2% of total)
adjust: 10.0ms (18.9% of total)
ival-sqrt: 10.0ms (18.9% of total)
ival-div: 6.0ms (11.3% of total)
ival-add: 4.0ms (7.5% of total)
ival-sub: 4.0ms (7.5% of total)
ival-neg: 2.0ms (3.8% of total)
exact: 1.0ms (1.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess173.0ms (6.7%)

Memory
-1.3MiB live, 90.0MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058175
1183168
2524168
31076167
42241160
56079160
01721
03721
14621
26221
38621
411821
519421
664721
7476121
0849421
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...