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

analyze49.0ms (4.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)

sample1.0s (86.1%)

Results

876.0ms	8256×	body	256	valid
118.0ms	518×	body	256	invalid

Bogosity

preprocess73.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

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

FPErrors

Click to see full error table

truth	ex	ex	subexpr
256	-	-	`#f`
0	-	-	`x`
0	-	-	`(+.f64 x y)`
0	-	-	`(sqrt.f64 (+.f64 x y))`
0	-	-	`y`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	89
1	27	85
2	41	85
3	63	85
4	122	85
5	165	85
6	232	85
7	260	85
8	266	85
9	267	85

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 30 to 14 computations (53.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 (1.7%)

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)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	11	17

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

preprocess17.0ms (1.5%)

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

analyze49.0ms (4.2%)

sample1.0s (86.1%)

preprocess73.0ms (6.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize20.0ms (1.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify1.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess17.0ms (1.5%)

Profiling