Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, G

Time bar (total: 611.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 9 to 9 computations (0% saved)

sample557.0ms (91.1%)

Memory
2.5MiB live, 788.5MiB allocated
Samples
343.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 177.0ms
ival-div: 60.0ms (33.9% of total)
ival-mult: 57.0ms (32.2% of total)
ival-add: 43.0ms (24.3% of total)
exact: 7.0ms (3.9% of total)
ival-true: 6.0ms (3.4% of total)
ival-assert: 3.0ms (1.7% of total)
Bogosity

explain54.0ms (8.9%)

Memory
0.9MiB live, 84.3MiB allocated
Samples
27.0ms512×0valid
Compiler

Compiled 38 to 18 computations (52.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
ival-div: 5.0ms (34.9% of total)
ival-add: 5.0ms (34.9% of total)
ival-mult: 3.0ms (20.9% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...