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

Time bar (total: 1.1s)

analyze125.0ms (11.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
50%49.9%49.9%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
75%74.9%25%0.2%0%0%0%9
75%74.9%25%0.2%0%0%0%10
75%74.9%25%0.2%0%0%0%11
75%74.9%25%0.2%0%0%0%12
Compiler

Compiled 14 to 10 computations (28.6% saved)

sample836.0ms (77%)

Results
607.0ms6086×body256valid
217.0ms2170×body256infinite
Bogosity

preprocess125.0ms (11.5%)

Algorithm
1×egg-herbie
Rules
412×distribute-lft-in
393×associate-+r-
369×associate-*l*
361×associate--r-
329×associate--r+
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
055636
1171612
2497592
31432592
44334592
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 (neg.f64 x) y) z) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x (neg.f64 y)) z) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x y) (neg.f64 z)) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 (neg.f64 t) 2))
(neg.f64 (/.f64 (-.f64 (+.f64 (neg.f64 x) y) z) (*.f64 t 2)))
(neg.f64 (/.f64 (-.f64 (+.f64 x (neg.f64 y)) z) (*.f64 t 2)))
(neg.f64 (/.f64 (-.f64 (+.f64 x y) (neg.f64 z)) (*.f64 t 2)))
(neg.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 (neg.f64 t) 2)))
(/.f64 (-.f64 (+.f64 y x) z) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 z y) x) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 t y) z) (*.f64 x 2))
(/.f64 (-.f64 (+.f64 x z) y) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x t) z) (*.f64 y 2))
(/.f64 (-.f64 (+.f64 x y) t) (*.f64 z 2))
Outputs
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
(/.f64 (+.f64 y (-.f64 x z)) (*.f64 t 2))
(/.f64 (+.f64 x (-.f64 y z)) (*.f64 t 2))
(*.f64 (/.f64 (-.f64 (-.f64 z y) x) t) -1/2)
(/.f64 (-.f64 (-.f64 z y) x) (*.f64 t -2))
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))
(/.f64 (+.f64 y (-.f64 x z)) (*.f64 t 2))
(/.f64 (+.f64 x (-.f64 y z)) (*.f64 t 2))
(*.f64 (/.f64 (-.f64 (-.f64 z y) x) t) -1/2)
(/.f64 (-.f64 (-.f64 z y) x) (*.f64 t -2))
(/.f64 (-.f64 (+.f64 (neg.f64 x) y) z) (*.f64 t 2))
(/.f64 (+.f64 (neg.f64 x) (-.f64 y z)) (*.f64 t 2))
(/.f64 (-.f64 (-.f64 y x) z) (*.f64 t 2))
(/.f64 (/.f64 (-.f64 (-.f64 y x) z) 2) t)
(/.f64 (-.f64 y (+.f64 x z)) (*.f64 t 2))
(*.f64 (/.f64 (+.f64 x (-.f64 z y)) t) -1/2)
(/.f64 (-.f64 (+.f64 x (neg.f64 y)) z) (*.f64 t 2))
(/.f64 (-.f64 (-.f64 x y) z) (*.f64 t 2))
(/.f64 (-.f64 x (+.f64 y z)) (*.f64 t 2))
(/.f64 (/.f64 (-.f64 x (+.f64 y z)) 2) t)
(/.f64 (-.f64 (+.f64 x y) (neg.f64 z)) (*.f64 t 2))
(/.f64 (+.f64 x (+.f64 y z)) (*.f64 t 2))
(/.f64 (/.f64 (+.f64 x (+.f64 y z)) t) 2)
(/.f64 (-.f64 (+.f64 x y) z) (*.f64 (neg.f64 t) 2))
(/.f64 (+.f64 y (-.f64 x z)) (*.f64 2 (neg.f64 t)))
(/.f64 (+.f64 x (-.f64 y z)) (*.f64 t -2))
(/.f64 (-.f64 (-.f64 z y) x) (*.f64 t 2))
(*.f64 (/.f64 (+.f64 x (-.f64 y z)) t) -1/2)
(neg.f64 (/.f64 (-.f64 (+.f64 (neg.f64 x) y) z) (*.f64 t 2)))
(/.f64 (neg.f64 (+.f64 (neg.f64 x) (-.f64 y z))) (*.f64 t 2))
(/.f64 (+.f64 (neg.f64 (-.f64 y x)) z) (*.f64 t 2))
(/.f64 (/.f64 (+.f64 x (-.f64 z y)) 2) t)
(/.f64 (+.f64 x (-.f64 z y)) (*.f64 t 2))
(neg.f64 (/.f64 (-.f64 (+.f64 x (neg.f64 y)) z) (*.f64 t 2)))
(neg.f64 (/.f64 (-.f64 (-.f64 x y) z) (*.f64 t 2)))
(/.f64 (+.f64 (neg.f64 (-.f64 x y)) z) (*.f64 t 2))
(/.f64 (+.f64 z (-.f64 y x)) (*.f64 t 2))
(*.f64 (/.f64 -1/2 t) (-.f64 x (+.f64 y z)))
(*.f64 (-.f64 x (+.f64 y z)) (/.f64 -1/2 t))
(neg.f64 (/.f64 (-.f64 (+.f64 x y) (neg.f64 z)) (*.f64 t 2)))
(/.f64 (neg.f64 (-.f64 (+.f64 x y) (neg.f64 z))) (*.f64 t 2))
(/.f64 (neg.f64 (+.f64 x (+.f64 y z))) (*.f64 t 2))
(*.f64 -1/2 (/.f64 (+.f64 x (+.f64 y z)) t))
(*.f64 (/.f64 (+.f64 x (+.f64 y z)) t) -1/2)
(*.f64 (+.f64 x (+.f64 y z)) (/.f64 -1/2 t))
(neg.f64 (/.f64 (-.f64 (+.f64 x y) z) (*.f64 (neg.f64 t) 2)))
(/.f64 (+.f64 y (-.f64 x z)) (*.f64 t 2))
(/.f64 (+.f64 x (-.f64 y z)) (*.f64 t 2))
(*.f64 (/.f64 (-.f64 (-.f64 z y) x) t) -1/2)
(/.f64 (-.f64 (-.f64 z y) x) (*.f64 t -2))
(/.f64 (-.f64 (+.f64 y x) z) (*.f64 t 2))
(/.f64 (+.f64 y (-.f64 x z)) (*.f64 t 2))
(/.f64 (+.f64 x (-.f64 y z)) (*.f64 t 2))
(*.f64 (/.f64 (-.f64 (-.f64 z y) x) t) -1/2)
(/.f64 (-.f64 (-.f64 z y) x) (*.f64 t -2))
(/.f64 (-.f64 (+.f64 z y) x) (*.f64 t 2))
(neg.f64 (/.f64 (-.f64 (-.f64 x y) z) (*.f64 t 2)))
(/.f64 (+.f64 (neg.f64 (-.f64 x y)) z) (*.f64 t 2))
(/.f64 (+.f64 z (-.f64 y x)) (*.f64 t 2))
(*.f64 (/.f64 -1/2 t) (-.f64 x (+.f64 y z)))
(*.f64 (-.f64 x (+.f64 y z)) (/.f64 -1/2 t))
(/.f64 (-.f64 (+.f64 t y) z) (*.f64 x 2))
(/.f64 (+.f64 t (-.f64 y z)) (*.f64 x 2))
(/.f64 (+.f64 y (-.f64 t z)) (*.f64 x 2))
(/.f64 (-.f64 t (-.f64 z y)) (*.f64 x 2))
(/.f64 (-.f64 (+.f64 x z) y) (*.f64 t 2))
(/.f64 (neg.f64 (+.f64 (neg.f64 x) (-.f64 y z))) (*.f64 t 2))
(/.f64 (+.f64 (neg.f64 (-.f64 y x)) z) (*.f64 t 2))
(/.f64 (/.f64 (+.f64 x (-.f64 z y)) 2) t)
(/.f64 (+.f64 x (-.f64 z y)) (*.f64 t 2))
(/.f64 (-.f64 (+.f64 x t) z) (*.f64 y 2))
(/.f64 (+.f64 x (-.f64 t z)) (*.f64 y 2))
(/.f64 (-.f64 x (-.f64 z t)) (*.f64 y 2))
(/.f64 (-.f64 (+.f64 x y) t) (*.f64 z 2))
(/.f64 (+.f64 x (-.f64 y t)) (*.f64 z 2))
Symmetry

(negabs t)

(sort x y)

Compiler

Compiled 30 to 13 computations (56.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...