Octave 3.8, oct_fill_randg
Time bar (total: 6.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)
| 17.0ms | 260× | 0 | valid |
| 0.0ms | 8× | 0 | invalid |
ival-mult: 4.0ms (32.2% of total)ival-div: 3.0ms (24.2% of total)ival-sqrt: 2.0ms (16.1% of total)ival-sub: 1.0ms (8.1% of total)ival-add: 1.0ms (8.1% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% 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 |
| 1.7s | 21 420× | 0 | valid |
| 184.0ms | 810× | 2 | valid |
| 110.0ms | 270× | 5 | exit |
| 84.0ms | 540× | 1 | valid |
Compiled 12 420 to 2 520 computations (79.7% saved)
ival-mult: 406.0ms (31.8% of total)ival-div: 349.0ms (27.4% of total)ival-sqrt: 173.0ms (13.6% of total)ival-sub: 120.0ms (9.4% of total)ival-add: 111.0ms (8.7% of total)adjust: 60.0ms (4.7% of total)exact: 28.0ms (2.2% of total)ival-true: 20.0ms (1.6% of total)ival-assert: 9.0ms (0.7% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 88 |
| 1 | 94 | 76 |
| 2 | 330 | 70 |
| 3 | 1191 | 70 |
| 4 | 3285 | 70 |
| 5 | 4976 | 70 |
| 6 | 6491 | 70 |
| 7 | 6874 | 70 |
| 8 | 7097 | 70 |
| 9 | 7245 | 70 |
| 10 | 7252 | 70 |
| 11 | 7487 | 70 |
| 12 | 7531 | 70 |
| 13 | 7781 | 70 |
| 0 | 13 | 16 |
| 0 | 22 | 16 |
| 1 | 39 | 14 |
| 2 | 86 | 14 |
| 3 | 186 | 14 |
| 4 | 378 | 14 |
| 5 | 601 | 14 |
| 6 | 837 | 14 |
| 7 | 1420 | 14 |
| 8 | 2472 | 14 |
| 9 | 2925 | 14 |
| 10 | 3080 | 14 |
| 11 | 3233 | 14 |
| 12 | 3328 | 14 |
| 13 | 3334 | 14 |
| 0 | 3334 | 13 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(*.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))) |
| Outputs |
|---|
(*.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))) |
(*.f64 (-.f64 (/.f64 rand (sqrt.f64 (fma.f64 #s(literal 9 binary64) a #s(literal -3 binary64)))) #s(literal -1 binary64)) (-.f64 a #s(literal 1/3 binary64))) |
Compiled 20 to 13 computations (35% saved)
Compiled 0 to 2 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.8% | (*.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))) |
Compiled 40 to 26 computations (35% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 20 |
| 1 | 22 | 20 |
| 2 | 30 | 20 |
| 3 | 36 | 20 |
| 4 | 43 | 20 |
| 5 | 55 | 20 |
| 6 | 71 | 20 |
| 1× | saturated |
| Inputs |
|---|
(*.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))) |
| Outputs |
|---|
(*.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))) |
(*.f64 (+.f64 (*.f64 rand (/.f64 #s(literal 1 binary64) (sqrt.f64 (*.f64 #s(literal 9 binary64) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64))))))) #s(literal 1 binary64)) (-.f64 a (/.f64 #s(literal 1 binary64) #s(literal 3 binary64)))) |
| 1× | fuel |
Compiled 20 to 13 computations (35% saved)
Compiled 80 to 52 computations (35% saved)
Loading profile data...