Metrics for Octave 3.8, jcobi/4, as called

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze3.0ms (0.1%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
87.5%	43.7%	6.2%	50%	0%	0%	0%	5
93.8%	46.9%	3.1%	50%	0%	0%	0%	6
96.9%	48.4%	1.6%	50%	0%	0%	0%	7
98.4%	49.2%	0.8%	50%	0%	0%	0%	8
99.2%	49.6%	0.4%	50%	0%	0%	0%	9
99.6%	49.8%	0.2%	50%	0%	0%	0%	10
99.8%	49.9%	0.1%	50%	0%	0%	0%	11
99.9%	49.9%	0%	50%	0%	0%	0%	12

Compiler

Compiled 29 to 13 computations (55.2% saved)

sample21.0ms (0.4%)

Memory

0.8MiB live, 8.5MiB allocated

Samples

15.0ms

260×

valid

Precisions

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

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

ival-div: 3.0ms (28.8% of total)

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain5.0s (96.1%)

Memory

20.0MiB live, 3 186.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
194	-	2	(4.76805108273116e-81)	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
74	-	0	-	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`
0	-	0	-	`(*.f64 i i)`
0	-	0	-	`(.f64 (.f64 i i) (*.f64 i i))`
0	-	0	-	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`
0	-	0	-	`i`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) i)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/o	74	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	114
↳	`(*.f64 i i)`	overflow	148
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	74
`/.f64`	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`	o/o	74	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	114
↳	`(*.f64 i i)`	overflow	148
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	overflow	74
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	74
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	74
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	74
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	51	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	78
↳	`(*.f64 i i)`	underflow	102
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	51
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/n	40	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	114
↳	`(*.f64 i i)`	overflow	148
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	27	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	78
↳	`(*.f64 i i)`	underflow	102

Confusion

	Predicted +	Predicted -
+	192	2
-	0	62

Precision

1.0

Recall

0.9896907216494846

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	192	0	2
-	0	0	62

Precision?

1.0

Recall?

0.9896907216494846

Freqs

test

number	freq
0	64
1	118
2	74

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

18.200439453125

Average Time

0.07109546661376953

Samples

1.5s

23 040×

valid

Compiler

Compiled 11 025 to 1 980 computations (82% saved)

Precisions

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

ival-mult: 510.0ms (56.6% of total)

ival-div: 240.0ms (26.6% of total)

ival-sub: 105.0ms (11.6% of total)

exact: 21.0ms (2.3% of total)

ival-true: 18.0ms (2% of total)

ival-assert: 8.0ms (0.9% of total)

preprocess154.0ms (3%)

Memory

4.4MiB live, 35.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	55	43
2	350	26
3	2861	26
4	7636	26
0	10	25
0	17	21
1	45	19
2	187	13
3	1060	13
4	3649	11
5	5292	11
6	7322	11
0	8036	10

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Inputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Outputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
(.f64 (/.f64 i (fma.f64 #s(literal 16 binary64) (.f64 i i) #s(literal -4 binary64))) i)

Outputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

(*.f64 (/.f64 i (fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))) i)

Symmetry

(abs i)

Compiler

Compiled 25 to 10 computations (60% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	25.9%	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Status

Accuracy

Program

25.9%

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Compiler

Compiled 50 to 20 computations (60% saved)

simplify20.0ms (0.4%)

Memory

2.8MiB live, 18.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	16	25
2	20	25
3	23	25
4	26	25
5	29	25

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Inputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Outputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Outputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 25 to 10 computations (60% saved)

preprocess2.0ms (0%)

Memory: -6.5MiB live, 1.3MiB allocated
Remove: (abs i)
Compiler: Compiled 200 to 80 computations (60% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze3.0ms (0.1%)

sample21.0ms (0.4%)

explain5.0s (96.1%)

preprocess154.0ms (3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.4%)

soundness0.0ms (0%)

preprocess2.0ms (0%)

end0.0ms (0%)

Profiling