Metrics for Octave 3.8, jcobi/4, as called

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze3.0ms (0%)

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

1.0MiB live, 8.4MiB allocated

Samples

14.0ms

260×

valid

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

Bogosity

explain5.1s (96.5%)

Memory

38.8MiB live, 3 187.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
201	-	4	(4.2265952324251505e-78)	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
69	-	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	69	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	101
↳	`(*.f64 i i)`	overflow	138
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	69
`/.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	69	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	101
↳	`(*.f64 i i)`	overflow	138
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	overflow	69
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	69
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	69
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	69
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	56	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	96
↳	`(*.f64 i i)`	underflow	112
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	56
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	40	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	96
↳	`(*.f64 i i)`	underflow	112
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/n	32	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	101
↳	`(*.f64 i i)`	overflow	138

Confusion

	Predicted +	Predicted -
+	197	4
-	0	55

Precision

1.0

Recall

0.9800995024875622

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	197	0	4
-	0	0	55

Precision?

1.0

Recall?

0.9800995024875622

Freqs

test

number	freq
0	59
1	128
2	69

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

18.002197265625

Average Time

0.07032108306884766

Samples

1.4s

23 040×

valid

Compiler

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

Precisions

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

ival-mult: 489.0ms (56.1% of total)

ival-div: 233.0ms (26.8% of total)

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

exact: 21.0ms (2.4% of total)

ival-true: 19.0ms (2.2% of total)

ival-assert: 9.0ms (1% of total)

preprocess140.0ms (2.7%)

Memory

-3.5MiB live, 35.3MiB 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.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

24.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.7MiB 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: 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%)

sample21.0ms (0.4%)

explain5.1s (96.5%)

preprocess140.0ms (2.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify20.0ms (0.4%)

soundness0.0ms (0%)

preprocess2.0ms (0%)

end0.0ms (0%)

Profiling