Metrics for Bouland and Aaronson, Equation (26)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 19 to 13 computations (31.6% saved)

sample1.3s (82.6%)

Memory

47.0MiB live, 1 064.8MiB allocated; 1.1s collecting garbage

Samples

707.0ms

8 256×

valid

Precisions

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

ival-mult: 306.0ms (58.8% of total)

ival-pow2: 87.0ms (16.7% of total)

ival-add: 72.0ms (13.8% of total)

ival-sub: 42.0ms (8.1% of total)

exact: 9.0ms (1.7% of total)

adjust: 3.0ms (0.6% of total)

ival-assert: 3.0ms (0.6% of total)

Bogosity

explain159.0ms (10.4%)

Memory

18.5MiB live, 206.6MiB allocated; 16ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 a a)`
-	-	`a`
-	-	`#s(literal 1 binary64)`
-	-	`(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b)))`
-	-	`#s(literal 4 binary64)`
-	-	`(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))`
-	-	`(*.f64 b b)`
-	-	`(.f64 #s(literal 4 binary64) (.f64 b b))`
-	-	`#s(literal 2 binary64)`
-	-	`b`
-	-	`(+.f64 (.f64 a a) (.f64 b b))`
-	-	`(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

41.0ms

512×

valid

Compiler

Compiled 149 to 40 computations (73.2% saved)

Precisions

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

ival-mult: 10.0ms (42.5% of total)

ival-pow2: 5.0ms (21.3% of total)

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

ival-sub: 2.0ms (8.5% of total)

exact: 1.0ms (4.3% of total)

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

adjust: 0.0ms (0% of total)

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

preprocess108.0ms (7%)

Memory

-17.5MiB live, 73.9MiB allocated; 7ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	104
1	98	104
2	265	104
3	715	104
4	2356	102
0	12	17
0	19	17
1	44	17
2	134	17
3	479	17
4	1657	17
5	6377	17
0	8033	17

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

analyze0.0ms (0%)

sample1.3s (82.6%)

explain159.0ms (10.4%)

preprocess108.0ms (7%)

end0.0ms (0%)

Profiling