Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, A

analyze17.0ms (2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
25%	25%	74.9%	0.1%	0%	0%	0%	3
28.6%	25%	62.4%	0.1%	0%	12.5%	0%	4
46.2%	37.5%	43.7%	0.1%	0%	18.7%	0%	5
52.2%	37.5%	34.3%	0.1%	0%	28.1%	0%	6
65.1%	43.7%	23.4%	0.1%	0%	32.8%	0%	7
70.9%	43.7%	18%	0.1%	0%	38.2%	0%	8
79.5%	46.8%	12.1%	0.1%	0%	41%	0%	9
83.6%	46.8%	9.2%	0.1%	0%	43.9%	0%	10
88.7%	48.4%	6.1%	0.1%	0%	45.4%	0%	11
91.3%	48.4%	4.6%	0.1%	0%	46.9%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample769.0ms (90.1%)

Results

723.0ms	8256×	body	256	valid
32.0ms	548×	body	256	invalid

Bogosity

preprocess22.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

144×	`fma-def`
32×	`associate--r+`
28×	`sub-neg`
22×	`cancel-sign-sub-inv`
20×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	59
1	24	55
2	38	55
3	60	55
4	124	55
5	167	55
6	234	55
7	262	55
8	268	55
9	269	55

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 (neg.f64 x) y))
(sqrt.f64 (+.f64 x (neg.f64 y)))
(sqrt.f64 (+.f64 y x))

Outputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 (neg.f64 x) y))
(sqrt.f64 (+.f64 y (neg.f64 x)))
(sqrt.f64 (-.f64 y x))
(sqrt.f64 (+.f64 x (neg.f64 y)))
(sqrt.f64 (-.f64 x y))
(sqrt.f64 (+.f64 y x))
(sqrt.f64 (+.f64 x y))

Symmetry

(sort x y)

Compiler

Compiled 6 to 4 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(sqrt.f64 (+.f64 x y))
▶	100.0%	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize20.0ms (2.4%)

Compiler: Compiled 12 to 5 computations (58.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

100.0%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify4.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	8	11

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 x y))

Outputs
(sqrt.f64 (+.f64 x y))

Compiler

Compiled 6 to 4 computations (33.3% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (2.3%)

Remove: (sort x y)
Compiler: Compiled 36 to 24 computations (33.3% saved)

analyze17.0ms (2%)

sample769.0ms (90.1%)

preprocess22.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize20.0ms (2.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify4.0ms (0.4%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (2.3%)

Profiling