
Time bar (total: 897.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 0 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 1 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 2 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 3 |
| 0% | 0% | 1.5% | 98.5% | 0% | 0% | 0% | 4 |
| 50% | 0.8% | 0.8% | 98.5% | 0% | 0% | 0% | 5 |
| 50% | 0.8% | 0.8% | 98.5% | 0% | 0% | 0% | 6 |
| 75% | 1.2% | 0.4% | 98.5% | 0% | 0% | 0% | 7 |
| 75% | 1.2% | 0.4% | 98.5% | 0% | 0% | 0% | 8 |
| 87.5% | 1.4% | 0.2% | 98.5% | 0% | 0% | 0% | 9 |
| 87.5% | 1.4% | 0.2% | 98.5% | 0% | 0% | 0% | 10 |
| 93.7% | 1.4% | 0.1% | 98.5% | 0% | 0% | 0% | 11 |
| 93.7% | 1.4% | 0.1% | 98.5% | 0% | 0% | 0% | 12 |
Compiled 26 to 21 computations (19.2% saved)
| 23.0ms | 260× | 0 | valid |
ival-log: 4.0ms (23.1% of total)const: 4.0ms (23.1% of total)ival-mult: 3.0ms (17.3% of total)ival-div: 2.0ms (11.6% of total)ival-<=: 2.0ms (11.6% of total)ival-sub: 1.0ms (5.8% of total)ival-and: 1.0ms (5.8% of total)exact: 1.0ms (5.8% of total)ival-assert: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 212 | 2 | (0.04024329036474228 0.0029326947405934334) | 4 | (0.9901027083396912 0.005592773202806711) | (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))) |
| 0 | 0 | - | 0 | - | (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary32) |
| 0 | 1 | (0.0068261995911598206 0.24688337743282318) | 0 | - | (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)) |
| 0 | 0 | - | 0 | - | u |
| 0 | 0 | - | 0 | - | #s(literal 4 binary32) |
| 0 | 0 | - | 0 | - | (*.f32 #s(literal 4 binary32) u) |
| 0 | 0 | - | 0 | - | s |
| 0 | 0 | - | 0 | - | (*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f32 | (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))) | sensitivity | 210 | 13 |
-.f32 | (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)) | cancellation | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 195 | 3 |
| - | 16 | 42 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 195 | 3 | 0 |
| - | 16 | 10 | 32 |
| number | freq |
|---|---|
| 0 | 45 |
| 1 | 211 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 187.0ms | 3 072× | 0 | valid |
Compiled 1 476 to 456 computations (69.1% saved)
ival-log: 43.0ms (36.7% of total)ival-mult: 37.0ms (31.6% of total)ival-div: 20.0ms (17.1% of total)ival-sub: 12.0ms (10.2% of total)ival-true: 2.0ms (1.7% of total)exact: 2.0ms (1.7% of total)ival-assert: 1.0ms (0.9% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 51 |
| 1 | 70 | 43 |
| 2 | 135 | 43 |
| 3 | 280 | 43 |
| 4 | 422 | 43 |
| 5 | 592 | 43 |
| 6 | 653 | 43 |
| 7 | 701 | 43 |
| 8 | 728 | 43 |
| 9 | 743 | 43 |
| 10 | 746 | 43 |
| 0 | 9 | 10 |
| 0 | 14 | 9 |
| 1 | 26 | 9 |
| 2 | 41 | 9 |
| 3 | 60 | 9 |
| 4 | 81 | 9 |
| 5 | 100 | 9 |
| 6 | 126 | 9 |
| 7 | 158 | 9 |
| 8 | 172 | 9 |
| 9 | 180 | 9 |
| 10 | 183 | 9 |
| 11 | 186 | 9 |
| 0 | 186 | 7 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
| Outputs |
|---|
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
(*.f32 (neg.f32 s) (log1p.f32 (*.f32 #s(literal -4 binary32) u))) |
(negabs s)
Compiled 10 to 9 computations (10% saved)
Compiled 0 to 2 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 62.6% | (*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
Compiled 20 to 18 computations (10% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 10 |
| 1 | 19 | 10 |
| 2 | 30 | 10 |
| 3 | 36 | 10 |
| 4 | 40 | 10 |
| 5 | 41 | 10 |
| 1× | saturated |
| Inputs |
|---|
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
| Outputs |
|---|
(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))) |
(*.f32 (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 u #s(literal 4 binary32))))) s) |
| 1× | fuel |
Compiled 10 to 9 computations (10% saved)
(negabs s)
Compiled 80 to 72 computations (10% saved)
Loading profile data...