Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, C

Time bar (total: 2.7min)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
100%99.7%0%0.3%0%0%0%1
Compiler

Compiled 19 to 19 computations (0% saved)

sample2.7min (100%)

Memory
31.4MiB live, 47 566.4MiB allocated
Samples
1.6min8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 34.2s
ival-mult: 24.6s (71.8% of total)
ival-div: 8.6s (25.1% of total)
ival-add: 983.0ms (2.9% of total)
ival-sub: 34.0ms (0.1% of total)
exact: 9.0ms (0% of total)
ival-true: 7.0ms (0% of total)
ival-assert: 3.0ms (0% of total)
Bogosity

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...