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

Time bar (total: 5.2s)

analyze155.0ms (3%)

Memory
-1.7MiB live, 63.7MiB allocated
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 31 to 19 computations (38.7% saved)

sample5.0s (95.3%)

Memory
-7.6MiB live, 1 222.2MiB allocated
Samples
1.4s3 957×1valid-sollya
1.3s3 957×1valid-baseline
600.0ms3 957×1valid-rival
245.0ms4 299×0valid-baseline
236.0ms4 299×0valid-rival
206.0ms4 299×0valid-sollya
Bogosity

preprocess59.0ms (1.1%)

Memory
4.9MiB live, 22.2MiB allocated
Algorithm
1×egg-herbie
Rules
155×fma-define
47×fmm-def
40×associate-/r*
36×times-frac
32×sub-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
032381
163365
2114357
3173357
4263357
5480357
6623357
7773357
8792357
9821357
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))))
(neg.f64 (/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64))))))
(neg.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64))))))
(/.f64 (tan.f64 (/.f64 y (*.f64 x #s(literal 2 binary64)))) (sin.f64 (/.f64 y (*.f64 x #s(literal 2 binary64)))))
Outputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(neg.f64 (/.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64))))))
(/.f64 (neg.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64))))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal -2 binary64)))) (neg.f64 (sin.f64 (/.f64 x (*.f64 y #s(literal -2 binary64))))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal -2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(neg.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 (neg.f64 y) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (tan.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64))))) (sin.f64 (/.f64 (neg.f64 x) (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal -2 binary64)))) (neg.f64 (sin.f64 (/.f64 x (*.f64 y #s(literal -2 binary64))))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal -2 binary64)))))
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))))
(/.f64 (tan.f64 (*.f64 x (/.f64 #s(literal -1/2 binary64) y))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
(/.f64 (tan.f64 (/.f64 y (*.f64 x #s(literal 2 binary64)))) (sin.f64 (/.f64 y (*.f64 x #s(literal 2 binary64)))))
Symmetry

(abs x)

(abs y)

Compiler

Compiled 15 to 8 computations (46.7% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
48.3%
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
Compiler

Compiled 30 to 16 computations (46.7% saved)

simplify2.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
1×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01451
11551
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))
Outputs
(/.f64 (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 15 to 8 computations (46.7% saved)

preprocess30.0ms (0.6%)

Memory
-10.6MiB live, 36.0MiB allocated
Remove

(abs y)

(abs x)

Compiler

Compiled 248 to 132 computations (46.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...