2sin (example 3.3)
Time bar (total: 2.6s)
| 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 |
Compiled 10 to 7 computations (30% saved)
| 937.0ms | 2624× | body | 1024 | valid |
| 865.0ms | 1265× | body | 2048 | valid |
| 393.0ms | 1769× | body | 512 | valid |
| 299.0ms | 2597× | body | 256 | valid |
| 2.0ms | 1× | body | 4096 | valid |
| 1× | egg-herbie |
| 171× | fma-def |
| 64× | associate--r+ |
| 58× | +-commutative |
| 52× | associate-+l- |
| 38× | *-commutative |
| 101× | No Errors |
| 96× | (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
| 59× | (sin.f64 (+.f64 x eps)) |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 27 | 226 |
| 1 | 51 | 210 |
| 2 | 110 | 210 |
| 3 | 217 | 210 |
| 4 | 434 | 210 |
| 5 | 589 | 210 |
| 6 | 753 | 210 |
| 7 | 848 | 210 |
| 8 | 881 | 210 |
| 9 | 887 | 210 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
(-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x))) |
(-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x)) |
(neg.f64 (-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x)))) |
(neg.f64 (-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x))) |
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 eps)) |
| Outputs |
|---|
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
(-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x))) |
(-.f64 (sin.f64 (+.f64 eps (neg.f64 x))) (neg.f64 (sin.f64 x))) |
(+.f64 (sin.f64 (-.f64 eps x)) (sin.f64 x)) |
(-.f64 (sin.f64 x) (sin.f64 (-.f64 x eps))) |
(-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x)) |
(-.f64 (sin.f64 (-.f64 x eps)) (sin.f64 x)) |
(neg.f64 (-.f64 (sin.f64 (+.f64 (neg.f64 x) eps)) (sin.f64 (neg.f64 x)))) |
(-.f64 (sin.f64 (-.f64 x eps)) (sin.f64 x)) |
(neg.f64 (-.f64 (sin.f64 (+.f64 x (neg.f64 eps))) (sin.f64 x))) |
(-.f64 (sin.f64 (+.f64 eps (neg.f64 x))) (neg.f64 (sin.f64 x))) |
(+.f64 (sin.f64 (-.f64 eps x)) (sin.f64 x)) |
(-.f64 (sin.f64 x) (sin.f64 (-.f64 x eps))) |
(-.f64 (sin.f64 (+.f64 eps x)) (sin.f64 eps)) |
(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 eps)) |
Compiled 21 to 7 computations (66.7% saved)
Loading profile data...