Diagrams.TwoD.Layout.CirclePacking:approxRadius from diagrams-contrib-1.3.0.5

Time bar (total: 3.0s)

analyze232.0ms (7.8%)

Algorithm
1×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
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
12.5%12.5%87.4%0.1%0%0%0%7
15.6%15.6%84.3%0.1%0%0%0%8
28.1%28.1%71.8%0.1%0%0%0%9
30.5%30.4%69.5%0.1%0%0%0%10
38.3%38.2%61.7%0.1%0%0%0%11
39.6%39.6%60.3%0.1%0%0%0%12
Compiler

Compiled 16 to 12 computations (25% saved)

sample2.6s (85.8%)

Results
865.0ms1138×body2048valid
856.0ms4925×body256valid
554.0ms1331×body1024valid
261.0ms860×body512valid
3.0ms2×body4096valid
Bogosity

preprocess190.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
130×associate-*r*
121×associate-/r*
116×fma-def
98×associate-*r/
81×*-commutative
Problems
113×No Errors
83×(tan.f64 (/.f64 x (*.f64 y 2)))
32×(sin.f64 (/.f64 x (*.f64 y 2)))
28×(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
032381
159365
2106357
3179357
4272357
5481357
61082357
71388357
81531357
91601357
101621357
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) 2))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) 2))))
(neg.f64 (/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2)))))
(neg.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) 2))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) 2)))))
(/.f64 (tan.f64 (/.f64 y (*.f64 x 2))) (sin.f64 (/.f64 y (*.f64 x 2))))
Outputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (*.f64 x (/.f64 -1/2 y))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (*.f64 x (/.f64 -1/2 y))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (*.f64 x (/.f64 -1/2 y))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) 2))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) 2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
(/.f64 (tan.f64 (*.f64 x (/.f64 -1/2 y))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(neg.f64 (/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2)))))
(/.f64 (neg.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2))))
(/.f64 (neg.f64 (tan.f64 (*.f64 -1/2 (/.f64 x y)))) (sin.f64 (*.f64 -1/2 (/.f64 x y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y -2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (*.f64 (/.f64 x y) -1/2)))
(neg.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) 2))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) 2)))))
(/.f64 (neg.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y 2)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y 2))))
(/.f64 (neg.f64 (tan.f64 (*.f64 -1/2 (/.f64 x y)))) (sin.f64 (*.f64 -1/2 (/.f64 x y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y -2))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (*.f64 x (/.f64 -1/2 y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (*.f64 (/.f64 x y) -1/2)))
(/.f64 (tan.f64 (/.f64 y (*.f64 x 2))) (sin.f64 (/.f64 y (*.f64 x 2))))
Symmetry

(abs x)

(abs y)

Compiler

Compiled 39 to 26 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...