Metrics for Henrywood and Agarwal, Equation (13)

start0.0ms (0%)

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

analyze702.0ms (13.2%)

Memory

16.7MiB live, 912.1MiB allocated; 112ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	99.7%	0.3%	0%	0%	0%	10
0%	0%	99.7%	0.3%	0%	0%	0%	11
0%	0%	99.7%	0.3%	0%	0%	0%	12

Compiler

Compiled 54 to 23 computations (57.4% saved)

sample4.2s (79.2%)

Memory

-2.8MiB live, 4 111.8MiB allocated; 638ms collecting garbage

Samples

1.2s	8 293×	0	invalid
645.0ms	1 820×	2	valid
552.0ms	4 262×	0	valid
465.0ms	1 419×	1	valid
424.0ms	755×	3	valid

Precisions

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

ival-mult: 1.3s (52% of total)

ival-div: 428.0ms (17.3% of total)

adjust: 263.0ms (10.6% of total)

ival-sqrt: 228.0ms (9.2% of total)

ival-sub: 130.0ms (5.3% of total)

ival-add: 116.0ms (4.7% of total)

exact: 15.0ms (0.6% of total)

ival-assert: 5.0ms (0.2% of total)

Bogosity

explain322.0ms (6.1%)

Memory

-14.9MiB live, 154.7MiB allocated; 13ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
107	0	-	0	-	`(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))`
75	0	-	1	(2.6061193529818492e+240 -3.2231472499566604e-218 5.6959116322965915e-298 1.7588146828390137e+96 -1.5088858439027633e-139 2.917736931109667e+148)	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`
59	0	-	0	-	`(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))`
47	1	(2.6061193529818492e+240 -3.2231472499566604e-218 5.6959116322965915e-298 1.7588146828390137e+96 -1.5088858439027633e-139 2.917736931109667e+148)	4	(2.0113353122862537e+302 3.0585368247915015e-177 1.0248266505380393e-138 1.119435482115927e+67 2.8573974179387678e+184 -2.398711988098087e-196)	`(.f64 (.f64 w h) (*.f64 D D))`
40	0	-	0	-	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`
38	0	-	1	(-6.56097292848089e+98 1.1782033768022084e-150 8.694092226278054e-31 -1.518350840087797e-19 -1.7235773841283546e+106 7.581471382578846e+102)	`(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))`
32	0	-	2	(7.031242432629498e+72 -3.131678526082942e+47 3.2242965743747514e-164 -9.40934907898434e-138 -2.82539548924621e-159 4.461318445567245e-16)	`(.f64 c0 (.f64 d d))`
0	0	-	0	-	`D`
0	0	-	0	-	`(*.f64 M M)`
0	0	-	0	-	`d`
0	0	-	0	-	`(*.f64 d d)`
0	0	-	0	-	`(*.f64 w h)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) w)`
0	0	-	0	-	`(*.f64 D D)`
0	0	-	0	-	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`
0	0	-	0	-	`c0`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`(/.f64 c0 (*.f64 #s(literal 2 binary64) w))`
0	0	-	0	-	`w`
0	0	-	0	-	`h`
0	0	-	0	-	`M`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))`	nan-rescue	77	0
↳	`(.f64 c0 (.f64 d d))`	overflow	100
↳	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	overflow	144
↳	`(*.f64 D D)`	overflow	21
↳	`(*.f64 d d)`	overflow	95
↳	`(*.f64 w h)`	overflow	21
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	20
↳	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`	overflow	199
↳	`(*.f64 M M)`	overflow	40
↳	`(.f64 c0 (.f64 d d))`	overflow	200
↳	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	overflow	288
↳	`(*.f64 D D)`	overflow	42
↳	`(*.f64 w h)`	overflow	42
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	40
↳	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`	overflow	199
↳	`(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))`	overflow	144
↳	`(*.f64 d d)`	overflow	190
`sqrt.f64`	`(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))`	oflow-rescue	55	0
↳	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`	overflow	199
↳	`(*.f64 M M)`	overflow	40
↳	`(.f64 c0 (.f64 d d))`	overflow	200
↳	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	overflow	288
↳	`(*.f64 D D)`	overflow	42
↳	`(*.f64 w h)`	overflow	42
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	40
↳	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`	overflow	199
↳	`(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))`	overflow	144
↳	`(*.f64 d d)`	overflow	190
`-.f64`	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`	nan-rescue	40	0
↳	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`	overflow	199
↳	`(.f64 c0 (.f64 d d))`	overflow	200
↳	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	overflow	288
↳	`(*.f64 D D)`	overflow	42
↳	`(*.f64 d d)`	overflow	190
↳	`(*.f64 w h)`	overflow	42
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	40
↳	`(*.f64 M M)`	overflow	40
`+.f64`	`(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))`	cancellation	30	0
`*.f64`	`(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))`	*ou**	19	0
↳	`(/.f64 c0 (*.f64 #s(literal 2 binary64) w))`	overflow	52
↳	`(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))`	underflow	85
↳	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`	underflow	4
↳	`(*.f64 M M)`	underflow	88
↳	`(.f64 c0 (.f64 d d))`	underflow	63
↳	`(*.f64 D D)`	underflow	279
↳	`(*.f64 d d)`	underflow	72
↳	`(*.f64 w h)`	underflow	132
↳	`(.f64 (.f64 w h) (*.f64 D D))`	underflow	339
↳	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`	underflow	4
`*.f64`	`(.f64 c0 (.f64 d d))`	*no**	18	0
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	n/u	17	0
↳	`(*.f64 D D)`	underflow	93
↳	`(*.f64 w h)`	underflow	44
↳	`(.f64 (.f64 w h) (*.f64 D D))`	underflow	113
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	o/n	16	0
↳	`(.f64 c0 (.f64 d d))`	overflow	100
↳	`(*.f64 d d)`	overflow	95
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	u/u	16	0
↳	`(.f64 c0 (.f64 d d))`	underflow	21
↳	`(*.f64 d d)`	underflow	24
↳	`(*.f64 D D)`	underflow	93
↳	`(*.f64 w h)`	underflow	44
↳	`(.f64 (.f64 w h) (*.f64 D D))`	underflow	113
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	o/o	14	0
↳	`(.f64 c0 (.f64 d d))`	overflow	100
↳	`(*.f64 d d)`	overflow	95
↳	`(*.f64 D D)`	overflow	21
↳	`(*.f64 w h)`	overflow	21
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	20
`*.f64`	`(.f64 (.f64 w h) (*.f64 D D))`	*no**	12	0
`*.f64`	`(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))`	*nu**	11	0
`*.f64`	`(.f64 (.f64 w h) (*.f64 D D))`	*nu**	9	0
`*.f64`	`(.f64 c0 (.f64 d d))`	*nu**	7	0
`*.f64`	`(.f64 (/.f64 c0 (.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))`	*no**	7	0
`*.f64`	`(.f64 (.f64 w h) (*.f64 D D))`	*ou**	5	0
↳	`(*.f64 w h)`	overflow	21
↳	`(*.f64 D D)`	underflow	93
`sqrt.f64`	`(sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))`	uflow-rescue	4	0
↳	`(.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D))))`	underflow	4
↳	`(*.f64 M M)`	underflow	88
↳	`(.f64 c0 (.f64 d d))`	underflow	42
↳	`(*.f64 D D)`	underflow	186
↳	`(*.f64 d d)`	underflow	48
↳	`(*.f64 w h)`	underflow	88
↳	`(.f64 (.f64 w h) (*.f64 D D))`	underflow	226
↳	`(-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M))`	underflow	4
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	u/n	2	0
↳	`(.f64 c0 (.f64 d d))`	underflow	21
↳	`(*.f64 d d)`	underflow	24
`*.f64`	`(.f64 (.f64 w h) (*.f64 D D))`	*uo**	2	0
↳	`(*.f64 w h)`	underflow	44
↳	`(*.f64 D D)`	overflow	21
`/.f64`	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`	n/o	2	0
↳	`(*.f64 D D)`	overflow	21
↳	`(*.f64 w h)`	overflow	21
↳	`(.f64 (.f64 w h) (*.f64 D D))`	overflow	20

Confusion

	Predicted +	Predicted -
+	195	4
-	6	51

Precision

0.9701492537313433

Recall

0.9798994974874372

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	195	0	4
-	6	0	51

Precision?

0.9701492537313433

Recall?

0.9798994974874372

Freqs

test

number	freq
0	55
1	89
2	76
3	24
4	10
5	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

59.0ms	164×	2	valid
32.0ms	244×	0	valid
18.0ms	38×	3	valid
17.0ms	66×	1	valid

Compiler

Compiled 536 to 67 computations (87.5% saved)

Precisions

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

ival-mult: 41.0ms (47.5% of total)

adjust: 14.0ms (16.2% of total)

ival-div: 12.0ms (13.9% of total)

ival-sqrt: 9.0ms (10.4% of total)

ival-sub: 5.0ms (5.8% of total)

ival-add: 5.0ms (5.8% of total)

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

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

exact: 0.0ms (0% of total)

preprocess80.0ms (1.5%)

Memory

-33.9MiB live, 12.6MiB allocated; 3ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	217	1480
1	1061	1456
2	6147	1456
0	21	52
0	35	52
1	92	52
2	511	52
3	5203	46
0	8142	46

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

start0.0ms (0%)

analyze702.0ms (13.2%)

sample4.2s (79.2%)

explain322.0ms (6.1%)

preprocess80.0ms (1.5%)

end0.0ms (0%)

Profiling