Metrics for From Rump in a 1983 paper

analyze28.0ms (1.3%)

Memory

-12.4MiB live, 7.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 27 computations (22.9% saved)

sample1.9s (90.2%)

Memory

30.9MiB live, 607.9MiB allocated

Samples

599.0ms	8 256×	valid-baseline
549.0ms	8 256×	valid-rival
151.0ms	8 256×	valid-sollya

Precisions

Click to see Rival histograms. Total time spent on operations: 356.0ms

ival-pow: 134.0ms (37.6% of total)

ival-mult: 133.0ms (37.4% of total)

ival-sub: 36.0ms (10.1% of total)

ival-add: 35.0ms (9.8% of total)

...in/eval/compile.rkt:76:19: 8.0ms (2.2% of total)

ival-true: 7.0ms (2% of total)

ival-assert: 4.0ms (1.1% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 346.0ms

ival-mult: 132.0ms (38.1% of total)

ival-pow: 125.0ms (36.1% of total)

ival-sub: 38.0ms (11% of total)

ival-add: 35.0ms (10.1% of total)

const: 16.0ms (4.6% of total)

Bogosity

preprocess156.0ms (7.3%)

Memory

6.6MiB live, 22.4MiB 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.3MiB live, 0.3MiB 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.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 17 to 12 computations (29.4% saved)

preprocess21.0ms (1%)

Memory: 4.6MiB live, 22.0MiB allocated
Compiler: Compiled 68 to 48 computations (29.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze28.0ms (1.3%)

sample1.9s (90.2%)

preprocess156.0ms (7.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess21.0ms (1%)

end0.0ms (0%)

Profiling