Metrics for Falkner and Boettcher, Appendix A

analyze205.0ms (2.5%)

Memory

13.0MiB live, 76.3MiB allocated

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.8%	49.9%	48.4%	0.1%	0%	1.6%	0%	10
50.8%	49.9%	48.4%	0.1%	0%	1.6%	0%	11
51.6%	49.9%	46.8%	0.1%	0%	3.1%	0%	12

Compiler

Compiled 36 to 27 computations (25% saved)

sample7.3s (90.3%)

Memory

-2.1MiB live, 1 642.6MiB allocated

Samples

510.0ms	5 796×	valid-sollya
435.0ms	5 796×	valid-baseline
416.0ms	5 796×	valid-rival
201.0ms	2 446×	valid-rival+baseline-inf
1.0ms	8×	valid-rival+baseline-real
1.0ms	6×	valid-rival+baseline-zero

Bogosity

preprocess559.0ms (6.9%)

Memory

-1.9MiB live, 29.3MiB allocated

Algorithm

1×	egg-herbie

Rules

1 039×	`fma-define`
1 022×	`fmm-def`
488×	`unsub-neg`
470×	`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	5226	544
7	6181	544
8	6496	544
9	6675	544
10	6744	544
11	7485	544
12	7713	544
13	7749	544
14	7828	544
15	7828	544
16	7828	544
17	7828	544
18	7848	544
19	7992	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 (*.f64 a (pow.f64 k m)) (fma.f64 k (-.f64 #s(literal -10 binary64) k) #s(literal -1 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%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	92.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)

simplify2.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

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

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 18 to 12 computations (33.3% saved)

preprocess18.0ms (0.2%)

Memory: 8.0MiB live, 23.5MiB allocated
Remove: (negabs a)
Compiler: Compiled 144 to 96 computations (33.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze205.0ms (2.5%)

sample7.3s (90.3%)

preprocess559.0ms (6.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess18.0ms (0.2%)

end0.0ms (0%)

Profiling