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

Time bar (total: 821.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze107.0ms (13%)

Memory
7.0MiB live, 47.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 15 to 15 computations (0% saved)

sample25.0ms (3%)

Memory
-5.7MiB live, 9.3MiB allocated
Samples
15.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 6.0ms (66.8% of total)
ival-div: 2.0ms (22.3% of total)
ival-sub: 1.0ms (11.1% 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

explain315.0ms (38.4%)

Memory
6.5MiB live, 121.8MiB allocated
Confusion
Predicted +Predicted -
+174
-73162
Precision
0.18888888888888888
Recall
0.8095238095238095
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
190.0ms3 072×0valid
Compiler

Compiled 492 to 492 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 106.0ms
ival-mult: 69.0ms (65.3% of total)
ival-div: 19.0ms (18% of total)
ival-sub: 12.0ms (11.4% of total)
exact: 3.0ms (2.8% of total)
ival-true: 2.0ms (1.9% of total)
adjust: 1.0ms (0.9% of total)
ival-assert: 1.0ms (0.9% of total)

preprocess331.0ms (40.3%)

Memory
2.6MiB live, 19.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079275
1302260
21041260
33864260
01313
01913
13513
211013
332113
485713
5147913
6222513
7290513
8409313
9487113
10552013
11556513
12557313
13557313
14605613
15620813
16620813
17620813
18623413
19623413
20623813
21624213
22624213
0624212
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64)))
Outputs
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal -9/2 binary64) (*.f64 t z) (*.f64 #s(literal 1/2 binary64) (*.f64 y x))) a)
Symmetry

(negabs a)

(sort x y)

(sort z t)

Compiler

Compiled 13 to 13 computations (0% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
92.1%
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64)))
Compiler

Compiled 26 to 26 computations (0% saved)

simplify20.0ms (2.5%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01313
12213
24013
35013
45813
56113
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64)))
Outputs
(/.f64 (-.f64 (*.f64 x y) (*.f64 (*.f64 z #s(literal 9 binary64)) t)) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (*.f64 y x) (*.f64 t (*.f64 #s(literal 9 binary64) z))) (*.f64 #s(literal 2 binary64) a))

soundness0.0ms (0%)

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

Compiled 13 to 13 computations (0% saved)

preprocess22.0ms (2.7%)

Memory
0.5MiB live, 9.6MiB allocated
Remove

(sort z t)

(sort x y)

(negabs a)

Compiler

Compiled 310 to 278 computations (10.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...