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

Memory

0.0MiB live, 8.8MiB allocated

Samples

14.0ms

260×

valid

Precisions

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

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

Bogosity

explain1.1s (83.8%)

Memory

10.2MiB live, 844.2MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
197	0	-	-	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
65	68	(3.0761085742938986e-178)	-	`(/.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)))`	u/u	68	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	104
↳	`(*.f64 i i)`	underflow	136
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	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	68	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	104
↳	`(*.f64 i i)`	underflow	136
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	underflow	68
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	68
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/o	65	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	93
↳	`(*.f64 i i)`	overflow	130
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	65
`/.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	65	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	93
↳	`(*.f64 i i)`	overflow	130
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	overflow	65
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	65
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	65
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	65
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	36	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	104
↳	`(*.f64 i i)`	underflow	136
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/n	28	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	93
↳	`(*.f64 i i)`	overflow	130

Confusion

	Predicted +	Predicted -
+	197	0
-	0	59

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	197	0	0
-	0	0	59

Precision?

1.0

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	59
1	64
2	133

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

5.931640625

Average Time

0.02317047119140625

Samples

190.0ms

3 072×

valid

Compiler

Compiled 2 916 to 504 computations (82.7% saved)

Precisions

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

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

ival-div: 30.0ms (25.9% of total)

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

exact: 3.0ms (2.6% of total)

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

adjust: 1.0ms (0.9% of total)

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

preprocess151.0ms (11.9%)

Memory

-2.2MiB 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
	24.8%	(/.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

24.8%

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

Memory

-3.1MiB 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)))

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

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

explain1.1s (83.8%)

preprocess151.0ms (11.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify28.0ms (2.2%)

soundness0.0ms (0%)

preprocess2.0ms (0.1%)

end0.0ms (0%)

Profiling