Metrics for Rosa's Benchmark

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample24.0ms (2.9%)

Memory

-0.2MiB live, 8.4MiB allocated

Samples

17.0ms

260×

valid

Precisions

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

const: 6.0ms (46.6% of total)

ival-mult: 5.0ms (38.9% of total)

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

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain739.0ms (89.2%)

Memory

11.2MiB live, 582.7MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 (.f64 #s(literal 238732414637843/250000000000000 binary64) x) (.f64 #s(literal 6450306886639899/50000000000000000 binary64) (.f64 (.f64 x x) x)))`
-	-	`(*.f64 #s(literal 238732414637843/250000000000000 binary64) x)`
-	-	`(.f64 (.f64 x x) x)`
-	-	`#s(literal 6450306886639899/50000000000000000 binary64)`
-	-	`#s(literal 238732414637843/250000000000000 binary64)`
-	-	`(*.f64 x x)`
-	-	`(.f64 #s(literal 6450306886639899/50000000000000000 binary64) (.f64 (*.f64 x x) x))`
-	-	`x`

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

4.19677734375

Average Time

0.016393661499023438

Samples

225.0ms

3 072×

valid

Compiler

Compiled 1 308 to 408 computations (68.8% saved)

Precisions

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

const: 76.0ms (48.7% of total)

ival-mult: 66.0ms (42.3% of total)

ival-sub: 11.0ms (7% of total)

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

adjust: 1.0ms (0.6% of total)

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

preprocess34.0ms (4.1%)

Memory

-0.3MiB live, 7.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	36	21
2	140	18
3	408	18
4	603	18
5	660	18
6	664	18
0	8	11
0	13	11
1	24	9
2	55	9
3	120	9
4	165	9
5	215	9
6	286	9
7	357	9
8	555	9
9	582	9
0	582	8

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 #s(literal 238732414637843/250000000000000 binary64) x) (.f64 #s(literal 6450306886639899/50000000000000000 binary64) (.f64 (.f64 x x) x)))

Outputs

(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))

(*.f64 (fma.f64 #s(literal -6450306886639899/50000000000000000 binary64) (*.f64 x x) #s(literal 238732414637843/250000000000000 binary64)) x)

Symmetry

(negabs x)

Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.4MiB live, 0.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(-.f64 (.f64 #s(literal 238732414637843/250000000000000 binary64) x) (.f64 #s(literal 6450306886639899/50000000000000000 binary64) (.f64 (.f64 x x) x)))

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify25.0ms (3.1%)

Memory

-7.9MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	16	11
2	28	11
3	40	11
4	50	11
5	55	11
6	57	11

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (.f64 #s(literal 238732414637843/250000000000000 binary64) x) (.f64 #s(literal 6450306886639899/50000000000000000 binary64) (.f64 (.f64 x x) x)))

Outputs

(-.f64 (*.f64 #s(literal 238732414637843/250000000000000 binary64) x) (*.f64 #s(literal 6450306886639899/50000000000000000 binary64) (*.f64 (*.f64 x x) x)))

(-.f64 (*.f64 x #s(literal 238732414637843/250000000000000 binary64)) (*.f64 (*.f64 (*.f64 x x) x) #s(literal 6450306886639899/50000000000000000 binary64)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 11 to 8 computations (27.3% saved)

preprocess4.0ms (0.5%)

Memory: 2.2MiB live, 2.2MiB allocated
Remove: (negabs x)
Compiler: Compiled 88 to 64 computations (27.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	10	27
1	36	21
2	140	18
3	408	18
4	603	18
5	660	18
6	664	18
0	8	11
0	13	11
1	24	9
2	55	9
3	120	9
4	165	9
5	215	9
6	286	9
7	357	9
8	555	9
9	582	9
0	582	8

Iter	Nodes	Cost
0	10	27
1	36	21
2	140	18
3	408	18
4	603	18
5	660	18
6	664	18
0	8	11
0	13	11
1	24	9
2	55	9
3	120	9
4	165	9
5	215	9
6	286	9
7	357	9
8	555	9
9	582	9
0	582	8

start0.0ms (0%)

analyze0.0ms (0%)

sample24.0ms (2.9%)

explain739.0ms (89.2%)

preprocess34.0ms (4.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify25.0ms (3.1%)

soundness0.0ms (0%)

preprocess4.0ms (0.5%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	10	27
1	36	21
2	140	18
3	408	18
4	603	18
5	660	18
6	664	18
0	8	11
0	13	11
1	24	9
2	55	9
3	120	9
4	165	9
5	215	9
6	286	9
7	357	9
8	555	9
9	582	9
0	582	8