Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A

Time bar (total: 1.8s)

start0.0ms (0%)

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

analyze37.0ms (2.1%)

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

sample477.0ms (26.8%)

Memory
-1.8MiB live, 656.7MiB allocated; 100ms collecting garbage
Samples
277.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 92.0ms
ival-mult!: 50.0ms (54.4% of total)
ival-div!: 40.0ms (43.5% of total)
adjust: 1.0ms (1.1% of total)
Bogosity

preprocess106.0ms (5.9%)

Memory
-26.2MiB live, 26.9MiB allocated; 11ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02253
17253
219753
349453
4117153
5530353
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
94.2%
(/.f64 (*.f64 x y) z)
Symmetry

(negabs x)

(negabs y)

(negabs z)

(sort x y)

Compiler

Compiled 10 to 10 computations (0% saved)

series103.0ms (5.8%)

Memory
26.8MiB live, 72.9MiB allocated; 9ms collecting garbage
Counts
5 → 5
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) z)
(*.f64 x y)
x
y
z
Outputs
#s(approx (/ (* x y) z) (/.f64 (*.f64 x y) z))
#s(approx (* x y) (*.f64 x y))
#s(approx x x)
#s(approx y y)
#s(approx z z)
Calls

9 calls:

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

rewrite155.0ms (8.7%)

Memory
-9.0MiB live, 133.7MiB allocated; 41ms collecting garbage
Counts
5 → 9
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) z)
(*.f64 x y)
x
y
z
Outputs
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x (/.f64 y z))
(/.f64 (*.f64 x y) z)
(/.f64 (neg.f64 (*.f64 x y)) (neg.f64 z))
(*.f64 x y)
(*.f64 y x)
x
y
z

eval1.0ms (0%)

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

Compiled 65 to 28 computations (56.9% saved)

prune1.0ms (0.1%)

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New729
Fresh000
Picked011
Done000
Total7310
Accuracy
99.9%
Counts
10 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
94.2%
(/.f64 (*.f64 x y) z)
94.2%
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
90.3%
(*.f64 x (/.f64 y z))
Compiler

Compiled 17 to 17 computations (0% saved)

series102.0ms (5.7%)

Memory
0.0MiB live, 91.3MiB allocated; 34ms collecting garbage
Counts
9 → 7
Calls
Call 1
Inputs
(*.f64 x (/.f64 y z))
x
(/.f64 y z)
y
z
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x y)
(/.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
Outputs
#s(approx (* x (/ y z)) (/.f64 (*.f64 x y) z))
#s(approx x x)
#s(approx (* x y) (*.f64 x y))
#s(approx (/ y z) (/.f64 y z))
#s(approx y y)
#s(approx z z)
#s(approx (/ 1 z) (/.f64 #s(literal 1 binary64) z))
Calls

9 calls:

TimeVariablePoint
1.0ms
y
-inf
1.0ms
z
-inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
x
inf

rewrite151.0ms (8.5%)

Memory
24.5MiB live, 217.3MiB allocated; 36ms collecting garbage
Counts
9 → 27
Calls
Call 1
Inputs
(*.f64 x (/.f64 y z))
x
(/.f64 y z)
y
z
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x y)
(/.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
Outputs
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x (/.f64 y z))
(*.f64 (/.f64 y z) x)
(*.f64 (/.f64 #s(literal 1 binary64) z) (*.f64 x y))
(/.f64 (*.f64 x y) z)
(/.f64 (*.f64 (*.f64 x y) #s(literal 1 binary64)) z)
x
(*.f64 y (/.f64 #s(literal 1 binary64) z))
(/.f64 y z)
(/.f64 (neg.f64 y) (neg.f64 z))
y
z
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 x (/.f64 y z))
(*.f64 (/.f64 y z) x)
(*.f64 (/.f64 #s(literal 1 binary64) z) (*.f64 x y))
(/.f64 (*.f64 x y) z)
(/.f64 (*.f64 (*.f64 x y) #s(literal 1 binary64)) z)
(*.f64 x y)
(*.f64 y x)
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) z))
(/.f64 #s(literal 1 binary64) z)
(/.f64 #s(literal -1 binary64) (neg.f64 z))
(pow.f64 z #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))

eval3.0ms (0.2%)

Memory
-42.7MiB live, 4.2MiB allocated; 3ms collecting garbage
Compiler

Compiled 170 to 60 computations (64.7% saved)

prune2.0ms (0.1%)

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

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New20121
Fresh000
Picked022
Done011
Total20424
Accuracy
99.9%
Counts
24 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
94.2%
(/.f64 (*.f64 x y) z)
94.2%
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
90.3%
(*.f64 x (/.f64 y z))
90.2%
(*.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)))
Compiler

Compiled 24 to 24 computations (0% saved)

series101.0ms (5.7%)

Memory
8.4MiB live, 102.8MiB allocated; 22ms collecting garbage
Counts
7 → 6
Calls
Call 1
Inputs
(*.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)))
x
(*.f64 y (/.f64 #s(literal 1 binary64) z))
y
(/.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
Outputs
#s(approx (* x (* y (/ 1 z))) (/.f64 (*.f64 x y) z))
#s(approx x x)
#s(approx (* y (/ 1 z)) (/.f64 y z))
#s(approx y y)
#s(approx (/ 1 z) (/.f64 #s(literal 1 binary64) z))
#s(approx z z)
Calls

9 calls:

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

rewrite152.0ms (8.6%)

Memory
27.0MiB live, 209.0MiB allocated; 74ms collecting garbage
Counts
7 → 17
Calls
Call 1
Inputs
(*.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)))
x
(*.f64 y (/.f64 #s(literal 1 binary64) z))
y
(/.f64 #s(literal 1 binary64) z)
#s(literal 1 binary64)
z
Outputs
(*.f64 x (/.f64 y z))
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
(*.f64 (/.f64 y z) x)
x
(*.f64 y (/.f64 #s(literal 1 binary64) z))
(*.f64 (/.f64 #s(literal 1 binary64) z) y)
(/.f64 y z)
(/.f64 (*.f64 y #s(literal 1 binary64)) z)
y
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) z))
(/.f64 #s(literal 1 binary64) z)
(/.f64 #s(literal -1 binary64) (neg.f64 z))
(pow.f64 z #s(literal -1 binary64))
#s(literal 1 binary64)
(cosh.f64 #s(literal 0 binary64))
(exp.f64 #s(literal 0 binary64))
z

eval1.0ms (0.1%)

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

Compiled 121 to 54 computations (55.4% saved)

prune1.0ms (0.1%)

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

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New14014
Fresh000
Picked011
Done033
Total14418
Accuracy
99.9%
Counts
18 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
94.2%
(/.f64 (*.f64 x y) z)
94.2%
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
90.3%
(*.f64 x (/.f64 y z))
90.2%
(*.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)))
Compiler

Compiled 24 to 24 computations (0% saved)

regimes20.0ms (1.1%)

Memory
-33.0MiB live, 59.8MiB allocated; 6ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
4 → 3
Calls
Call 1
Inputs
(*.f64 x (/.f64 y z))
Outputs
(*.f64 x (/.f64 y z))
Call 2
Inputs
(*.f64 x (/.f64 y z))
(/.f64 (*.f64 x y) z)
(*.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)))
(*.f64 (*.f64 x y) (/.f64 #s(literal 1 binary64) z))
Outputs
(*.f64 x (/.f64 y z))
(/.f64 (*.f64 x y) z)
(*.f64 x (/.f64 y z))
Calls

10 calls:

5.0ms
z
2.0ms
y
2.0ms
x
2.0ms
(*.f64 x y)
2.0ms
(/.f64 (*.f64 x y) z)
Results
AccuracySegmentsBranch
90.3%1z
90.3%1x
90.3%1y
90.3%1(*.f64 x y)
90.3%1(/.f64 (*.f64 x y) z)
99.7%3(*.f64 x y)
99.7%3(/.f64 (*.f64 x y) z)
96.8%2x
97.2%2y
96.8%2z
Compiler

Compiled 46 to 48 computations (-4.3% saved)

bsearch0.0ms (0%)

Memory
1.5MiB live, 1.5MiB allocated; 0ms collecting garbage
Algorithm
left-value
Steps
TimeLeftRight
0.0ms
7.339509280705484e+301
+inf
0.0ms
1.832933778605376e-103
7.751652048856579e-102
Compiler

Compiled 8 to 11 computations (-37.5% saved)

derivations1.0ms (0%)

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

Compiled 36 to 13 computations (63.9% saved)

preprocess365.0ms (20.5%)

Memory
67.6MiB live, 613.5MiB allocated; 272ms collecting garbage
Remove

(negabs z)

Compiler

Compiled 359 to 192 computations (46.5% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...