Metrics for Octave 3.8, oct_fill

analyze31.0ms (0.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	50%	0.1%	0%	50%	0%	2
0%	0%	50%	0.1%	0%	50%	0%	3
50%	25%	25%	0.1%	0%	50%	0%	4
50%	25%	25%	0.1%	0%	50%	0%	5
66.7%	25%	12.5%	0.1%	0%	62.4%	0%	6
66.7%	25%	12.5%	0.1%	0%	62.4%	0%	7
80%	25%	6.2%	0.1%	0%	68.7%	0%	8
80%	25%	6.2%	0.1%	0%	68.7%	0%	9
88.9%	25%	3.1%	0.1%	0%	71.8%	0%	10
88.9%	25%	3.1%	0.1%	0%	71.8%	0%	11
94.1%	25%	1.6%	0.1%	0%	73.4%	0%	12

Compiler

Compiled 23 to 14 computations (39.1% saved)

sample9.6s (97.7%)

Results

1.8s	8256×	valid-rival
861.0ms	8214×	valid-sollya
95.0ms	460×	invalid-rival
496.0ms	448×	invalid-sollya
270.0ms	54×	exit-sollya

Bogosity

preprocess148.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

718×	`fma-define`
613×	`unsub-neg`
412×	`sub-neg`
341×	`distribute-rgt-in`
329×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	424
1	113	366
2	399	330
3	1432	322
4	4615	322
5	6961	322

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand))))
(neg.f64 (.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand))))
(neg.f64 (.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand)))))
(.f64 (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) a)))

Outputs
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) rand)))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) rand)))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))
(.f64 (+.f64 (neg.f64 a) #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 rand (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 (neg.f64 a) #s(literal -1/3 binary64))))))))
(.f64 (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (.f64 #s(literal 9 binary64) (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)))))))
(.f64 (-.f64 #s(literal -1/3 binary64) a) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 #s(literal -3 binary64) (.f64 a #s(literal -9 binary64)))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (+.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal -9 binary64) #s(literal -3 binary64))))))
(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand))))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) (neg.f64 rand))))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (.f64 #s(literal 9 binary64) a) #s(literal -3 binary64))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64))))))
(*.f64 (-.f64 #s(literal 1/3 binary64) a) (+.f64 (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64)))) #s(literal -1 binary64)))
(neg.f64 (.f64 (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 (neg.f64 a) (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand))))
(.f64 (+.f64 (neg.f64 a) #s(literal -1/3 binary64)) (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 rand (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 (neg.f64 a) #s(literal -1/3 binary64)))))))))
(.f64 (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64)) (+.f64 #s(literal -1 binary64) (neg.f64 (/.f64 rand (sqrt.f64 (.f64 #s(literal 9 binary64) (fma.f64 #s(literal -1 binary64) a #s(literal -1/3 binary64))))))))
(.f64 (-.f64 #s(literal -1/3 binary64) a) (-.f64 #s(literal -1 binary64) (/.f64 rand (sqrt.f64 (+.f64 #s(literal -3 binary64) (.f64 a #s(literal -9 binary64)))))))
(*.f64 (-.f64 #s(literal -1/3 binary64) a) (-.f64 #s(literal -1 binary64) (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal -9 binary64) #s(literal -3 binary64))))))
(neg.f64 (.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) (neg.f64 rand)))))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (+.f64 a #s(literal -1/3 binary64)) #s(literal 9 binary64)))) (neg.f64 rand)))))
(.f64 (+.f64 a #s(literal -1/3 binary64)) (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 rand (sqrt.f64 (+.f64 (.f64 #s(literal 9 binary64) a) #s(literal -3 binary64)))))))
(*.f64 (+.f64 a #s(literal -1/3 binary64)) (+.f64 (/.f64 rand (sqrt.f64 (fma.f64 a #s(literal 9 binary64) #s(literal -3 binary64)))) #s(literal -1 binary64)))
(.f64 (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 rand (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) a)))
(.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 a (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (+.f64 rand #s(literal -1/3 binary64))))))))
(.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 a (sqrt.f64 (+.f64 (.f64 rand #s(literal 9 binary64)) #s(literal -3 binary64))))))
(*.f64 (+.f64 rand #s(literal -1/3 binary64)) (+.f64 #s(literal 1 binary64) (/.f64 a (sqrt.f64 (fma.f64 #s(literal 9 binary64) rand #s(literal -3 binary64))))))

Compiler

Compiled 22 to 13 computations (40.9% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.8%	(.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))

Status

Accuracy

Program

99.8%

(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))

Compiler

Compiled 44 to 26 computations (40.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`
3×	`1-exp`
3×	`+-commutative`
2×	`sub-neg`
1×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	56
1	31	56
2	35	56
3	37	56
4	38	56

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))

Outputs

(*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)))

(*.f64 (-.f64 a #s(literal 1/3 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 (-.f64 a #s(literal 1/3 binary64)) #s(literal 9 binary64)))) rand)))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess42.0ms (0.4%)

Compiler: Compiled 80 to 50 computations (37.5% saved)

Octave 3.8, oct_fill_randg

analyze31.0ms (0.3%)

sample9.6s (97.7%)

preprocess148.0ms (1.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness1.0ms (0%)

preprocess42.0ms (0.4%)

end0.0ms (0%)

Profiling