Metrics for From Rump in a 1983 paper, rewritten

analyze1.0ms (0%)

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 24 to 16 computations (33.3% saved)

sample4.1s (91.1%)

Results

1.6s	8256×	valid-rival
283.0ms	8255×	valid-sollya
5.0ms	1×	exit-sollya

Bogosity

preprocess346.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

1405×	`fma-define`
704×	`fma-neg`
233×	`cancel-sign-sub-inv`
229×	`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	3061	357
6	4194	357
7	4459	357
8	4570	349
9	4601	349
10	4606	349
11	5086	349
12	5106	349
13	5282	349
14	5282	349
15	5282	349
16	5348	349
17	5396	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%)

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

prune1.0ms (0%)

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)

simplify11.0ms (0.3%)

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

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 17 to 11 computations (35.3% saved)

preprocess38.0ms (0.9%)

Remove

(abs y)

(abs x)

Compiler

Compiled 204 to 132 computations (35.3% saved)

From Rump in a 1983 paper, rewritten

analyze1.0ms (0%)

sample4.1s (91.1%)

preprocess346.0ms (7.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify11.0ms (0.3%)

soundness1.0ms (0%)

preprocess38.0ms (0.9%)

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

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