2tan (problem 3.3.2)

Time bar (total: 5.7s)

start0.0ms (0%)

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

analyze45.0ms (0.8%)

Memory
-8.4MiB live, 39.6MiB allocated; 11ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%50.6%49.4%0%0%0%0
0%0%50.6%49.4%0%0%0%1
0%0%50.6%49.4%0%0%0%2
0%0%25.3%49.4%0%25.3%0%3
0%0%25.3%49.4%0%25.3%0%4
0%0%19%49.4%0%31.6%0%5
0%0%15.8%49.4%0%34.8%0%6
0%0%11.1%49.4%0%39.5%0%7
0%0%8.7%49.4%0%41.9%0%8
0%0%5.9%49.4%0%44.6%0%9
0%0%4.5%49.4%0%46%0%10
0%0%3.1%49.4%0%47.5%0%11
0%0%2.7%49.4%0%47.9%0%12
Compiler

Compiled 27 to 19 computations (29.6% saved)

sample5.5s (96.1%)

Memory
123.7MiB live, 4 855.8MiB allocated; 2.4s collecting garbage
Samples
2.4s26 231×0invalid
898.0ms5 105×1valid
603.0ms3 151×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-tan: 894.0ms (32.8% of total)
const: 495.0ms (18.1% of total)
ival-fabs: 260.0ms (9.5% of total)
ival-add: 239.0ms (8.8% of total)
adjust: 225.0ms (8.2% of total)
ival-sub: 190.0ms (7% of total)
ival-mult: 188.0ms (6.9% of total)
ival-<: 142.0ms (5.2% of total)
ival-and: 81.0ms (3% of total)
ival-assert: 15.0ms (0.5% of total)
Bogosity

explain120.0ms (2.1%)

Memory
-17.1MiB live, 126.3MiB allocated; 19ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2322(-2.7912266342508762e-95 2.7325503829534435e-97)2(-6.641803530035108e-235 1.4638714267175548e-236)(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
10-0-(tan.f64 (+.f64 x eps))
00-0-eps
00-0-(+.f64 x eps)
00-0-(tan.f64 x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))cancellation2326
tan.f64(tan.f64 (+.f64 x eps))sensitivity10
Confusion
Predicted +Predicted -
+2302
-222
Precision
0.9913793103448276
Recall
0.9913793103448276
Confusion?
Predicted +Predicted MaybePredicted -
+23020
-2418
Precision?
0.9747899159663865
Recall?
1.0
Freqs
test
numberfreq
024
1231
21
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
43.0ms342×1valid
12.0ms4×3valid
8.0ms166×0valid
Compiler

Compiled 47 to 22 computations (53.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.0ms
ival-tan: 22.0ms (48.7% of total)
adjust: 14.0ms (31% of total)
ival-add: 5.0ms (11.1% of total)
ival-sub: 4.0ms (8.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess59.0ms (1%)

Memory
-3.7MiB live, 41.2MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02150
14050
26750
311450
418950
533050
666050
7151350
8290350
9433450
Stop Event
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...