Metrics for 2tan (problem 3.3.2)

start0.0ms (0%)

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

analyze42.0ms (0.8%)

Memory

-7.4MiB live, 38.1MiB allocated; 4ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample4.8s (95.5%)

Memory

159.5MiB live, 4 581.4MiB allocated; 1.6s collecting garbage

Samples

2.2s	25 806×	0	invalid
906.0ms	5 123×	1	valid
255.0ms	3 133×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 2.3s

ival-tan: 509.0ms (22.5% of total)

const: 397.0ms (17.5% of total)

ival-add: 294.0ms (13% of total)

ival-fabs: 267.0ms (11.8% of total)

adjust: 250.0ms (11% of total)

ival-sub: 171.0ms (7.5% of total)

ival-mult: 160.0ms (7.1% of total)

ival-<: 134.0ms (5.9% of total)

ival-and: 71.0ms (3.1% of total)

ival-assert: 12.0ms (0.5% of total)

Bogosity

explain125.0ms (2.5%)

Memory

-25.4MiB live, 126.8MiB allocated; 25ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
217	2	(-3.721359876331173e-172 9.27138940603709e-175)	2	(-1.0735712468609887e-117 2.2528719964362382e-119)	`(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))`
1	0	-	1	(-97.7539560241461 8.35753303889415e-14)	`(tan.f64 (+.f64 x eps))`
0	0	-	0	-	`eps`
0	0	-	0	-	`(+.f64 x eps)`
0	0	-	0	-	`(tan.f64 x)`
0	0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))`	cancellation	217	7

Confusion

	Predicted +	Predicted -
+	215	3
-	2	36

Precision

0.9907834101382489

Recall

0.9862385321100917

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	215	2	1
-	2	5	31

Precision?

0.96875

Recall?

0.9954128440366973

Freqs

test

number	freq
0	39
1	217

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

36.0ms	304×	1	valid
19.0ms	2×	3	valid
10.0ms	204×	0	valid
0.0ms	2×	2	valid

Compiler

Compiled 47 to 22 computations (53.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 48.0ms

ival-tan: 28.0ms (57.9% of total)

adjust: 12.0ms (24.8% of total)

ival-add: 4.0ms (8.3% of total)

ival-sub: 3.0ms (6.2% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

preprocess62.0ms (1.2%)

Memory

2.6MiB live, 47.6MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	50
1	45	50
2	72	50
3	119	50
4	194	50
5	336	50
6	663	50
7	1514	50
8	2921	50
9	4376	50
0	9	7
0	13	7
0	13	7

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

start0.0ms (0%)

analyze42.0ms (0.8%)

sample4.8s (95.5%)

explain125.0ms (2.5%)

preprocess62.0ms (1.2%)

end0.0ms (0%)

Profiling