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

Time bar (total: 1.3s)

analyze136.0ms (10.3%)

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
37.5%37.4%62.3%0.2%0%0%0%6
37.5%37.4%62.3%0.2%0%0%0%7
37.5%37.4%62.3%0.2%0%0%0%8
37.5%37.4%62.3%0.2%0%0%0%9
43.8%43.6%56.1%0.2%0%0%0%10
51.6%51.4%48.3%0.2%0%0%0%11
51.6%51.4%48.3%0.2%0%0%0%12
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample1.0s (79.2%)

Results
964.0ms7623×body256valid
72.0ms633×body256infinite
Bogosity

preprocess140.0ms (10.6%)

Algorithm
1×egg-herbie
Rules
646×times-frac
587×associate-+r-
558×associate-/l*
516×associate-/r*
389×fma-def
Problems
223×No Errors
33×(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0801098
12361098
24851050
315601042
468271042
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 (neg.f64 y) z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y (neg.f64 z))) (-.f64 t (*.f64 a (neg.f64 z))))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 (neg.f64 a) z)))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 a z))))
(neg.f64 (/.f64 (-.f64 x (*.f64 (neg.f64 y) z)) (-.f64 t (*.f64 a z))))
(neg.f64 (/.f64 (-.f64 x (*.f64 y (neg.f64 z))) (-.f64 t (*.f64 a (neg.f64 z)))))
(neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 a z))))
(neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 (neg.f64 a) z))))
(/.f64 (-.f64 y (*.f64 x z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 z (*.f64 y x)) (-.f64 t (*.f64 a x)))
(/.f64 (-.f64 t (*.f64 y z)) (-.f64 x (*.f64 a z)))
(/.f64 (-.f64 a (*.f64 y z)) (-.f64 t (*.f64 x z)))
(/.f64 (-.f64 x (*.f64 z y)) (-.f64 t (*.f64 a y)))
(/.f64 (-.f64 x (*.f64 t z)) (-.f64 y (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 a z)) (-.f64 t (*.f64 y z)))
(/.f64 (-.f64 x (*.f64 y t)) (-.f64 z (*.f64 a t)))
(/.f64 (-.f64 x (*.f64 y a)) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 a (*.f64 t z)))
Outputs
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (neg.f64 (fma.f64 y z x)) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 (neg.f64 y) z)) (-.f64 t (*.f64 a z)))
(/.f64 (+.f64 x (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (fma.f64 y z x) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y (neg.f64 z))) (-.f64 t (*.f64 a (neg.f64 z))))
(/.f64 (+.f64 x (*.f64 y z)) (+.f64 t (*.f64 z a)))
(/.f64 (fma.f64 y z x) (fma.f64 z a t))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (neg.f64 (fma.f64 z a t)))
(/.f64 (-.f64 (*.f64 y z) x) (fma.f64 z a t))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 (neg.f64 a) z)))
(/.f64 (-.f64 x (*.f64 y z)) (+.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (fma.f64 z a t))
(neg.f64 (/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 a z))))
(/.f64 (+.f64 x (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (fma.f64 y z x) (-.f64 t (*.f64 z a)))
(neg.f64 (/.f64 (-.f64 x (*.f64 (neg.f64 y) z)) (-.f64 t (*.f64 a z))))
(/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (-.f64 t (*.f64 z a)))
(/.f64 (neg.f64 (fma.f64 y z x)) (-.f64 t (*.f64 z a)))
(neg.f64 (/.f64 (-.f64 x (*.f64 y (neg.f64 z))) (-.f64 t (*.f64 a (neg.f64 z)))))
(/.f64 (neg.f64 (+.f64 x (*.f64 y z))) (+.f64 t (*.f64 z a)))
(/.f64 (-.f64 (neg.f64 x) (*.f64 y z)) (+.f64 t (*.f64 z a)))
(/.f64 (neg.f64 (fma.f64 y z x)) (fma.f64 z a t))
(neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 a z))))
(/.f64 (-.f64 x (*.f64 y z)) (+.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (fma.f64 z a t))
(neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 (neg.f64 a) z))))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 (neg.f64 t) (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (neg.f64 (fma.f64 z a t)))
(/.f64 (-.f64 (*.f64 y z) x) (fma.f64 z a t))
(/.f64 (-.f64 y (*.f64 x z)) (-.f64 t (*.f64 a z)))
(/.f64 (-.f64 y (*.f64 x z)) (-.f64 t (*.f64 z a)))
(/.f64 (fma.f64 x (neg.f64 z) y) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 z (*.f64 y x)) (-.f64 t (*.f64 a x)))
(/.f64 (-.f64 z (*.f64 x y)) (-.f64 t (*.f64 x a)))
(/.f64 (fma.f64 x (neg.f64 y) z) (-.f64 t (*.f64 x a)))
(/.f64 (-.f64 t (*.f64 y z)) (-.f64 x (*.f64 a z)))
(/.f64 (-.f64 t (*.f64 y z)) (-.f64 x (*.f64 z a)))
(/.f64 (fma.f64 z (neg.f64 y) t) (-.f64 x (*.f64 z a)))
(/.f64 (-.f64 a (*.f64 y z)) (-.f64 t (*.f64 x z)))
(/.f64 (fma.f64 z (neg.f64 y) a) (fma.f64 x (neg.f64 z) t))
(/.f64 (fma.f64 z (neg.f64 y) a) (-.f64 t (*.f64 x z)))
(/.f64 (-.f64 x (*.f64 z y)) (-.f64 t (*.f64 a y)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 y a)))
(/.f64 (-.f64 x (*.f64 t z)) (-.f64 y (*.f64 a z)))
(/.f64 (-.f64 x (*.f64 z t)) (-.f64 y (*.f64 z a)))
(/.f64 (fma.f64 z (neg.f64 t) x) (-.f64 y (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 a z)) (-.f64 t (*.f64 y z)))
(/.f64 (-.f64 x (*.f64 z a)) (-.f64 t (*.f64 y z)))
(/.f64 (-.f64 x (*.f64 z a)) (fma.f64 z (neg.f64 y) t))
(/.f64 (-.f64 x (*.f64 y t)) (-.f64 z (*.f64 a t)))
(/.f64 (-.f64 x (*.f64 y t)) (-.f64 z (*.f64 t a)))
(/.f64 (-.f64 x (*.f64 y a)) (-.f64 t (*.f64 z a)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 a (*.f64 t z)))
(/.f64 (-.f64 x (*.f64 y z)) (-.f64 a (*.f64 z t)))
(/.f64 (-.f64 x (*.f64 y z)) (fma.f64 z (neg.f64 t) a))
Compiler

Compiled 38 to 11 computations (71.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...