Metrics for Rump's expression from Stadtherr's award speech

analyze15.0ms (0.9%)

Memory

-11.6MiB live, 4.2MiB 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 7 to 9 computations (-28.6% saved)

sample1.3s (87.7%)

Memory

14.5MiB live, 358.8MiB allocated

Samples

339.0ms	8 256×	73	valid-baseline
262.0ms	8 256×	73	valid-rival
199.0ms	8 256×	73	valid-sollya

Precisions

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

...in/eval/compile.rkt:111:19: 114.0ms (92.1% of total)

ival-true: 6.0ms (4.8% of total)

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

Precisions

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

...ms/src/baseline.rkt:166:19: 109.0ms (94.2% of total)

const: 7.0ms (6.1% of total)

Bogosity

preprocess133.0ms (8.7%)

Memory

4.7MiB live, 20.0MiB allocated

Algorithm

1×	egg-herbie

Rules

701×	`sub-neg`
689×	`unsub-neg`
635×	`fmm-def`
352×	`distribute-lft-neg-in`
345×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	165
1	82	157
2	207	151
3	600	149
4	1883	149
5	3588	149
6	5925	149
7	7930	149

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
#s(literal -54767/66192 binary64)
#s(literal -54767/66192 binary64)
#s(literal -54767/66192 binary64)
(neg.f64 #s(literal -54767/66192 binary64))
(neg.f64 #s(literal -54767/66192 binary64))
#s(literal -54767/66192 binary64)

Outputs
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))
(+.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (.f64 (.f64 x x) (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x #s(literal 11 binary64))))) (pow.f64 y #s(literal 6 binary64))) (+.f64 (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64))) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64))) (/.f64 (/.f64 x #s(literal 2 binary64)) y)))
(+.f64 (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 (.f64 x x) (-.f64 (-.f64 (.f64 y (.f64 y (.f64 x (.f64 x #s(literal 11 binary64))))) (pow.f64 y #s(literal 6 binary64))) (fma.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)) #s(literal 2 binary64))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64))))) (/.f64 x (*.f64 y #s(literal 2 binary64))))
(fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 x (.f64 x (fma.f64 y (.f64 x (.f64 x (.f64 y #s(literal 11 binary64)))) (fma.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -121 binary64) #s(literal -2 binary64))))) (fma.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)) (/.f64 x (*.f64 y #s(literal 2 binary64))))))
(fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 x (.f64 x (-.f64 (fma.f64 (.f64 x x) (.f64 y (.f64 y #s(literal 11 binary64))) (fma.f64 (pow.f64 y #s(literal 4 binary64)) #s(literal -121 binary64) #s(literal -2 binary64))) (pow.f64 y #s(literal 6 binary64)))) (fma.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)) (/.f64 x (*.f64 y #s(literal 2 binary64))))))
(fma.f64 x (.f64 x (-.f64 (fma.f64 (.f64 x x) (.f64 y (.f64 y #s(literal 11 binary64))) #s(literal -2 binary64)) (fma.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 y #s(literal 6 binary64))))) (fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)) (/.f64 x (*.f64 y #s(literal 2 binary64))))))
(fma.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64)) (fma.f64 x (.f64 x (-.f64 (fma.f64 (.f64 x x) (.f64 y (.f64 y #s(literal 11 binary64))) #s(literal -2 binary64)) (fma.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)) (pow.f64 y #s(literal 6 binary64))))) (fma.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)) (*.f64 (/.f64 x y) #s(literal 1/2 binary64)))))
#s(literal -54767/66192 binary64)
#s(literal -54767/66192 binary64)
#s(literal -54767/66192 binary64)
(neg.f64 #s(literal -54767/66192 binary64))
#s(literal 54767/66192 binary64)
(neg.f64 #s(literal -54767/66192 binary64))
#s(literal 54767/66192 binary64)
#s(literal -54767/66192 binary64)

Symmetry

(abs x)

(abs y)

(sort x y)

Compiler

Compiled 45 to 30 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	1.4%	(+.f64 (+.f64 (+.f64 (.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (.f64 (.f64 x x) (-.f64 (-.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (.f64 #s(literal 2 binary64) y)))

Status

Accuracy

Program

1.4%

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Compiler

Compiled 90 to 60 computations (33.3% saved)

simplify4.0ms (0.3%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
11×	`+-commutative`
8×	`sub-neg`
5×	`neg-sub0`
5×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	163
1	57	163
2	75	163
3	85	163
4	91	163
5	92	163

Stop Event

1×

saturated

Calls

Call 1

Inputs

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

Outputs

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 11 binary64) x) x) y) y) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 #s(literal 2 binary64) y)))

(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 y #s(literal 6 binary64))) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x #s(literal 11 binary64))))) (pow.f64 y #s(literal 6 binary64))) (*.f64 #s(literal 121 binary64) (pow.f64 y #s(literal 4 binary64)))) #s(literal 2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 y #s(literal 8 binary64)))) (/.f64 x (*.f64 y #s(literal 2 binary64))))

soundness0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 45 to 30 computations (33.3% saved)

preprocess36.0ms (2.3%)

Memory

-0.1MiB live, 33.8MiB allocated

Remove

(sort x y)

(abs y)

(abs x)

Compiler

Compiled 720 to 480 computations (33.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze15.0ms (0.9%)

sample1.3s (87.7%)

preprocess133.0ms (8.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

preprocess36.0ms (2.3%)

end0.0ms (0%)

Profiling