Metrics for GTR1 distribution

start0.0ms (0%)

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

analyze55.0ms (3.2%)

Memory

-17.8MiB live, 72.7MiB allocated; 8ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.6%	99.4%	0%	0%	0%	0
0%	0%	0.6%	99.4%	0%	0%	0%	1
0%	0%	0.6%	99.4%	0%	0%	0%	2
0%	0%	0.6%	99.4%	0%	0%	0%	3
0%	0%	0.6%	99.4%	0%	0%	0%	4
50%	0.3%	0.3%	99.4%	0%	0%	0%	5
50%	0.3%	0.3%	99.4%	0%	0%	0%	6
75%	0.5%	0.2%	99.4%	0%	0%	0%	7
75%	0.5%	0.2%	99.4%	0%	0%	0%	8
87.5%	0.6%	0.1%	99.4%	0%	0%	0%	9
87.5%	0.6%	0.1%	99.4%	0%	0%	0%	10
93.7%	0.6%	0%	99.4%	0%	0%	0%	11
93.7%	0.6%	0%	99.4%	0%	0%	0%	12

Compiler

Compiled 40 to 23 computations (42.5% saved)

sample1.1s (65.3%)

Memory

44.7MiB live, 1 489.3MiB allocated; 319ms collecting garbage

Samples

831.0ms

8 256×

valid

Precisions

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

ival-mult: 297.0ms (48.7% of total)

ival-log: 97.0ms (15.9% of total)

ival-div: 88.0ms (14.4% of total)

ival-sub: 40.0ms (6.6% of total)

ival-add: 39.0ms (6.4% of total)

ival-pi: 31.0ms (5.1% of total)

exact: 8.0ms (1.3% of total)

const: 4.0ms (0.7% of total)

adjust: 3.0ms (0.5% of total)

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

ival-and: 1.0ms (0.2% of total)

ival-<=: 1.0ms (0.2% of total)

Bogosity

explain163.0ms (9.5%)

Memory

24.9MiB live, 256.5MiB allocated; 26ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(.f32 (PI.f32) (log.f32 (.f32 alpha alpha)))`
-	-	`(PI.f32)`
-	-	`#s(literal 1 binary32)`
-	-	`cosTheta`
-	-	`alpha`
-	-	`(/.f32 (-.f32 (.f32 alpha alpha) #s(literal 1 binary32)) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))))`
-	-	`(.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 (.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta)))`
-	-	`(-.f32 (*.f32 alpha alpha) #s(literal 1 binary32))`
-	-	`(.f32 (.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta)`
-	-	`(log.f32 (*.f32 alpha alpha))`
-	-	`(*.f32 alpha alpha)`
-	-	`(.f32 (-.f32 (.f32 alpha alpha) #s(literal 1 binary32)) cosTheta)`
-	-	`(+.f32 #s(literal 1 binary32) (.f32 (.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0.0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0.0

Recall?

0/0

Samples

58.0ms

512×

valid

Compiler

Compiled 210 to 43 computations (79.5% saved)

Precisions

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

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

ival-log: 6.0ms (15.9% of total)

ival-div: 4.0ms (10.6% of total)

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

ival-pi: 2.0ms (5.3% of total)

ival-add: 2.0ms (5.3% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

preprocess377.0ms (22%)

Memory

-106.0MiB live, 102.0MiB allocated; 609ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	146
1	170	146
2	616	146
3	3554	144
0	13	24
0	23	24
1	55	24
2	224	24
3	1279	24
4	7276	24
0	8561	24

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

analyze55.0ms (3.2%)

sample1.1s (65.3%)

explain163.0ms (9.5%)

preprocess377.0ms (22%)

end0.0ms (0%)

Profiling