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

Time bar (total: 959.0ms)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated; 0ms collecting garbage
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 7 to 7 computations (0% saved)

sample564.0ms (58.9%)

Memory
-9.4MiB live, 890.5MiB allocated; 211ms collecting garbage
Samples
364.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 76.0ms
ival-mult!: 74.0ms (97.7% of total)
adjust: 1.0ms (1.3% of total)
Bogosity

preprocess21.0ms (2.2%)

Memory
1.5MiB live, 49.3MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01432
13430
27230
310430
Stop Event
saturated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.7%
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
Symmetry

(negabs x)

(negabs y)

(sort x y)

Compiler

Compiled 10 to 10 computations (0% saved)

series10.0ms (1.1%)

Memory
26.5MiB live, 26.5MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01224
Stop Event
iter-limit
Counts
5 → 4
Calls
Call 1
Inputs
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
(*.f64 x #s(literal 27 binary64))
x
#s(literal 27 binary64)
y
Outputs
#s(approx (* (* x 27) y) (*.f64 #s(literal 27 binary64) (*.f64 x y)))
#s(approx (* x 27) (*.f64 #s(literal 27 binary64) x))
#s(approx x x)
#s(approx y y)
Calls

6 calls:

TimeVariablePoint
1.0ms
y
inf
1.0ms
x
inf
1.0ms
x
0
1.0ms
x
-inf
1.0ms
y
-inf

rewrite13.0ms (1.3%)

Memory
-17.8MiB live, 28.0MiB allocated; 6ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0511
0711
11111
21811
32011
02011
Stop Event
iter-limit
saturated
iter-limit
Counts
5 → 11
Calls
Call 1
Inputs
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
(*.f64 x #s(literal 27 binary64))
x
#s(literal 27 binary64)
y
Outputs
(*.f64 (*.f64 y x) #s(literal 27 binary64))
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
(*.f64 y (*.f64 #s(literal 27 binary64) x))
(*.f64 (*.f64 #s(literal 27 binary64) x) y)
(*.f64 #s(literal 27 binary64) (*.f64 y x))
(*.f64 x (*.f64 y #s(literal 27 binary64)))
(*.f64 #s(literal 27 binary64) x)
(*.f64 x #s(literal 27 binary64))
x
#s(literal 27 binary64)
y

eval1.0ms (0.1%)

Memory
2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 69 to 26 computations (62.3% saved)

prune1.0ms (0.1%)

Memory
3.6MiB live, 3.6MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New9211
Fresh000
Picked011
Done000
Total9312
Accuracy
100.0%
Counts
12 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 (*.f64 y x) #s(literal 27 binary64))
99.3%
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
99.7%
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
Compiler

Compiled 15 to 15 computations (0% saved)

series5.0ms (0.5%)

Memory
10.0MiB live, 10.0MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01431
Stop Event
iter-limit
Counts
7 → 5
Calls
Call 1
Inputs
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
x
(*.f64 (*.f64 y x) #s(literal 27 binary64))
(*.f64 y x)
Outputs
#s(approx (* (* y 27) x) (*.f64 #s(literal 27 binary64) (*.f64 x y)))
#s(approx x x)
#s(approx (* y x) (*.f64 x y))
#s(approx (* y 27) (*.f64 #s(literal 27 binary64) y))
#s(approx y y)
Calls

6 calls:

TimeVariablePoint
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
x
inf
0.0ms
y
0

rewrite7.0ms (0.7%)

Memory
6.8MiB live, 6.8MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
01119
11919
22119
02119
Stop Event
iter-limit
saturated
iter-limit
Counts
7 → 19
Calls
Call 1
Inputs
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
x
(*.f64 (*.f64 y x) #s(literal 27 binary64))
(*.f64 y x)
Outputs
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
(*.f64 (*.f64 x y) #s(literal 27 binary64))
(*.f64 x (*.f64 #s(literal 27 binary64) y))
(*.f64 (*.f64 #s(literal 27 binary64) y) x)
(*.f64 #s(literal 27 binary64) (*.f64 x y))
(*.f64 y (*.f64 x #s(literal 27 binary64)))
(*.f64 #s(literal 27 binary64) y)
(*.f64 y #s(literal 27 binary64))
y
#s(literal 27 binary64)
x
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
(*.f64 (*.f64 x y) #s(literal 27 binary64))
(*.f64 x (*.f64 #s(literal 27 binary64) y))
(*.f64 (*.f64 #s(literal 27 binary64) y) x)
(*.f64 #s(literal 27 binary64) (*.f64 x y))
(*.f64 y (*.f64 x #s(literal 27 binary64)))
(*.f64 x y)
(*.f64 y x)

eval1.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 92 to 30 computations (67.4% saved)

prune2.0ms (0.2%)

Memory
2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New14014
Fresh000
Picked022
Done011
Total14317
Accuracy
100.0%
Counts
17 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 (*.f64 y x) #s(literal 27 binary64))
99.3%
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
99.7%
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
Compiler

Compiled 15 to 15 computations (0% saved)

regimes159.0ms (16.5%)

Memory
-30.1MiB live, 15.9MiB allocated; 4ms collecting garbage
Accuracy

Total -0.5b remaining (-246.6%)

Threshold costs -0.5b (-246.6%)

Counts
3 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
(*.f64 (*.f64 y #s(literal 27 binary64)) x)
(*.f64 (*.f64 y x) #s(literal 27 binary64))
Outputs
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
Calls

4 calls:

154.0ms
x
1.0ms
y
1.0ms
(*.f64 x #s(literal 27 binary64))
1.0ms
(*.f64 (*.f64 x #s(literal 27 binary64)) y)
Results
AccuracySegmentsBranch
99.7%1(*.f64 x #s(literal 27 binary64))
99.7%1(*.f64 (*.f64 x #s(literal 27 binary64)) y)
99.7%1x
99.7%1y
Compiler

Compiled 25 to 22 computations (12% saved)

derivations0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 5 to 5 computations (0% saved)

preprocess175.0ms (18.2%)

Memory
26.3MiB live, 264.1MiB allocated; 45ms collecting garbage
Compiler

Compiled 40 to 40 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...