VandenBroeck and Keller, Equation (24)
Time bar (total: 1.5s)
| 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 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 4 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 5 |
| 37.5% | 37.5% | 62.4% | 0.1% | 0% | 0% | 0% | 6 |
| 37.5% | 37.5% | 62.4% | 0.1% | 0% | 0% | 0% | 7 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 8 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 9 |
| 46.9% | 46.8% | 53.1% | 0.1% | 0% | 0% | 0% | 10 |
| 46.9% | 46.8% | 53.1% | 0.1% | 0% | 0% | 0% | 11 |
| 48.4% | 48.4% | 51.5% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 15 to 12 computations (20% saved)
| 1.1s | 7223× | body | 256 | valid |
| 112.0ms | 1031× | body | 256 | infinite |
| 1.0ms | 2× | body | 1024 | valid |
| 1× | egg-herbie |
| 302× | fma-def |
| 266× | associate-*r* |
| 195× | associate-*r/ |
| 170× | associate-/r* |
| 161× | *-commutative |
| 256× | No Errors |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 342 |
| 1 | 94 | 260 |
| 2 | 265 | 252 |
| 3 | 592 | 252 |
| 4 | 1112 | 252 |
| 5 | 1731 | 252 |
| 6 | 2266 | 252 |
| 7 | 2868 | 252 |
| 8 | 3095 | 252 |
| 9 | 3149 | 252 |
| 10 | 3160 | 252 |
| 11 | 3166 | 252 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 (neg.f64 B))))) (/.f64 1 (sin.f64 (neg.f64 B)))) |
(+.f64 (neg.f64 (*.f64 (neg.f64 x) (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(neg.f64 (+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 (neg.f64 B))))) (/.f64 1 (sin.f64 (neg.f64 B))))) |
(neg.f64 (+.f64 (neg.f64 (*.f64 (neg.f64 x) (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B)))) |
(+.f64 (neg.f64 (*.f64 B (/.f64 1 (tan.f64 x)))) (/.f64 1 (sin.f64 x))) |
| Outputs |
|---|
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(+.f64 (*.f64 x (neg.f64 (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(+.f64 (*.f64 x (neg.f64 (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 (neg.f64 B))))) (/.f64 1 (sin.f64 (neg.f64 B)))) |
(+.f64 (*.f64 x (neg.f64 (/.f64 1 (neg.f64 (tan.f64 B))))) (/.f64 1 (neg.f64 (sin.f64 B)))) |
(-.f64 (/.f64 1 (neg.f64 (sin.f64 B))) (/.f64 x (neg.f64 (tan.f64 B)))) |
(+.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(+.f64 (neg.f64 (*.f64 (neg.f64 x) (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(+.f64 (/.f64 1 (sin.f64 B)) (*.f64 (neg.f64 (neg.f64 x)) (/.f64 1 (tan.f64 B)))) |
(+.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(neg.f64 (+.f64 (neg.f64 (*.f64 x (/.f64 1 (tan.f64 (neg.f64 B))))) (/.f64 1 (sin.f64 (neg.f64 B))))) |
(+.f64 (*.f64 x (neg.f64 (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B))) |
(-.f64 (/.f64 1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(neg.f64 (+.f64 (neg.f64 (*.f64 (neg.f64 x) (/.f64 1 (tan.f64 B)))) (/.f64 1 (sin.f64 B)))) |
(neg.f64 (+.f64 (/.f64 1 (sin.f64 B)) (*.f64 (neg.f64 (neg.f64 x)) (/.f64 1 (tan.f64 B))))) |
(-.f64 (/.f64 -1 (sin.f64 B)) (/.f64 x (tan.f64 B))) |
(+.f64 (neg.f64 (*.f64 B (/.f64 1 (tan.f64 x)))) (/.f64 1 (sin.f64 x))) |
(+.f64 (*.f64 (neg.f64 B) (/.f64 1 (tan.f64 x))) (/.f64 1 (sin.f64 x))) |
(-.f64 (/.f64 1 (sin.f64 x)) (/.f64 B (tan.f64 x))) |
(negabs B)
Compiled 43 to 24 computations (44.2% saved)
Loading profile data...