2sin (example 3.3)
Time bar (total: 5.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 50.6% | 49.4% | 0% | 0% | 0% | 0 |
| 0% | 0% | 50.6% | 49.4% | 0% | 0% | 0% | 1 |
| 0% | 0% | 50.6% | 49.4% | 0% | 0% | 0% | 2 |
| 0% | 0% | 25.3% | 49.4% | 0% | 25.3% | 0% | 3 |
| 0% | 0% | 25.3% | 49.4% | 0% | 25.3% | 0% | 4 |
| 0% | 0% | 19% | 49.4% | 0% | 31.6% | 0% | 5 |
| 0% | 0% | 15.8% | 49.4% | 0% | 34.8% | 0% | 6 |
| 0% | 0% | 11.1% | 49.4% | 0% | 39.5% | 0% | 7 |
| 0% | 0% | 8.7% | 49.4% | 0% | 41.9% | 0% | 8 |
| 0% | 0% | 5.9% | 49.4% | 0% | 44.6% | 0% | 9 |
| 0% | 0% | 4.5% | 49.4% | 0% | 46% | 0% | 10 |
| 0% | 0% | 3.1% | 49.4% | 0% | 47.5% | 0% | 11 |
| 0% | 0% | 2.7% | 49.4% | 0% | 47.9% | 0% | 12 |
Compiled 27 to 19 computations (29.6% saved)
| 2.2s | 26 689× | 0 | invalid |
| 1.1s | 5 068× | 1 | valid |
| 308.0ms | 3 188× | 0 | valid |
ival-sin: 563.0ms (22.5% of total)ival-fabs: 517.0ms (20.7% of total)const: 452.0ms (18.1% of total)ival-add: 217.0ms (8.7% of total)ival-sub: 194.0ms (7.8% of total)adjust: 176.0ms (7% of total)ival-mult: 169.0ms (6.8% of total)ival-<: 126.0ms (5% of total)ival-and: 73.0ms (2.9% of total)ival-assert: 13.0ms (0.5% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 230 | 4 | (5.937790170566768e-233 4.19721821820005e-237) | 3 | (7.695358428596198e-220 8.640229184665769e-222) | (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) |
| 3 | 0 | - | 2 | (130.88862605248417 7.447438139622618e-13) | (sin.f64 (+.f64 x eps)) |
| 0 | 0 | - | 0 | - | eps |
| 0 | 0 | - | 0 | - | (+.f64 x eps) |
| 0 | 0 | - | 0 | - | (sin.f64 x) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | (-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x)) | cancellation | 231 | 6 |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 1 | 2 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 227 | 3 |
| - | 4 | 22 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 227 | 3 | 0 |
| - | 4 | 3 | 19 |
| number | freq |
|---|---|
| 0 | 25 |
| 1 | 230 |
| 2 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 47.0ms | 326× | 1 | valid |
| 9.0ms | 184× | 0 | valid |
| 1.0ms | 2× | 3 | valid |
Compiled 47 to 22 computations (53.2% saved)
ival-sin: 12.0ms (30.8% of total)ival-sub: 12.0ms (30.8% of total)adjust: 10.0ms (25.6% of total)ival-add: 4.0ms (10.3% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 50 |
| 1 | 25 | 50 |
| 2 | 32 | 50 |
| 3 | 40 | 50 |
| 4 | 53 | 50 |
| 5 | 81 | 50 |
| 6 | 140 | 50 |
| 7 | 385 | 50 |
| 8 | 1451 | 50 |
| 9 | 5230 | 50 |
| 0 | 6 | 7 |
| 0 | 10 | 7 |
| 1 | 11 | 7 |
| 0 | 11 | 7 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...