Metrics for From Rump in a 1983 paper, rewritten

analyze12.0ms (0.6%)

Memory

-12.0MiB live, 3.8MiB 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 25 computations (28.6% saved)

sample1.6s (82.2%)

Memory

9.9MiB live, 501.0MiB allocated

Samples

442.0ms	8 256×	valid-baseline
415.0ms	8 256×	valid-rival
117.0ms	8 256×	valid-sollya

Bogosity

preprocess301.0ms (15.7%)

Memory

9.4MiB live, 24.7MiB allocated

Algorithm

1×	egg-herbie

Rules

1 405×	`fma-define`
726×	`fmm-def`
233×	`cancel-sign-sub-inv`
228×	`distribute-lft-in`
222×	`distribute-rgt-in`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	34	394
1	92	394
2	246	386
3	780	357
4	1730	357
5	3076	357
6	4221	357
7	4488	357
8	4599	349
9	4630	349
10	4635	349
11	5115	349
12	5135	349
13	5311	349
14	5311	349
15	5311	349
16	5381	349
17	5429	349

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs x)

(abs y)

Compiler

Compiled 17 to 11 computations (35.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

-15.1MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 34 to 22 computations (35.3% saved)

simplify8.0ms (0.4%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Rules

74×	`unsub-neg`
41×	`neg-mul-1`
21×	`distribute-lft-neg-in`
19×	`distribute-neg-out`
14×	`distribute-lft-neg-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	58
1	26	58
2	44	58
3	57	58
4	77	58
5	83	58
6	88	58
7	117	58
8	159	58
9	163	58
10	180	58
11	246	58
12	307	58
13	308	58

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

(+.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (*.f64 y y) (-.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 11 computations (35.3% saved)

preprocess20.0ms (1%)

Memory

9.5MiB live, 24.9MiB allocated

Remove

(abs y)

(abs x)

Compiler

Compiled 204 to 132 computations (35.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	16	58
1	26	58
2	44	58
3	57	58
4	77	58
5	83	58
6	88	58
7	117	58
8	159	58
9	163	58
10	180	58
11	246	58
12	307	58
13	308	58

Iter	Nodes	Cost
0	16	58
1	26	58
2	44	58
3	57	58
4	77	58
5	83	58
6	88	58
7	117	58
8	159	58
9	163	58
10	180	58
11	246	58
12	307	58
13	308	58

analyze12.0ms (0.6%)

sample1.6s (82.2%)

preprocess301.0ms (15.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify8.0ms (0.4%)

soundness0.0ms (0%)

preprocess20.0ms (1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	58
1	26	58
2	44	58
3	57	58
4	77	58
5	83	58
6	88	58
7	117	58
8	159	58
9	163	58
10	180	58
11	246	58
12	307	58
13	308	58