Metrics for Harley's example

start0.0ms (0%)

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

analyze328.0ms (0.6%)

Memory

33.4MiB live, 356.5MiB allocated; 36ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25%	75%	0%	0%	0%	0
0%	0%	25%	75%	0%	0%	0%	1
0%	0%	25%	75%	0%	0%	0%	2
0%	0%	25%	75%	0%	0%	0%	3
0%	0%	25%	75%	0%	0%	0%	4
0%	0%	25%	75%	0%	0%	0%	5
0%	0%	21.8%	75%	0%	3.1%	0%	6
0%	0%	18.7%	75%	0%	6.2%	0%	7
19%	3.1%	13.3%	75%	0%	8.6%	0%	8
19%	3.1%	13.3%	75%	0%	8.6%	0%	9
21.6%	3.1%	11.3%	75%	0%	10.5%	0%	10
24.6%	3.1%	9.6%	75%	0%	12.3%	0%	11
35.6%	3.1%	5.7%	75%	0%	16.2%	0%	12

Compiler

Compiled 51 to 27 computations (47.1% saved)

sample56.6s (98.6%)

Memory

285.4MiB live, 44 104.4MiB allocated; 9.6s collecting garbage

Samples

45.9s	7 612×	5	exit
4.7s	24 361×	0	exit
1.3s	7 901×	0	valid
241.0ms	19×	3	valid
184.0ms	307×	1	valid
173.0ms	8×	4	valid
37.0ms	21×	2	valid
20.0ms	35×	1	exit

Precisions

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

ival-pow: 42.0s (83.3% of total)

adjust: 3.4s (6.7% of total)

ival-div: 1.6s (3.1% of total)

ival-exp: 854.0ms (1.7% of total)

ival-add: 690.0ms (1.4% of total)

ival-mult: 677.0ms (1.3% of total)

ival-sub: 671.0ms (1.3% of total)

ival-neg: 525.0ms (1% of total)

exact: 42.0ms (0.1% of total)

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

Bogosity

explain364.0ms (0.6%)

Memory

52.7MiB live, 472.7MiB allocated; 31ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
18	0	-	-	`(/.f64 (.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)))`
4	1	(2.1147732135367234e+155 2.9730153047254427e-256 2369.874746904198 -1.7696221754272024e+104)	-	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`
2	0	-	-	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p)`
1	0	-	-	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))))`
1	5	(4.618867416975564e-193 583.438304608825 -1.4211265871617225e-197 6.430508141407691e+36)	-	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`
0	0	-	-	`(neg.f64 s)`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`t`
0	0	-	-	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))`
0	0	-	-	`s`
0	0	-	-	`(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n))`
0	0	-	-	`(neg.f64 t)`
0	0	-	-	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))`
0	0	-	-	`c_p`
0	0	-	-	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))))`
0	1	(2.1615666147089024e-197 1.0687530914435859e-249 560.6215408597091 -5.154767703361133e-73)	-	`(exp.f64 (neg.f64 t))`
0	1	(3.871925999676614e-291 1.698669544858928e-51 -6273671.322535381 -288.71106758714524)	-	`(exp.f64 (neg.f64 s))`
0	0	-	-	`c_n`
0	0	-	-	`(+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))`
0	0	-	-	`(+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))`
0	0	-	-	`(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n))`
0	1	(1.1397760590670711e-88 439.2002985996907 1.045760212282207e-156 -5.343913293646258e-133)	-	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n)) (.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)))`	u/u	18	0
↳	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p)`	underflow	12
↳	`(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n))`	underflow	27
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))`	underflow	16
↳	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))))`	underflow	8
↳	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n)`	underflow	15
↳	`(exp.f64 (neg.f64 s))`	underflow	16
↳	`(exp.f64 (neg.f64 t))`	underflow	2
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))`	underflow	8
↳	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`	underflow	10
↳	`(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n))`	underflow	18
↳	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))))`	underflow	1
↳	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	underflow	8
`pow.f64`	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`	sensitivity	5	1
`pow.f64`	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	uflow-rescue	4	0
↳	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	underflow	8
↳	`(exp.f64 (neg.f64 t))`	underflow	1
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))`	underflow	4
`pow.f64`	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p)`	uflow-rescue	2	0
↳	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s)))) c_p)`	underflow	12
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))`	underflow	8
↳	`(exp.f64 (neg.f64 s))`	underflow	8
`pow.f64`	`(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p)`	sensitivity	1	0
`exp.f64`	`(exp.f64 (neg.f64 t))`	sensitivity	1	0
`pow.f64`	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 s))))) c_n)`	sensitivity	1	1
`exp.f64`	`(exp.f64 (neg.f64 s))`	sensitivity	1	0
`pow.f64`	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`	uflow-rescue	1	0
↳	`(pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n)`	underflow	10
↳	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))))`	underflow	1
↳	`(exp.f64 (neg.f64 t))`	underflow	1
↳	`(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))`	underflow	4
`-.f64`	`(-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))))`	cancellation	1	1

Confusion

	Predicted +	Predicted -
+	26	0
-	3	227

Precision

0.896551724137931

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	26	0	0
-	3	1	226

Precision?

0.8666666666666667

Recall?

1.0

Freqs

test

number	freq
0	227
1	23
2	6

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

82.0ms	478×	0	valid
23.0ms	2×	3	valid
17.0ms	30×	1	valid
5.0ms	2×	2	valid

Compiler

Compiled 411 to 70 computations (83% saved)

Precisions

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

ival-pow: 45.0ms (45% of total)

ival-exp: 12.0ms (12% of total)

ival-div: 10.0ms (10% of total)

ival-sub: 8.0ms (8% of total)

adjust: 8.0ms (8% of total)

ival-add: 6.0ms (6% of total)

ival-mult: 6.0ms (6% of total)

ival-neg: 5.0ms (5% of total)

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

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

exact: 0.0ms (0% of total)

preprocess131.0ms (0.2%)

Memory

-1.3MiB live, 147.5MiB allocated; 40ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	94	649
1	259	649
2	682	649
3	1689	649
4	5731	649
0	22	43
0	39	43
1	68	43
2	134	43
3	346	43
4	1318	43
5	7741	43
0	8052	43

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

analyze328.0ms (0.6%)

sample56.6s (98.6%)

explain364.0ms (0.6%)

preprocess131.0ms (0.2%)

end0.0ms (0%)

Profiling