Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A
Time bar (total: 1.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
Compiled 9 to 6 computations (33.3% saved)
| 683.0ms | 6889× | body | 256 | valid |
| 119.0ms | 1367× | body | 256 | infinite |
| 1× | egg-herbie |
| 638× | distribute-lft-in |
| 521× | distribute-rgt-in |
| 514× | associate-*r* |
| 362× | associate-/r* |
| 340× | associate-/l* |
| 231× | No Errors |
| 25× | (/.f64 (*.f64 x y) z) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 29 | 254 |
| 1 | 64 | 254 |
| 2 | 142 | 254 |
| 3 | 459 | 254 |
| 4 | 1771 | 254 |
| 5 | 3683 | 254 |
| 6 | 5197 | 254 |
| 7 | 6640 | 254 |
| 8 | 6733 | 254 |
| 9 | 6895 | 254 |
| 10 | 7065 | 254 |
| 11 | 7273 | 254 |
| 12 | 7709 | 254 |
| 13 | 7709 | 254 |
| 14 | 7709 | 254 |
| 15 | 7709 | 254 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (*.f64 x y) z) |
(/.f64 (*.f64 x y) z) |
(/.f64 (*.f64 (neg.f64 x) y) z) |
(/.f64 (*.f64 x (neg.f64 y)) z) |
(/.f64 (*.f64 x y) (neg.f64 z)) |
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) z)) |
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) z)) |
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 z))) |
(/.f64 (*.f64 y x) z) |
(/.f64 (*.f64 z y) x) |
(/.f64 (*.f64 x z) y) |
| Outputs |
|---|
(/.f64 (*.f64 x y) z) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(/.f64 (*.f64 x y) z) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(/.f64 (*.f64 (neg.f64 x) y) z) |
(/.f64 x (/.f64 z (neg.f64 y))) |
(*.f64 (/.f64 x z) (neg.f64 y)) |
(*.f64 y (/.f64 x (neg.f64 z))) |
(*.f64 x (/.f64 y (neg.f64 z))) |
(*.f64 x (neg.f64 (/.f64 y z))) |
(/.f64 (*.f64 x (neg.f64 y)) z) |
(/.f64 x (/.f64 z (neg.f64 y))) |
(*.f64 (/.f64 x z) (neg.f64 y)) |
(*.f64 y (/.f64 x (neg.f64 z))) |
(*.f64 x (/.f64 y (neg.f64 z))) |
(*.f64 x (neg.f64 (/.f64 y z))) |
(/.f64 (*.f64 x y) (neg.f64 z)) |
(/.f64 x (/.f64 z (neg.f64 y))) |
(*.f64 (/.f64 x z) (neg.f64 y)) |
(*.f64 y (/.f64 x (neg.f64 z))) |
(*.f64 x (/.f64 y (neg.f64 z))) |
(*.f64 x (neg.f64 (/.f64 y z))) |
(neg.f64 (/.f64 (*.f64 (neg.f64 x) y) z)) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(neg.f64 (/.f64 (*.f64 x (neg.f64 y)) z)) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(neg.f64 (/.f64 (*.f64 x y) (neg.f64 z))) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(/.f64 (*.f64 y x) z) |
(/.f64 x (/.f64 z y)) |
(*.f64 (/.f64 y z) x) |
(*.f64 x (/.f64 y z)) |
(/.f64 (*.f64 z y) x) |
(/.f64 (*.f64 y z) x) |
(/.f64 z (/.f64 x y)) |
(*.f64 (/.f64 y x) z) |
(*.f64 z (/.f64 y x)) |
(/.f64 (*.f64 x z) y) |
(/.f64 x (/.f64 y z)) |
(*.f64 (/.f64 x y) z) |
(*.f64 z (/.f64 x y)) |
(*.f64 x (/.f64 z y)) |
(negabs x)
(negabs y)
(negabs z)
(sort x y)
Compiled 15 to 6 computations (60% saved)
Loading profile data...