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

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 11 to 8 computations (27.3% saved)

Precisions

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

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

sample1.1s (50.2%)

Results

804.0ms	6561×	0	valid
205.0ms	1694×	0	infinite
1.0ms	2×	5	exit
0.0ms	1×	0	infinite

Precisions

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

Operation ival-add, time spent: 170.0ms, 43.0% of total-time

Operation ival-sub, time spent: 138.0ms, 35.0% of total-time

Operation ival-mult, time spent: 65.0ms, 17.0% of total-time

Operation const, time spent: 19.0ms, 5.0% of total-time

Bogosity

preprocess855.0ms (40.4%)

Algorithm

1×	egg-herbie

Rules

6046×	`fma-def`
1322×	`unsub-neg`
1262×	`fma-neg`
930×	`sub-neg`
664×	`distribute-lft-out`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(*.f64 (+.f64 x y) (-.f64 1 z))`
-	-	`x`
-	-	`(-.f64 1 z)`
-	-	`z`
-	-	`(+.f64 x y)`
-	-	`y`
-	-	`1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	328
1	79	312
2	246	308
3	932	308
4	3194	308
5	5674	308
6	6662	308
7	6917	308
8	6969	308
9	6992	308
10	6995	308
11	7058	308
12	7066	308
13	7066	308
14	7066	308

Stop Event

1×	node limit

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (+.f64 (neg.f64 x) y) (-.f64 1 z))
(*.f64 (+.f64 x (neg.f64 y)) (-.f64 1 z))
(*.f64 (+.f64 x y) (-.f64 1 (neg.f64 z)))
(neg.f64 (*.f64 (+.f64 (neg.f64 x) y) (-.f64 1 z)))
(neg.f64 (*.f64 (+.f64 x (neg.f64 y)) (-.f64 1 z)))
(neg.f64 (*.f64 (+.f64 x y) (-.f64 1 (neg.f64 z))))
(*.f64 (+.f64 y x) (-.f64 1 z))
(*.f64 (+.f64 z y) (-.f64 1 x))
(*.f64 (+.f64 x z) (-.f64 1 y))

Outputs
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (+.f64 (neg.f64 x) y) (-.f64 1 z))
(*.f64 (-.f64 1 z) (+.f64 y (neg.f64 x)))
(*.f64 (-.f64 1 z) (-.f64 y x))
(*.f64 (+.f64 x (neg.f64 y)) (-.f64 1 z))
(*.f64 (-.f64 1 z) (-.f64 x y))
(*.f64 (+.f64 x y) (-.f64 1 (neg.f64 z)))
(*.f64 (+.f64 x y) (+.f64 1 z))
(neg.f64 (*.f64 (+.f64 (neg.f64 x) y) (-.f64 1 z)))
(*.f64 (-.f64 1 z) (-.f64 x y))
(neg.f64 (*.f64 (+.f64 x (neg.f64 y)) (-.f64 1 z)))
(*.f64 (-.f64 1 z) (+.f64 y (neg.f64 x)))
(*.f64 (-.f64 1 z) (-.f64 y x))
(neg.f64 (*.f64 (+.f64 x y) (-.f64 1 (neg.f64 z))))
(*.f64 (+.f64 x y) (neg.f64 (-.f64 1 (neg.f64 z))))
(*.f64 (+.f64 x y) (+.f64 -1 (neg.f64 z)))
(*.f64 (+.f64 x y) (-.f64 -1 z))
(*.f64 (+.f64 y x) (-.f64 1 z))
(*.f64 (+.f64 x y) (-.f64 1 z))
(*.f64 (+.f64 z y) (-.f64 1 x))
(*.f64 (+.f64 y z) (-.f64 1 x))
(*.f64 (+.f64 x z) (-.f64 1 y))

Symmetry

(sort x y)

Compiler

Compiled 52 to 29 computations (44.2% saved)

Precisions

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

Operation ival-sub, time spent: 95.0ms, 49.0% of total-time

Operation ival-add, time spent: 53.0ms, 27.0% of total-time

Operation ival-mult, time spent: 34.0ms, 18.0% of total-time

Operation const, time spent: 11.0ms, 6.0% of total-time

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 10 to 7 computations (30% saved)

localize172.0ms (8.1%)

Compiler: Compiled 21 to 11 computations (47.6% saved)
Precisions: Click to see histograms. Total time spent on operations: 94.0ms
Operation ival-sub, time spent: 48.0ms, 51.0% of total-time
Operation ival-add, time spent: 26.0ms, 28.0% of total-time
Operation ival-mult, time spent: 15.0ms, 16.0% of total-time
Operation const, time spent: 5.0ms, 5.0% of total-time

eval0.0ms (0%)

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

prune1.0ms (0%)

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%	(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 20 to 14 computations (30% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
4×	`sub-neg`
4×	`*-commutative`
3×	`1-exp`
2×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	23	28
2	27	28
3	29	28
4	30	28

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (-.f64 1 z))

Outputs
(*.f64 (+.f64 x y) (-.f64 1 z))

Compiler

Compiled 10 to 7 computations (30% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess24.0ms (1.1%)

Remove: (sort x y)
Compiler: Compiled 80 to 56 computations (30% saved)

analyze0.0ms (0%)

sample1.1s (50.2%)

preprocess855.0ms (40.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize172.0ms (8.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess24.0ms (1.1%)

Profiling