Octave 3.8, oct_fill_randg
Time bar (total: 1.4s)
| 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% | 50% | 0.1% | 0% | 50% | 0% | 2 |
| 0% | 0% | 50% | 0.1% | 0% | 50% | 0% | 3 |
| 50% | 25% | 25% | 0.1% | 0% | 50% | 0% | 4 |
| 50% | 25% | 25% | 0.1% | 0% | 50% | 0% | 5 |
| 66.7% | 25% | 12.5% | 0.1% | 0% | 62.4% | 0% | 6 |
| 66.7% | 25% | 12.5% | 0.1% | 0% | 62.4% | 0% | 7 |
| 80% | 25% | 6.2% | 0.1% | 0% | 68.7% | 0% | 8 |
| 80% | 25% | 6.2% | 0.1% | 0% | 68.7% | 0% | 9 |
| 88.9% | 25% | 3.1% | 0.1% | 0% | 71.8% | 0% | 10 |
| 88.9% | 25% | 3.1% | 0.1% | 0% | 71.8% | 0% | 11 |
| 94.1% | 25% | 1.6% | 0.1% | 0% | 73.4% | 0% | 12 |
Compiled 22 to 15 computations (31.8% saved)
| 666.0ms | 8 256× | 0 | valid |
| 58.0ms | 501× | 0 | invalid |
ival-div: 178.0ms (34.9% of total)ival-mult: 170.0ms (33.3% of total)ival-sqrt: 61.0ms (12% of total)ival-sub: 44.0ms (8.6% of total)ival-add: 39.0ms (7.6% of total)exact: 13.0ms (2.5% of total)adjust: 3.0ms (0.6% of total)ival-assert: 3.0ms (0.6% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 0 | 0 | - | 0 | - | (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand)) |
| 0 | 0 | - | 0 | - | (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) |
| 0 | 0 | - | 0 | - | a |
| 0 | 0 | - | 0 | - | rand |
| 0 | 0 | - | 0 | - | #s(literal 3 binary64) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary64) |
| 0 | 0 | - | 0 | - | #s(literal 9 binary64) |
| 0 | 0 | - | 0 | - | (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)) |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))) |
| 0 | 0 | - | 0 | - | (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))))) |
| 0 | 0 | - | 0 | - | (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand) |
| 0 | 0 | - | 0 | - | (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) |
| 0 | 0 | - | 0 | - | (*.f64 (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))))) rand))) |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 0 |
| - | 0 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 0 | 0 | 256 |
| number | freq |
|---|---|
| 0 | 256 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 0 | 0 | 1 |
| 46.0ms | 474× | 0 | valid |
| 5.0ms | 18× | 2 | valid |
| 4.0ms | 20× | 1 | valid |
Compiled 192 to 43 computations (77.6% saved)
ival-mult: 9.0ms (30.4% of total)ival-div: 8.0ms (27% of total)ival-sqrt: 4.0ms (13.5% of total)ival-add: 3.0ms (10.1% of total)ival-sub: 3.0ms (10.1% of total)adjust: 2.0ms (6.8% of total)exact: 1.0ms (3.4% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 35 | 104 |
| 1 | 101 | 90 |
| 2 | 303 | 88 |
| 3 | 878 | 88 |
| 4 | 3634 | 88 |
| 0 | 13 | 16 |
| 0 | 22 | 16 |
| 1 | 39 | 14 |
| 2 | 86 | 14 |
| 3 | 222 | 14 |
| 4 | 974 | 14 |
| 5 | 4286 | 14 |
| 0 | 8177 | 14 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...