Metrics for Octave 3.8, jcobi/4, as called

analyze5.0ms (0.3%)

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 12 computations (58.6% saved)

Precisions

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

ival-div: 1.0ms (36% of total)

ival-mult: 1.0ms (36% of total)

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

const: 0.0ms (0% of total)

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

sample1.1s (80%)

Results

879.0ms

8256×

256

valid

Precisions

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

ival-mult: 233.0ms (51% of total)

ival-div: 121.0ms (26.5% of total)

ival-sub: 46.0ms (10.1% of total)

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

const: 13.0ms (2.8% of total)

Bogosity

preprocess81.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

606×	`associate-/l*`
544×	`distribute-lft-neg-in`
509×	`distribute-rgt-neg-in`
507×	`div-sub`
457×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	344
1	95	280
2	575	180
3	4387	180

Stop Event

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)))
(/.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 (.f64 (.f64 (neg.f64 i) (neg.f64 i)) (.f64 (neg.f64 i) (neg.f64 i))) (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (.f64 #s(literal 2 binary64) (neg.f64 i)))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (*.f64 #s(literal 2 binary64) (neg.f64 i))) #s(literal 1 binary64)))
(neg.f64 (/.f64 (/.f64 (.f64 (.f64 (neg.f64 i) (neg.f64 i)) (.f64 (neg.f64 i) (neg.f64 i))) (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (.f64 #s(literal 2 binary64) (neg.f64 i)))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (*.f64 #s(literal 2 binary64) (neg.f64 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 (.f64 i i) (.f64 i i)) (.f64 (+.f64 (.f64 #s(literal 4 binary64) (.f64 i i)) #s(literal -1 binary64)) (.f64 #s(literal 4 binary64) (.f64 i i))))
(/.f64 (.f64 i (pow.f64 i #s(literal 3 binary64))) (.f64 (.f64 i (.f64 i #s(literal 4 binary64))) (fma.f64 (*.f64 i #s(literal 4 binary64)) i #s(literal -1 binary64))))
(.f64 #s(literal 1/4 binary64) (.f64 i (/.f64 i (fma.f64 i (*.f64 i #s(literal 4 binary64)) #s(literal -1 binary64)))))
(/.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 (.f64 i i) (.f64 i i)) (.f64 (+.f64 (.f64 #s(literal 4 binary64) (.f64 i i)) #s(literal -1 binary64)) (.f64 #s(literal 4 binary64) (.f64 i i))))
(/.f64 (.f64 i (pow.f64 i #s(literal 3 binary64))) (.f64 (.f64 i (.f64 i #s(literal 4 binary64))) (fma.f64 (*.f64 i #s(literal 4 binary64)) i #s(literal -1 binary64))))
(.f64 #s(literal 1/4 binary64) (.f64 i (/.f64 i (fma.f64 i (*.f64 i #s(literal 4 binary64)) #s(literal -1 binary64)))))
(/.f64 (/.f64 (.f64 (.f64 (neg.f64 i) (neg.f64 i)) (.f64 (neg.f64 i) (neg.f64 i))) (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (.f64 #s(literal 2 binary64) (neg.f64 i)))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (*.f64 #s(literal 2 binary64) (neg.f64 i))) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (+.f64 (.f64 #s(literal 4 binary64) (.f64 i i)) #s(literal -1 binary64)) (.f64 #s(literal 4 binary64) (.f64 i i))))
(/.f64 (.f64 i (pow.f64 i #s(literal 3 binary64))) (.f64 (.f64 i (.f64 i #s(literal 4 binary64))) (fma.f64 (*.f64 i #s(literal 4 binary64)) i #s(literal -1 binary64))))
(.f64 #s(literal 1/4 binary64) (.f64 i (/.f64 i (fma.f64 i (*.f64 i #s(literal 4 binary64)) #s(literal -1 binary64)))))
(neg.f64 (/.f64 (/.f64 (.f64 (.f64 (neg.f64 i) (neg.f64 i)) (.f64 (neg.f64 i) (neg.f64 i))) (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (.f64 #s(literal 2 binary64) (neg.f64 i)))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 i)) (*.f64 #s(literal 2 binary64) (neg.f64 i))) #s(literal 1 binary64))))
(neg.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (+.f64 (.f64 #s(literal 4 binary64) (.f64 i i)) #s(literal -1 binary64)) (.f64 #s(literal 4 binary64) (.f64 i i)))))
(/.f64 (.f64 (/.f64 i (.f64 i #s(literal 4 binary64))) (/.f64 (pow.f64 i #s(literal 3 binary64)) i)) (neg.f64 (fma.f64 (*.f64 i #s(literal 4 binary64)) i #s(literal -1 binary64))))
(.f64 (/.f64 i (fma.f64 i (.f64 i #s(literal 4 binary64)) #s(literal -1 binary64))) (*.f64 i #s(literal -1/4 binary64)))
(.f64 (.f64 i #s(literal -1/4 binary64)) (/.f64 i (fma.f64 i (*.f64 i #s(literal 4 binary64)) #s(literal -1 binary64))))

Symmetry

(abs i)

explain170.0ms (12.2%)

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
194	-	1	(1.0170891712526648e-80)	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
53	-	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	-	`(*.f64 #s(literal 2 binary64) i)`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`i`
0	-	0	-	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`
0	-	0	-	`(.f64 (.f64 i i) (*.f64 i i))`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`
0	-	0	-	`(*.f64 i i)`
0	-	0	-	`#s(literal 1 binary64)`

Results

117.0ms

512×

256

valid

Compiler

Compiled 174 to 32 computations (81.6% saved)

Precisions

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

ival-mult: 13.0ms (53.7% of total)

ival-div: 7.0ms (28.9% of total)

ival-sub: 3.0ms (12.4% of total)

const: 1.0ms (4.1% of total)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

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

(/.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 52 to 20 computations (61.5% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`1-exp`
2×	`unsub-neg`
2×	`sub-neg`
2×	`*-commutative`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	97
1	23	97
2	27	97
3	30	97
4	33	97
5	36	97

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

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 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 i #s(literal 2 binary64)) (*.f64 i #s(literal 2 binary64)))) (-.f64 (*.f64 (*.f64 i #s(literal 2 binary64)) (*.f64 i #s(literal 2 binary64))) #s(literal 1 binary64)))

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 26 to 10 computations (61.5% saved)

preprocess19.0ms (1.3%)

Remove: (abs i)
Compiler: Compiled 208 to 80 computations (61.5% saved)

Octave 3.8, jcobi/4, as called

analyze5.0ms (0.3%)

sample1.1s (80%)

preprocess81.0ms (5.8%)

explain170.0ms (12.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify3.0ms (0.2%)

soundness0.0ms (0%)

preprocess19.0ms (1.3%)

end0.0ms (0%)

Profiling