Diagrams.TwoD.Apollonian:initialConfig from diagrams-contrib-1.3.0.5, B

Time bar (total: 712.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze90.0ms (12.6%)

Memory
2.1MiB live, 34.6MiB 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
30.8%25%56.2%0.1%0%18.7%0%7
30.8%25%56.2%0.1%0%18.7%0%8
32%25%53%0.1%0%21.8%0%9
55.8%37.4%29.6%0.1%0%32.8%0%10
55.8%37.4%29.6%0.1%0%32.8%0%11
57.8%37.4%27.3%0.1%0%35.1%0%12
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample27.0ms (3.8%)

Memory
2.0MiB live, 9.6MiB allocated
Samples
13.0ms260×0valid
4.0ms82×0invalid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-mult: 6.0ms (57.7% of total)
ival-sub: 2.0ms (19.2% of total)
ival-sqrt: 2.0ms (19.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain24.0ms (3.4%)

Memory
0.8MiB live, 8.3MiB allocated
Confusion
Predicted +Predicted -
+7121
-49115
Precision
0.5916666666666667
Recall
0.7717391304347826
Samples
15.0ms256×0valid
Compiler

Compiled 32 to 26 computations (18.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-mult: 5.0ms (60.1% of total)
ival-sqrt: 2.0ms (24% of total)
ival-sub: 1.0ms (12% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess526.0ms (74%)

Memory
-1.3MiB live, 54.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03293
110893
222193
360893
4165593
5275393
6399593
7467093
8526293
9556193
10565193
11574793
12581193
13696393
14753993
15763593
16773193
17782793
18782793
0810
01310
12210
23310
35910
412310
532410
657910
7125410
8251410
9417710
10503910
11540810
12563810
13575210
14575210
15671210
16687210
17719210
18719210
19759210
20775210
21783210
22783210
23783210
01048510
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Outputs
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
(*.f64 (sqrt.f64 (*.f64 (-.f64 y z) (+.f64 z y))) x)
Symmetry

(abs z)

(abs y)

(negabs x)

Compiler

Compiled 10 to 8 computations (20% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
66.0%
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Compiler

Compiled 20 to 16 computations (20% saved)

simplify21.0ms (2.9%)

Memory
2.8MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11410
22210
32610
42810
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
Outputs
(*.f64 x (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))))
(*.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 z z))) x)

soundness0.0ms (0%)

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

Compiled 10 to 8 computations (20% saved)

preprocess23.0ms (3.2%)

Memory
0.0MiB live, 10.1MiB allocated
Remove

(negabs x)

(abs y)

(abs z)

Compiler

Compiled 198 to 156 computations (21.2% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...