Metrics for From Rump in a 1983 paper

analyze12.0ms (0.6%)

Memory

3.7MiB live, 3.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 35 to 27 computations (22.9% saved)

sample1.7s (90.1%)

Memory

-10.6MiB live, 533.7MiB allocated

Samples

497.0ms	8 256×	valid-baseline
469.0ms	8 256×	valid-rival
150.0ms	8 256×	valid-sollya

Bogosity

preprocess153.0ms (8%)

Memory

7.0MiB live, 22.5MiB allocated

Algorithm

1×	egg-herbie

Rules

844×	`fmm-def`
430×	`fma-define`
154×	`cancel-sign-sub-inv`
145×	`sub-neg`
96×	`associate-+l-`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	409
1	94	381
2	266	373
3	641	365
4	1392	365
5	2312	365
6	2682	365
7	2970	365
8	3044	365
9	3051	365
10	3051	365

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 y) (neg.f64 y))))
(neg.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y))))
(neg.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 y) (neg.f64 y)))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 x x)))

Outputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))))
(-.f64 (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 (.f64 y y) #s(literal -2 binary64) (pow.f64 y #s(literal 4 binary64))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))))
(-.f64 (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))) (pow.f64 y #s(literal 4 binary64)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 (.f64 y y) #s(literal -2 binary64) (pow.f64 y #s(literal 4 binary64))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 y (*.f64 y #s(literal 2 binary64)) (fma.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64)) (neg.f64 (pow.f64 y #s(literal 4 binary64)))))
(-.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (fma.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) #s(literal -9 binary64) (pow.f64 y #s(literal 4 binary64))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 y) (neg.f64 y))))
(+.f64 (.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(-.f64 (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))
(-.f64 (fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) (.f64 y (.f64 y #s(literal 2 binary64)))) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))
(neg.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y))))
(neg.f64 (+.f64 (.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64)))))
(-.f64 (.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 (neg.f64 x) #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))))
(fma.f64 (.f64 y y) #s(literal -2 binary64) (+.f64 (pow.f64 y #s(literal 4 binary64)) (.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) #s(literal -9 binary64))))
(fma.f64 y (*.f64 y #s(literal -2 binary64)) (fma.f64 (pow.f64 (neg.f64 x) #s(literal 4 binary64)) #s(literal -9 binary64) (pow.f64 y #s(literal 4 binary64))))
(neg.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 y) (neg.f64 y)))))
(neg.f64 (+.f64 (.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64)))))
(-.f64 (.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(fma.f64 (.f64 y y) #s(literal -2 binary64) (+.f64 (pow.f64 (neg.f64 y) #s(literal 4 binary64)) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64) (fma.f64 y (*.f64 y #s(literal -2 binary64)) (pow.f64 (neg.f64 y) #s(literal 4 binary64))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 x x)))
(fma.f64 #s(literal 2 binary64) (.f64 x x) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 y #s(literal 4 binary64))) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 x (*.f64 x #s(literal 2 binary64)) (fma.f64 #s(literal 9 binary64) (pow.f64 y #s(literal 4 binary64)) (neg.f64 (pow.f64 x #s(literal 4 binary64)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 y #s(literal 4 binary64))) (fma.f64 x (.f64 x #s(literal -2 binary64)) (pow.f64 x #s(literal 4 binary64))))

Compiler

Compiled 17 to 12 computations (29.4% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	18.8%	(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	55
1	23	55
2	28	55
3	30	55
4	31	55

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))

Outputs
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (pow.f64 y #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 17 to 12 computations (29.4% saved)

preprocess22.0ms (1.1%)

Memory: -13.6MiB live, 22.1MiB allocated
Compiler: Compiled 68 to 48 computations (29.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze12.0ms (0.6%)

sample1.7s (90.1%)

preprocess153.0ms (8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess22.0ms (1.1%)

end0.0ms (0%)

Profiling