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

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

Precisions

Click to see histograms

Operation ival-sub, total time spent: 0.0ms

Operation ival-sqrt, total time spent: 0.0ms

Operation ival-fabs, total time spent: 0.0ms

Operation const, total time spent: 0.0ms

sample1.4s (87.3%)

Results

1.4s

8256×

body

256

valid

Precisions

Click to see histograms

Operation ival-sub, total time spent: 73.0ms

Operation ival-sqrt, total time spent: 242.0ms

Operation ival-fabs, total time spent: 41.0ms

Operation const, total time spent: 11.0ms

Bogosity

preprocess78.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

134×	`fma-def`
42×	`sub-neg`
22×	`distribute-lft-neg-in`
22×	`cancel-sign-sub-inv`
22×	`cancel-sign-sub`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	171
1	43	155
2	85	155
3	174	155
4	244	155
5	275	155
6	281	155

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y)))
(sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y))))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 (neg.f64 x) y))))
(neg.f64 (sqrt.f64 (fabs.f64 (-.f64 x (neg.f64 y)))))
(sqrt.f64 (fabs.f64 (-.f64 y x)))

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

Symmetry

(sort x y)

Compiler

Compiled 24 to 11 computations (54.2% saved)

Precisions

Click to see histograms

Operation ival-sub, total time spent: 2.0ms

Operation ival-sqrt, total time spent: 3.0ms

Operation ival-fabs, total time spent: 2.0ms

Operation const, total time spent: 0.0ms

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize36.0ms (2.2%)

Compiler: Compiled 17 to 6 computations (64.7% saved)
Precisions: Click to see histograms
Operation ival-sub, total time spent: 2.0ms
Operation ival-sqrt, total time spent: 3.0ms
Operation ival-fabs, total time spent: 9.0ms
Operation const, total time spent: 0.0ms

eval0.0ms (0%)

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

prune2.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 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes13.0ms (0.8%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Calls

5 calls:

3.0ms	(sqrt.f64 (fabs.f64 (-.f64 x y)))
3.0ms	(fabs.f64 (-.f64 x y))
3.0ms	y
2.0ms	(-.f64 x y)
2.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(sqrt.f64 (fabs.f64 (-.f64 x y)))`
100.0%	1	`(fabs.f64 (-.f64 x y))`
100.0%	1	`(-.f64 x y)`

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg`
8×	`+-commutative`
4×	`neg-mul-1`
4×	`*-commutative`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	21
1	15	21
2	22	21
3	27	21
4	30	21
5	31	21

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess70.0ms (4.4%)

Remove: (sort x y)
Compiler: Compiled 56 to 40 computations (28.6% saved)

analyze0.0ms (0%)

sample1.4s (87.3%)

preprocess78.0ms (4.9%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize36.0ms (2.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes13.0ms (0.8%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess70.0ms (4.4%)

Profiling