Metrics for Henrywood and Agarwal, Equation (12)

start0.0ms (0%)

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

analyze450.0ms (7.4%)

Memory

14.3MiB live, 584.6MiB allocated; 62ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	4
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	5
12.5%	12.5%	87.3%	0.2%	0%	0%	0%	6
15.4%	12.5%	68.6%	0.2%	0%	18.7%	0%	7
16.7%	12.5%	62.3%	0.2%	0%	24.9%	0%	8
20%	14%	56.1%	0.2%	0%	29.6%	0%	9
20%	14%	56.1%	0.2%	0%	29.6%	0%	10
20%	14%	56.1%	0.2%	0%	29.6%	0%	11
22.9%	14.8%	49.9%	0.2%	0%	35.1%	0%	12

Compiler

Compiled 37 to 24 computations (35.1% saved)

sample5.2s (85.5%)

Memory

96.9MiB live, 5 711.7MiB allocated; 1.7s collecting garbage

Samples

2.4s	13 418×	0	invalid
1.5s	8 256×	0	valid

Precisions

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

ival-mult: 874.0ms (29.2% of total)

ival-div: 839.0ms (28% of total)

ival-pow: 595.0ms (19.8% of total)

ival-pow2: 527.0ms (17.6% of total)

ival-sub: 122.0ms (4.1% of total)

exact: 25.0ms (0.8% of total)

ival-assert: 8.0ms (0.3% of total)

adjust: 7.0ms (0.2% of total)

Bogosity

explain327.0ms (5.4%)

Memory

-12.5MiB live, 456.8MiB allocated; 27ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
73	-	3	(2.1738898219413425e-231 1.876065177186336e+84 5.892453273209538e-114 -1.0591610797492429e-136 5.262552058435252e+30)	`(pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`
63	-	0	-	`(pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`
48	-	2	(1.1539340777803774e-72 6.070969927936307e-122 1.0633594469242832e+193 1.2339015547733811e-144 -4.842624929324e+80)	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`
30	-	1	(-1.843895912640912e-154 -1.7430652746504557e+185 -1.4873281536062703e+126 -1.9608638109815653e-240 3.558595911630828e+61)	`(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))`
23	-	4	(3.6924078926136573e-183 2.638358976002444e+98 1.9897780167396236e-210 -3.8327930289955187e-194 -2.4608203399490287e-117)	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`
0	-	0	-	`D`
0	-	0	-	`(*.f64 #s(literal 2 binary64) d)`
0	-	0	-	`(/.f64 h l)`
0	-	0	-	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`
0	-	0	-	`d`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(/.f64 d l)`
0	-	0	-	`(*.f64 M D)`
0	-	0	-	`(/.f64 #s(literal 1 binary64) #s(literal 2 binary64))`
0	-	0	-	`(/.f64 d h)`
0	-	0	-	`(-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l)))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`l`
0	-	0	-	`(*.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))`
0	-	0	-	`M`
0	-	0	-	`h`
0	-	0	-	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`pow.f64`	`(pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`	oflow-rescue	36	0
↳	`(/.f64 d h)`	overflow	36
`pow.f64`	`(pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`	uflow-rescue	35	0
↳	`(/.f64 d l)`	underflow	35
`pow.f64`	`(pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`	uflow-rescue	34	0
↳	`(/.f64 d h)`	underflow	34
`pow.f64`	`(pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))`	oflow-rescue	28	0
↳	`(/.f64 d l)`	overflow	28
`*.f64`	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`	*no**	17	0
`*.f64`	`(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))`	*uo**	15	0
↳	`(/.f64 d h)`	underflow	34
↳	`(/.f64 d l)`	underflow	35
↳	`(*.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))`	underflow	25
↳	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`	overflow	83
↳	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)))`	overflow	83
↳	`(/.f64 h l)`	overflow	27
↳	`(-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l)))`	overflow	83
↳	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`	overflow	83
↳	`(*.f64 M D)`	overflow	36
↳	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	overflow	47
`/.f64`	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	o/n	10	0
↳	`(*.f64 M D)`	overflow	36
`*.f64`	`(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))`	*no**	9	0
`*.f64`	`(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))) (pow.f64 (/.f64 d l) (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))))`	*nu**	5	0
`*.f64`	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`	*ou**	4	0
↳	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`	overflow	83
↳	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)))`	overflow	83
↳	`(*.f64 M D)`	overflow	36
↳	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	overflow	47
↳	`(/.f64 h l)`	underflow	29
`/.f64`	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	u/n	2	0
↳	`(*.f64 M D)`	underflow	25
`*.f64`	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))) (/.f64 h l))`	*uo**	1	0
↳	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`	underflow	74
↳	`(.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)))`	underflow	74
↳	`(*.f64 M D)`	underflow	25
↳	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`	underflow	33
↳	`(/.f64 h l)`	overflow	27

Confusion

	Predicted +	Predicted -
+	96	6
-	33	121

Precision

0.7441860465116279

Recall

0.9411764705882353

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	96	0	6
-	33	0	121

Precision?

0.7441860465116279

Recall?

0.9411764705882353

Freqs

test

number	freq
0	127
1	79
2	37
3	9
4	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

98.0ms

512×

valid

Compiler

Compiled 347 to 70 computations (79.8% saved)

Precisions

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

ival-mult: 21.0ms (30.4% of total)

ival-pow: 19.0ms (27.5% of total)

ival-div: 18.0ms (26% of total)

ival-pow2: 6.0ms (8.7% of total)

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

ival-true: 1.0ms (1.4% of total)

exact: 1.0ms (1.4% of total)

adjust: 0.0ms (0% of total)

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

preprocess100.0ms (1.7%)

Memory

-11.5MiB live, 86.0MiB allocated; 19ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	171	588
1	546	580
2	2128	575
3	6640	575
0	22	29
0	38	27
1	67	27
2	180	27
3	1202	27
4	4872	27
0	8241	26

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%)

analyze450.0ms (7.4%)

sample5.2s (85.5%)

explain327.0ms (5.4%)

preprocess100.0ms (1.7%)

end0.0ms (0%)

Profiling