Metrics for Trowbridge-Reitz Sample, near normal, slope

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze210.0ms (18.4%)

Memory

7.2MiB live, 71.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
18.7%	0%	0%	100%	0%	0%	0%	6
28.1%	0%	0%	100%	0%	0%	0%	7
32.8%	0%	0%	100%	0%	0%	0%	8
49.2%	0%	0%	100%	0%	0%	0%	9
57.4%	0%	0%	100%	0%	0%	0%	10
61.5%	0%	0%	100%	0%	0%	0%	11
71.8%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 35 to 25 computations (28.6% saved)

sample39.0ms (3.5%)

Memory

0.1MiB live, 15.0MiB allocated

Samples

30.0ms	260×	0	valid
0.0ms	1×	0	invalid

Precisions

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

const: 9.0ms (38% of total)

ival-mult: 3.0ms (12.7% of total)

ival-sin: 3.0ms (12.7% of total)

ival-<=: 3.0ms (12.7% of total)

ival-div: 2.0ms (8.4% of total)

ival-sub: 1.0ms (4.2% of total)

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

ival-sqrt: 1.0ms (4.2% of total)

ival->: 1.0ms (4.2% of total)

adjust: 0.0ms (0% of total)

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

exact: 0.0ms (0% of total)

Bogosity

explain809.0ms (71.1%)

Memory

0.5MiB live, 605.1MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (.f32 #s(literal 314159265359/50000000000 binary32) u2)))`
-	-	`(-.f32 #s(literal 1 binary32) u1)`
-	-	`(sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2))`
-	-	`u2`
-	-	`#s(literal 1 binary32)`
-	-	`#s(literal 314159265359/50000000000 binary32)`
-	-	`u1`
-	-	`(/.f32 u1 (-.f32 #s(literal 1 binary32) u1))`
-	-	`(*.f32 #s(literal 314159265359/50000000000 binary32) u2)`
-	-	`(sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1)))`

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

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Total Time

6.095458984375

Average Time

0.023810386657714844

Samples

243.0ms

3 072×

valid

Compiler

Compiled 1 452 to 552 computations (62% saved)

Precisions

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

const: 36.0ms (22.3% of total)

ival-mult: 33.0ms (20.4% of total)

ival-sin: 33.0ms (20.4% of total)

ival-div: 21.0ms (13% of total)

ival-sqrt: 19.0ms (11.7% of total)

ival-sub: 15.0ms (9.3% of total)

ival-true: 2.0ms (1.2% of total)

exact: 2.0ms (1.2% of total)

adjust: 1.0ms (0.6% of total)

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

preprocess48.0ms (4.2%)

Memory

-0.7MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	106
1	78	101
2	132	101
3	243	99
4	470	99
5	854	99
6	1104	99
7	1238	99
8	1310	99
9	1356	99
10	1372	99
11	1376	99
0	10	11
0	16	11
1	22	11
2	26	11
3	31	11
4	38	11
5	48	11
6	63	11
7	86	11
8	108	11
9	116	11
10	118	11
0	118	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (.f32 #s(literal 314159265359/50000000000 binary32) u2)))

Outputs

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))

(*.f32 (sin.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32))) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))

Symmetry

(abs cosTheta_i)

(negabs u2)

Compiler

Compiled 11 to 11 computations (0% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	98.5%	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (.f32 #s(literal 314159265359/50000000000 binary32) u2)))

Compiler

Compiled 22 to 22 computations (0% saved)

simplify19.0ms (1.7%)

Memory

-0.4MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	21	11
3	23	11
4	24	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (.f32 #s(literal 314159265359/50000000000 binary32) u2)))

Outputs

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))

(*.f32 (sin.f32 (*.f32 u2 #s(literal 314159265359/50000000000 binary32))) (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 11 to 11 computations (0% saved)

preprocess12.0ms (1%)

Memory

-2.3MiB live, 5.3MiB allocated

Remove

(negabs u2)

(abs cosTheta_i)

Compiler

Compiled 132 to 132 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Trowbridge-Reitz Sample, near normal, slope_y

start0.0ms (0%)

analyze210.0ms (18.4%)

sample39.0ms (3.5%)

explain809.0ms (71.1%)

preprocess48.0ms (4.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify19.0ms (1.7%)

soundness0.0ms (0%)

preprocess12.0ms (1%)

end0.0ms (0%)

Profiling