Diagrams.TwoD.Segment.Bernstein:evaluateBernstein from diagrams-lib-1.3.0.3

Time bar (total: 666.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze33.0ms (5%)

Memory
5.1MiB live, 14.2MiB 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
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
75%74.9%25%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
87.5%87.4%12.5%0.1%0%0%0%12
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample18.0ms (2.7%)

Memory
-0.9MiB live, 6.9MiB allocated
Samples
11.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 2.0ms (33.7% of total)
ival-sub: 1.0ms (16.8% of total)
ival-add: 1.0ms (16.8% of total)
ival-mult: 1.0ms (16.8% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain251.0ms (37.6%)

Memory
1.9MiB live, 101.3MiB allocated
Confusion
Predicted +Predicted -
+260
-53177
Precision
0.3291139240506329
Recall
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
140.0ms3 072×0valid
Compiler

Compiled 348 to 312 computations (10.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 72.0ms
ival-div: 19.0ms (26.2% of total)
ival-sub: 18.0ms (24.8% of total)
ival-mult: 18.0ms (24.8% of total)
ival-add: 12.0ms (16.6% of total)
ival-true: 2.0ms (2.8% of total)
exact: 2.0ms (2.8% of total)
adjust: 1.0ms (1.4% of total)
ival-assert: 1.0ms (1.4% of total)

preprocess320.0ms (48.1%)

Memory
4.5MiB live, 36.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03492
113586
241983
3182681
4508181
5750081
089
0129
1289
2579
31479
43339
57509
616299
728669
842929
950879
1056049
1156819
1257119
1357159
1458079
1559939
1660279
1760439
1861479
1964539
2064659
2164659
086038
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) #s(literal 1 binary64))) z)
Outputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) #s(literal 1 binary64))) z)
(/.f64 (fma.f64 (-.f64 y z) x x) z)
Symmetry

(negabs x)

Compiler

Compiled 9 to 8 computations (11.1% 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
90.4%
(/.f64 (*.f64 x (+.f64 (-.f64 y z) #s(literal 1 binary64))) z)
Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify37.0ms (5.5%)

Memory
-9.9MiB live, 18.5MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1159
2199
3219
4229
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) #s(literal 1 binary64))) z)
Outputs
(/.f64 (*.f64 x (+.f64 (-.f64 y z) #s(literal 1 binary64))) z)
(/.f64 (*.f64 (+.f64 #s(literal 1 binary64) (-.f64 y z)) x) z)

soundness0.0ms (0%)

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

Compiled 9 to 8 computations (11.1% saved)

preprocess7.0ms (1%)

Memory
3.7MiB live, 3.7MiB allocated
Remove

(negabs x)

Compiler

Compiled 146 to 102 computations (30.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...