Metrics for Falkner and Boettcher, Appendix A

analyze1.9s (4.1%)

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%	99.9%	0.1%	0%	0%	0%	2
50%	49.9%	49.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
50%	49.9%	49.9%	0.1%	0%	0%	0%	6
50%	49.9%	49.9%	0.1%	0%	0%	0%	7
50%	49.9%	49.9%	0.1%	0%	0%	0%	8
50%	49.9%	49.9%	0.1%	0%	0%	0%	9
50.7%	49.9%	48.6%	0.1%	0%	0%	1.4%	10
50.7%	49.9%	48.5%	0.1%	0%	0%	1.5%	11
51.5%	49.9%	47%	0.1%	0%	0%	2.9%	12

Compiler

Compiled 19 to 13 computations (31.6% saved)

sample43.3s (94.3%)

Results

3.7s	8256×	valid-rival
621.0ms	5685×	valid-sollya
5.9s	5298×	invalid-sollya
968.0ms	3140×	invalid-rival
2.1s	413×	exit-sollya

Bogosity

preprocess649.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1039×	`fma-define`
1022×	`fma-neg`
526×	`unsub-neg`
472×	`times-frac`
337×	`distribute-lft-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	707
1	130	610
2	325	560
3	805	552
4	2137	544
5	3877	544
6	5232	544
7	6193	544
8	6504	544
9	6679	544
10	6752	544
11	7493	544
12	7721	544
13	7757	544
14	7836	544
15	7836	544
16	7836	544
17	7836	544
18	7856	544
19	8000	544

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k))))
(/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(neg.f64 (/.f64 (.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k))))
(neg.f64 (/.f64 (.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k)))))
(neg.f64 (/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k))))
(/.f64 (.f64 k (pow.f64 a m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) a)) (*.f64 a a)))
(/.f64 (.f64 m (pow.f64 k a)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 m k)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) m)) (*.f64 m m)))

Outputs
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k)))
(.f64 a (/.f64 (pow.f64 k m) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(*.f64 a (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k)))
(.f64 a (/.f64 (pow.f64 k m) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(*.f64 a (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(.f64 (neg.f64 a) (/.f64 (pow.f64 k m) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k))))
(.f64 (pow.f64 k m) (/.f64 (neg.f64 a) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(.f64 (pow.f64 k m) (/.f64 a (-.f64 #s(literal -1 binary64) (.f64 k (+.f64 k #s(literal 10 binary64))))))
(/.f64 (.f64 a (pow.f64 k m)) (-.f64 #s(literal -1 binary64) (.f64 k (+.f64 k #s(literal 10 binary64)))))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (-.f64 #s(literal -10 binary64) k) #s(literal -1 binary64))))
(/.f64 (.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k))))
(.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 k k))))
(.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (fma.f64 k k (+.f64 #s(literal 1 binary64) (.f64 k #s(literal -10 binary64))))))
(.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 k #s(literal -10 binary64))))))
(/.f64 (*.f64 a (pow.f64 (neg.f64 k) m)) (fma.f64 k (+.f64 k #s(literal -10 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k)))
(.f64 a (/.f64 (pow.f64 k (neg.f64 m)) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(*.f64 a (/.f64 (pow.f64 k (neg.f64 m)) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(neg.f64 (/.f64 (.f64 (neg.f64 a) (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k))))
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k)))
(.f64 a (/.f64 (pow.f64 k m) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(*.f64 a (/.f64 (pow.f64 k m) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (*.f64 a (pow.f64 k m)) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 k m) (/.f64 a (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(neg.f64 (/.f64 (.f64 a (pow.f64 (neg.f64 k) m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 (neg.f64 k) (neg.f64 k)))))
(/.f64 (.f64 a (pow.f64 (neg.f64 k) m)) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) (neg.f64 k))) (*.f64 k k))))
(.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (neg.f64 (fma.f64 k k (+.f64 #s(literal 1 binary64) (.f64 k #s(literal -10 binary64)))))))
(.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (-.f64 #s(literal -1 binary64) (.f64 k (+.f64 k #s(literal -10 binary64))))))
(*.f64 (pow.f64 (neg.f64 k) m) (/.f64 a (fma.f64 k (-.f64 #s(literal 10 binary64) k) #s(literal -1 binary64))))
(*.f64 a (/.f64 (pow.f64 (neg.f64 k) m) (fma.f64 k (-.f64 #s(literal 10 binary64) k) #s(literal -1 binary64))))
(neg.f64 (/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k))))
(/.f64 (.f64 a (pow.f64 k (neg.f64 m))) (neg.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k))))
(/.f64 (.f64 a (neg.f64 (pow.f64 k (neg.f64 m)))) (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k))))
(*.f64 (neg.f64 (pow.f64 k (neg.f64 m))) (/.f64 a (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(.f64 a (/.f64 (pow.f64 k (neg.f64 m)) (-.f64 #s(literal -1 binary64) (.f64 k (+.f64 k #s(literal 10 binary64))))))
(*.f64 a (/.f64 (pow.f64 k (neg.f64 m)) (fma.f64 k (-.f64 #s(literal -10 binary64) k) #s(literal -1 binary64))))
(/.f64 (.f64 k (pow.f64 a m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) a)) (*.f64 a a)))
(.f64 k (/.f64 (pow.f64 a m) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 a #s(literal 10 binary64))) (*.f64 a a))))
(.f64 (pow.f64 a m) (/.f64 k (+.f64 #s(literal 1 binary64) (.f64 a (+.f64 #s(literal 10 binary64) a)))))
(*.f64 (pow.f64 a m) (/.f64 k (fma.f64 a (+.f64 a #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (*.f64 k (pow.f64 a m)) (fma.f64 a (+.f64 a #s(literal 10 binary64)) #s(literal 1 binary64)))
(*.f64 k (/.f64 (pow.f64 a m) (fma.f64 a (+.f64 a #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (.f64 m (pow.f64 k a)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))
(/.f64 (.f64 m (pow.f64 k a)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 k #s(literal 10 binary64))) (*.f64 k k)))
(.f64 (pow.f64 k a) (/.f64 m (+.f64 #s(literal 1 binary64) (.f64 k (+.f64 #s(literal 10 binary64) k)))))
(*.f64 (pow.f64 k a) (/.f64 m (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(*.f64 m (/.f64 (pow.f64 k a) (fma.f64 k (+.f64 k #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (.f64 a (pow.f64 m k)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) m)) (*.f64 m m)))
(/.f64 (.f64 a (pow.f64 m k)) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 m #s(literal 10 binary64)) (*.f64 m m))))
(/.f64 (.f64 a (pow.f64 m k)) (+.f64 #s(literal 1 binary64) (.f64 m (+.f64 #s(literal 10 binary64) m))))
(*.f64 a (/.f64 (pow.f64 m k) (fma.f64 m (+.f64 m #s(literal 10 binary64)) #s(literal 1 binary64))))
(/.f64 (*.f64 a (pow.f64 m k)) (fma.f64 m (+.f64 m #s(literal 10 binary64)) #s(literal 1 binary64)))

Symmetry

(negabs a)

Compiler

Compiled 18 to 12 computations (33.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	91.2%	(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`1-exp`
2×	`*-commutative`
2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	61
1	28	61

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 10 binary64) k)) (*.f64 k k)))

Outputs

(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 10 binary64) k)) (*.f64 k k)))

(/.f64 (*.f64 a (pow.f64 k m)) (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 k #s(literal 10 binary64))) (*.f64 k k)))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess77.0ms (0.2%)

Remove: (negabs a)
Compiler: Compiled 144 to 96 computations (33.3% saved)

Falkner and Boettcher, Appendix A

analyze1.9s (4.1%)

sample43.3s (94.3%)

preprocess649.0ms (1.4%)

eval0.0ms (0%)

prune3.0ms (0%)

simplify3.0ms (0%)

soundness1.0ms (0%)

preprocess77.0ms (0.2%)

end0.0ms (0%)

Profiling