Metrics for 3frac (problem 3.3.3)

analyze15.0ms (0.3%)

Memory

-11.3MiB live, 4.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 34 to 23 computations (32.4% saved)

sample5.0s (97.8%)

Memory

78.3MiB live, 1 645.7MiB allocated

Samples

1.6s	7 205×	1	valid-baseline
1.0s	7 205×	1	valid-sollya
871.0ms	7 205×	1	valid-rival
237.0ms	784×	2	valid-baseline
147.0ms	784×	2	valid-rival
105.0ms	784×	2	valid-sollya
42.0ms	266×	0	valid-sollya
20.0ms	266×	0	valid-baseline
15.0ms	266×	0	valid-rival

Precisions

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

ival-div: 380.0ms (45.5% of total)

ival-add: 161.0ms (19.3% of total)

ival-sub: 144.0ms (17.2% of total)

adjust: 128.0ms (15.3% of total)

...in/eval/compile.rkt:76:19: 12.0ms (1.4% of total)

ival-true: 8.0ms (1% of total)

ival-assert: 3.0ms (0.4% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 1.2s

ival-div: 626.0ms (50.8% of total)

ival-add: 297.0ms (24.1% of total)

ival-sub: 263.0ms (21.4% of total)

const: 46.0ms (3.7% of total)

Bogosity

preprocess67.0ms (1.3%)

Memory

-11.8MiB live, 20.1MiB allocated

Algorithm

1×	egg-herbie

Rules

177×	`fmm-def`
65×	`fma-define`
45×	`sub-neg`
43×	`cancel-sign-sub-inv`
31×	`associate-+l-`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	220
1	53	210
2	120	208
3	309	208
4	600	208
5	786	208
6	853	208
7	860	208

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64))))
(neg.f64 (+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64)))))

Outputs
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (+.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))) (-.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (+.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))) (-.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (neg.f64 x))) (-.f64 (/.f64 #s(literal 2 binary64) (neg.f64 x)) (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal -1 binary64)))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (+.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal -1 binary64) (fma.f64 #s(literal -1 binary64) x #s(literal -1 binary64)))))
(+.f64 (/.f64 #s(literal 2 binary64) x) (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))))
(neg.f64 (+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (neg.f64 x) #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) (neg.f64 x))) (/.f64 #s(literal 1 binary64) (-.f64 (neg.f64 x) #s(literal 1 binary64)))))
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (+.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64)))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))) (-.f64 (/.f64 #s(literal -2 binary64) x) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) x))))

Symmetry

(negabs x)

Compiler

Compiled 16 to 10 computations (37.5% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	70.1%	(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify3.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative`
9×	`neg-mul-1`
8×	`unsub-neg`
7×	`*-commutative`
6×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	52
1	26	52
2	37	52
3	48	52
4	64	52
5	87	52
6	90	52

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))

Outputs

(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal 1 binary64))) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))

(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 x #s(literal 1 binary64))))

(+.f64 (-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) x)) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (+.f64 x #s(literal -1 binary64))))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 16 to 11 computations (31.3% saved)

preprocess28.0ms (0.5%)

Memory: 5.8MiB live, 36.9MiB allocated
Remove: (negabs x)
Compiler: Compiled 148 to 100 computations (32.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze15.0ms (0.3%)

sample5.0s (97.8%)

preprocess67.0ms (1.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

preprocess28.0ms (0.5%)

end0.0ms (0%)

Profiling