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

Time bar (total: 1.1s)

analyze66.0ms (5.9%)

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 9 computations (35.7% saved)

sample937.0ms (83.8%)

Results
710.0ms6191×body256valid
216.0ms2065×body256infinite
Bogosity

preprocess116.0ms (10.4%)

Algorithm
1×egg-herbie
Rules
611×associate-+l-
411×*-commutative
378×associate--r-
375×fma-def
298×+-commutative
Problems
231×No Errors
25×(/.f64 (*.f64 y (-.f64 z x)) t)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
060688
1138672
2375608
31201600
45121600
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
(+.f64 (neg.f64 x) (/.f64 (*.f64 y (-.f64 z (neg.f64 x))) t))
(+.f64 x (/.f64 (*.f64 (neg.f64 y) (-.f64 z x)) t))
(+.f64 x (/.f64 (*.f64 y (-.f64 (neg.f64 z) x)) t))
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) (neg.f64 t)))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 y (-.f64 z (neg.f64 x))) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (neg.f64 y) (-.f64 z x)) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 y (-.f64 (neg.f64 z) x)) t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 y (-.f64 z x)) (neg.f64 t))))
(+.f64 y (/.f64 (*.f64 x (-.f64 z y)) t))
(+.f64 z (/.f64 (*.f64 y (-.f64 x z)) t))
(+.f64 t (/.f64 (*.f64 y (-.f64 z t)) x))
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))
(+.f64 x (/.f64 (*.f64 t (-.f64 z x)) y))
(+.f64 x (/.f64 (*.f64 y (-.f64 t x)) z))
Outputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
(+.f64 x (/.f64 y (/.f64 t (-.f64 z x))))
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z x)))
(fma.f64 (/.f64 y t) (-.f64 z x) x)
(fma.f64 (-.f64 z x) (/.f64 y t) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) t))
(+.f64 x (/.f64 y (/.f64 t (-.f64 z x))))
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z x)))
(fma.f64 (/.f64 y t) (-.f64 z x) x)
(fma.f64 (-.f64 z x) (/.f64 y t) x)
(+.f64 (neg.f64 x) (/.f64 (*.f64 y (-.f64 z (neg.f64 x))) t))
(-.f64 (/.f64 (+.f64 x z) (/.f64 t y)) x)
(-.f64 (*.f64 (+.f64 x z) (/.f64 y t)) x)
(+.f64 x (/.f64 (*.f64 (neg.f64 y) (-.f64 z x)) t))
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x))))
(-.f64 x (*.f64 (-.f64 z x) (/.f64 y t)))
(fma.f64 (-.f64 x z) (/.f64 y t) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 (neg.f64 z) x)) t))
(+.f64 x (/.f64 y (/.f64 t (-.f64 (neg.f64 z) x))))
(+.f64 x (*.f64 (/.f64 y t) (-.f64 (neg.f64 z) x)))
(-.f64 x (*.f64 (+.f64 x z) (/.f64 y t)))
(+.f64 x (/.f64 (*.f64 y (-.f64 z x)) (neg.f64 t)))
(+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x))))
(-.f64 x (*.f64 (-.f64 z x) (/.f64 y t)))
(fma.f64 (-.f64 x z) (/.f64 y t) x)
(neg.f64 (+.f64 (neg.f64 x) (/.f64 (*.f64 y (-.f64 z (neg.f64 x))) t)))
(+.f64 x (/.f64 y (/.f64 t (-.f64 (neg.f64 z) x))))
(+.f64 x (*.f64 (/.f64 y t) (-.f64 (neg.f64 z) x)))
(-.f64 x (*.f64 (+.f64 x z) (/.f64 y t)))
(neg.f64 (+.f64 x (/.f64 (*.f64 (neg.f64 y) (-.f64 z x)) t)))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x)))))
(-.f64 (neg.f64 x) (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x))))
(-.f64 (*.f64 (-.f64 z x) (/.f64 y t)) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 y (-.f64 (neg.f64 z) x)) t)))
(+.f64 (neg.f64 x) (/.f64 (*.f64 y (-.f64 z (neg.f64 x))) t))
(-.f64 (/.f64 (+.f64 x z) (/.f64 t y)) x)
(-.f64 (*.f64 (+.f64 x z) (/.f64 y t)) x)
(neg.f64 (+.f64 x (/.f64 (*.f64 y (-.f64 z x)) (neg.f64 t))))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x)))))
(-.f64 (neg.f64 x) (/.f64 (neg.f64 y) (/.f64 t (-.f64 z x))))
(-.f64 (*.f64 (-.f64 z x) (/.f64 y t)) x)
(+.f64 y (/.f64 (*.f64 x (-.f64 z y)) t))
(+.f64 y (/.f64 x (/.f64 t (-.f64 z y))))
(+.f64 y (*.f64 (/.f64 x t) (-.f64 z y)))
(fma.f64 (/.f64 x t) (-.f64 z y) y)
(fma.f64 (-.f64 z y) (/.f64 x t) y)
(+.f64 z (/.f64 (*.f64 y (-.f64 x z)) t))
(+.f64 z (/.f64 y (/.f64 t (-.f64 x z))))
(+.f64 z (/.f64 (-.f64 x z) (/.f64 t y)))
(fma.f64 (/.f64 y t) (-.f64 x z) z)
(fma.f64 (-.f64 x z) (/.f64 y t) z)
(+.f64 t (/.f64 (*.f64 y (-.f64 z t)) x))
(+.f64 t (*.f64 (/.f64 y x) (-.f64 z t)))
(fma.f64 (/.f64 y x) (-.f64 z t) t)
(fma.f64 y (/.f64 (-.f64 z t) x) t)
(+.f64 x (/.f64 (*.f64 z (-.f64 y x)) t))
(+.f64 x (/.f64 z (/.f64 t (-.f64 y x))))
(+.f64 x (*.f64 (/.f64 z t) (-.f64 y x)))
(fma.f64 (/.f64 z t) (-.f64 y x) x)
(fma.f64 (-.f64 y x) (/.f64 z t) x)
(+.f64 x (/.f64 (*.f64 t (-.f64 z x)) y))
(+.f64 x (/.f64 (*.f64 (-.f64 z x) t) y))
(+.f64 x (*.f64 (/.f64 t y) (-.f64 z x)))
(fma.f64 (/.f64 t y) (-.f64 z x) x)
(fma.f64 (-.f64 z x) (/.f64 t y) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 t x)) z))
(+.f64 x (/.f64 (-.f64 t x) (/.f64 z y)))
(fma.f64 (/.f64 y z) (-.f64 t x) x)
(fma.f64 (-.f64 t x) (/.f64 y z) x)
Compiler

Compiled 33 to 9 computations (72.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...