Metrics for Diagrams.Solve.Tridiagonal:solveTriDiagonal from diagrams-solve-0.1, C

start0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample527.0ms (31.6%)

Memory

6.3MiB live, 1 281.6MiB allocated; 228ms collecting garbage

Samples

296.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 105.0ms

ival-mult!: 83.0ms (78.8% of total)

ival-sub!: 21.0ms (19.9% of total)

adjust: 1.0ms (0.9% of total)

Bogosity

preprocess25.0ms (1.5%)

Memory

28.4MiB live, 74.2MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	53
1	66	53
2	136	53
3	207	53
4	210	53

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 x (*.f64 y z))

Symmetry

(sort y z)

Compiler

Compiled 10 to 10 computations (0% saved)

series340.0ms (20.4%)

Memory

-51.2MiB live, 123.3MiB allocated; 169ms collecting garbage

Counts

5 → 13

Calls

Call 1

Inputs
(-.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z

Outputs
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 y z)))
#s(approx (- x (* y z)) (-.f64 x (*.f64 y z)))
#s(approx x x)
#s(approx (- x (* y z)) (.f64 x (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)))))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (/.f64 (*.f64 y z) x) #s(literal 1 binary64)))))
#s(approx (- x (* y z)) (+.f64 x (.f64 #s(literal -1 binary64) (.f64 y z))))
#s(approx (* y z) (*.f64 y z))
#s(approx y y)
#s(approx (- x (* y z)) (*.f64 y (-.f64 (/.f64 x y) z)))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (.f64 #s(literal -1 binary64) (/.f64 x y)) (.f64 #s(literal -1 binary64) z)))))
#s(approx z z)
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (.f64 #s(literal -1 binary64) (/.f64 x z)) (.f64 #s(literal -1 binary64) y)))))

Calls

9 calls:

Time	Variable	Point
1.0ms	y	-inf
1.0ms	z	-inf
1.0ms	x	-inf
0.0ms	y	inf
0.0ms	z	inf

rewrite261.0ms (15.6%)

Memory

21.7MiB live, 120.0MiB allocated; 24ms collecting garbage

Counts

5 → 9

Calls

Call 1

Inputs
(-.f64 x (*.f64 y z))
x
(*.f64 y z)
y
z

Outputs
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 (neg.f64 y) z))
(-.f64 x (*.f64 y z))
(neg.f64 (-.f64 (*.f64 y z) x))
x
(*.f64 y z)
(*.f64 z y)
y
z

eval4.0ms (0.2%)

Memory: 4.8MiB live, 4.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 186 to 62 computations (66.7% saved)

prune3.0ms (0.2%)

Memory

4.5MiB live, 4.4MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	2	18

Accuracy

100.0%

Counts

18 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 x (*.f64 y z))
▶	87.6%	#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

series251.0ms (15%)

Memory

-19.8MiB live, 162.4MiB allocated; 95ms collecting garbage

Counts

7 → 25

Calls

Call 1

Inputs
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))
(*.f64 z (-.f64 (/.f64 x z) y))
z
(-.f64 (/.f64 x z) y)
(/.f64 x z)
x
y

Outputs
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 y z)))
#s(approx (- x (* y z)) (-.f64 x (*.f64 y z)))
#s(approx (* z (- (/ x z) y)) (+.f64 x (.f64 #s(literal -1 binary64) (.f64 y z))))
#s(approx (- (/ x z) y) (*.f64 #s(literal -1 binary64) y))
#s(approx (- (/ x z) y) (-.f64 (/.f64 x z) y))
#s(approx (/ x z) (/.f64 x z))
#s(approx x x)
#s(approx (- x (* y z)) (.f64 x (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (*.f64 y z) x)))))
#s(approx (- (/ x z) y) (*.f64 x (fma.f64 #s(literal -1 binary64) (/.f64 y x) (/.f64 #s(literal 1 binary64) z))))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (/.f64 (*.f64 y z) x) #s(literal 1 binary64)))))
#s(approx (- (/ x z) y) (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (/.f64 y x) (/.f64 #s(literal 1 binary64) z)))))
#s(approx (- (/ x z) y) (fma.f64 #s(literal -1 binary64) y (/.f64 x z)))
#s(approx y y)
#s(approx (- x (* y z)) (*.f64 y (-.f64 (/.f64 x y) z)))
#s(approx (* z (- (/ x z) y)) (*.f64 y (fma.f64 #s(literal -1 binary64) z (/.f64 x y))))
#s(approx (- (/ x z) y) (.f64 y (-.f64 (/.f64 x (.f64 y z)) #s(literal 1 binary64))))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 y (-.f64 (.f64 #s(literal -1 binary64) (/.f64 x y)) (.f64 #s(literal -1 binary64) z)))))
#s(approx (* z (- (/ x z) y)) (.f64 #s(literal -1 binary64) (.f64 y (+.f64 z (*.f64 #s(literal -1 binary64) (/.f64 x y))))))
#s(approx (- (/ x z) y) (.f64 #s(literal -1 binary64) (.f64 y (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 x (.f64 y z)))))))
#s(approx z z)
#s(approx (- (/ x z) y) (/.f64 (+.f64 x (.f64 #s(literal -1 binary64) (.f64 y z))) z))
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))
#s(approx (* z (- (/ x z) y)) (*.f64 z (fma.f64 #s(literal -1 binary64) y (/.f64 x z))))
#s(approx (- x (* y z)) (.f64 #s(literal -1 binary64) (.f64 z (-.f64 (.f64 #s(literal -1 binary64) (/.f64 x z)) (.f64 #s(literal -1 binary64) y)))))
#s(approx (* z (- (/ x z) y)) (.f64 #s(literal -1 binary64) (.f64 z (+.f64 y (*.f64 #s(literal -1 binary64) (/.f64 x z))))))

Calls

9 calls:

Time	Variable	Point
8.0ms	x	inf
3.0ms	z	-inf
2.0ms	x	-inf
2.0ms	x	0
1.0ms	z	inf

rewrite219.0ms (13.2%)

Memory

18.4MiB live, 201.2MiB allocated; 105ms collecting garbage

Counts

7 → 13

Calls

Call 1

Inputs
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))
(*.f64 z (-.f64 (/.f64 x z) y))
z
(-.f64 (/.f64 x z) y)
(/.f64 x z)
x
y

Outputs
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))
(*.f64 z (-.f64 (/.f64 x z) y))
(*.f64 (-.f64 (/.f64 x z) y) z)
z
(+.f64 (/.f64 x z) (neg.f64 y))
(-.f64 (/.f64 x z) y)
(fma.f64 x (/.f64 #s(literal 1 binary64) z) (neg.f64 y))
(neg.f64 (-.f64 y (/.f64 x z)))
(*.f64 x (/.f64 #s(literal 1 binary64) z))
(/.f64 x z)
(/.f64 (neg.f64 x) (neg.f64 z))
x
y

eval6.0ms (0.3%)

Memory: 15.1MiB live, 15.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 550 to 143 computations (74% saved)

prune2.0ms (0.1%)

Memory

6.6MiB live, 6.6MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	30	2	32

Accuracy

100.0%

Counts

32 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 x (*.f64 y z))
✓	87.6%	#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))

Compiler

Compiled 18 to 14 computations (22.2% saved)

regimes20.0ms (1.2%)

Memory

-22.6MiB live, 20.1MiB allocated; 14ms collecting garbage

Accuracy

Total -7.9b remaining (-101702.4%)

Threshold costs -7.9b (-101702.4%)

Counts

2 → 1

Calls

Call 1

Inputs
(-.f64 x (*.f64 y z))
#s(approx (- x (* y z)) (*.f64 z (-.f64 (/.f64 x z) y)))

Outputs
(-.f64 x (*.f64 y z))

Calls

5 calls:

13.0ms	y
2.0ms	z
1.0ms	x
1.0ms	(-.f64 x (*.f64 y z))
1.0ms	(*.f64 y z)

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 y z)`
100.0%	1	`(-.f64 x (*.f64 y z))`
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`

Compiler

Compiled 29 to 29 computations (0% saved)

derivations0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 5 to 5 computations (0% saved)

preprocess8.0ms (0.5%)

Memory: 20.0MiB live, 20.0MiB allocated; 0ms collecting garbage
Remove: (sort y z)
Compiler: Compiled 20 to 20 computations (0% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample527.0ms (31.6%)

preprocess25.0ms (1.5%)

series340.0ms (20.4%)

rewrite261.0ms (15.6%)

eval4.0ms (0.2%)

prune3.0ms (0.2%)

series251.0ms (15%)

rewrite219.0ms (13.2%)

eval6.0ms (0.3%)

prune2.0ms (0.1%)

regimes20.0ms (1.2%)

derivations0.0ms (0%)

preprocess8.0ms (0.5%)

end0.0ms (0%)

Profiling