Metrics for Octave 3.8, jcobi/4, as called

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze3.0ms (0.2%)

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)

sample22.0ms (1.8%)

Memory

-0.2MiB live, 8.5MiB allocated

Samples

14.0ms

260×

valid

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain1.0s (83.9%)

Memory

6.2MiB live, 840.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
198	0	-	3	(3.603429185663262e-78)	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
68	55	(3.8111785061694836e-246)	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	-	0	-	`#s(literal 1 binary64)`
0	0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`
0	0	-	0	-	`(*.f64 i i)`
0	0	-	0	-	`(.f64 (.f64 i i) (*.f64 i i))`
0	0	-	0	-	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`
0	0	-	0	-	`i`
0	0	-	0	-	`#s(literal 2 binary64)`
0	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	68	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	99
↳	`(*.f64 i i)`	overflow	134
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	68
`/.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	67	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	99
↳	`(*.f64 i i)`	overflow	134
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	overflow	67
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	68
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	68
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	68
`/.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)))`	u/n	55	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	99
↳	`(*.f64 i i)`	underflow	106
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	underflow	55
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	52
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	52	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	99
↳	`(*.f64 i i)`	underflow	106
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	52
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	44	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	99
↳	`(*.f64 i i)`	underflow	106
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/n	31	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	99
↳	`(*.f64 i i)`	overflow	134
`/.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)))`	n/o	1	0
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	68
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	68

Confusion

	Predicted +	Predicted -
+	195	3
-	3	55

Precision

0.9848484848484849

Recall

0.9848484848484849

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	195	0	3
-	3	0	55

Precision?

0.9848484848484849

Recall?

0.9848484848484849

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	58
1	78
2	120

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

5.521728515625

Average Time

0.021569252014160156

Samples

184.0ms

3 072×

valid

Compiler

Compiled 2 916 to 504 computations (82.7% saved)

Precisions

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

ival-mult: 65.0ms (56.8% of total)

ival-div: 31.0ms (27.1% of total)

ival-sub: 13.0ms (11.4% of total)

exact: 3.0ms (2.6% of total)

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

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

preprocess143.0ms (11.6%)

Memory

5.7MiB 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.1%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	26.2%	(/.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

26.2%

(/.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)

simplify28.0ms (2.3%)

Memory

-2.6MiB live, 18.6MiB 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)))

soundness1.0ms (0.1%)

Memory

-7.7MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 25 to 10 computations (60% saved)

preprocess2.0ms (0.2%)

Memory: 1.3MiB 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.2%)

sample22.0ms (1.8%)

explain1.0s (83.9%)

preprocess143.0ms (11.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify28.0ms (2.3%)

soundness1.0ms (0.1%)

preprocess2.0ms (0.2%)

end0.0ms (0%)

Profiling