Example 2 from Robby

Time bar (total: 3.6s)

start0.0ms (0%)

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

analyze564.0ms (15.6%)

Memory
2.4MiB live, 388.0MiB allocated; 32ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
37.5%37.4%62.4%0.1%0%0%0%7
37.5%37.4%62.4%0.1%0%0%0%8
43.8%43.7%56.2%0.1%0%0%0%9
43.8%43.7%56.2%0.1%0%0%0%10
43.8%43.7%56.2%0.1%0%0%0%11
46.9%46.8%53%0.1%0%0%0%12
Compiler

Compiled 32 to 20 computations (37.5% saved)

sample2.4s (67.9%)

Memory
73.5MiB live, 1 878.0MiB allocated; 291ms collecting garbage
Samples
2.0s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-cos: 492.0ms (29% of total)
ival-sin: 420.0ms (24.8% of total)
ival-mult: 331.0ms (19.5% of total)
ival-tan: 196.0ms (11.6% of total)
ival-div: 79.0ms (4.7% of total)
ival-sub: 54.0ms (3.2% of total)
ival-atan: 41.0ms (2.4% of total)
ival-neg: 41.0ms (2.4% of total)
ival-fabs: 37.0ms (2.2% of total)
adjust: 3.0ms (0.2% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

explain529.0ms (14.7%)

Memory
-92.5MiB live, 421.2MiB allocated; 44ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
890-0-(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
80-2(-2.1936729665250607e-286 -2.6786463012707622e-48 5.6305667956467236e-33)(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
00-0-(*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
00-0-(atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))
00-0-t
00-0-(neg.f64 eh)
00-0-(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
00-0-(*.f64 (neg.f64 eh) (tan.f64 t))
00-0-(*.f64 ew (cos.f64 t))
00-0-(sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
00-0-(sin.f64 t)
00-0-(*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
00-0-(*.f64 eh (sin.f64 t))
00-0-(-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
00-0-(cos.f64 t)
00-0-(tan.f64 t)
00-0-ew
00-0-eh
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))sensitivity891
Confusion
Predicted +Predicted -
+00
-89167
Precision
0.0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-891166
Precision?
0.0
Recall?
0/0
Freqs
test
numberfreq
0167
189
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-100
Precision?
0.0
Recall?
0/0
Samples
233.0ms90×2valid
64.0ms338×0valid
55.0ms84×1valid
Compiler

Compiled 322 to 58 computations (82% saved)

Precisions
Click to see histograms. Total time spent on operations: 314.0ms
ival-sin: 204.0ms (64.9% of total)
ival-cos: 38.0ms (12.1% of total)
ival-mult: 22.0ms (7% of total)
adjust: 15.0ms (4.8% of total)
ival-tan: 14.0ms (4.5% of total)
ival-atan: 8.0ms (2.5% of total)
ival-div: 4.0ms (1.3% of total)
ival-fabs: 4.0ms (1.3% of total)
ival-sub: 3.0ms (1% of total)
ival-neg: 2.0ms (0.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess63.0ms (1.8%)

Memory
-9.5MiB live, 35.5MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0100297
1296291
2826291
32173291
45612291
02230
02830
02830
Stop Event
1×saturated
1×saturated
1×iter limit
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...