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

Time bar (total: 844.0ms)

analyze17.0ms (2%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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)

sample758.0ms (89.8%)

Results
720.0ms8256×body256valid
27.0ms472×body256invalid
Bogosity

preprocess69.0ms (8.2%)

Algorithm
egg-herbie
Rules
68×fma-def
23×associate--r+
22×+-commutative
20×associate-+l-
18×*-commutative
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020135
133127
252127
378127
4141127
5242127
6297127
7318127
8323127
9324127
Stop Event
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)))
(neg.f64 (sqrt.f64 (+.f64 (neg.f64 x) y)))
(neg.f64 (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))
(neg.f64 (sqrt.f64 (+.f64 (neg.f64 x) y)))
(neg.f64 (sqrt.f64 (+.f64 y (neg.f64 x))))
(neg.f64 (sqrt.f64 (-.f64 y x)))
(neg.f64 (sqrt.f64 (+.f64 x (neg.f64 y))))
(neg.f64 (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (+.f64 y x))
(sqrt.f64 (+.f64 x y))
Symmetry

(sort x y)

Compiler

Compiled 12 to 5 computations (58.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...