qlog (example 3.10)
Time bar (total: 2.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 0 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 1 |
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 2 |
| 25% | 12.5% | 37.5% | 50% | 0% | 0% | 0% | 3 |
| 62.5% | 31.2% | 18.7% | 50% | 0% | 0% | 0% | 4 |
| 81.3% | 40.6% | 9.4% | 50% | 0% | 0% | 0% | 5 |
| 90.6% | 45.3% | 4.7% | 50% | 0% | 0% | 0% | 6 |
| 95.3% | 47.6% | 2.3% | 50% | 0% | 0% | 0% | 7 |
| 97.7% | 48.8% | 1.2% | 50% | 0% | 0% | 0% | 8 |
| 98.8% | 49.4% | 0.6% | 50% | 0% | 0% | 0% | 9 |
| 99.4% | 49.7% | 0.3% | 50% | 0% | 0% | 0% | 10 |
| 99.7% | 49.8% | 0.1% | 50% | 0% | 0% | 0% | 11 |
| 99.9% | 49.9% | 0.1% | 50% | 0% | 0% | 0% | 12 |
Compiled 14 to 9 computations (35.7% saved)
| 1.1s | 3 402× | 2 | valid |
| 754.0ms | 4 673× | 1 | valid |
| 10.0ms | 181× | 0 | valid |
ival-log: 1.0s (61.5% of total)adjust: 269.0ms (16.5% of total)ival-div: 156.0ms (9.6% of total)ival-sub: 135.0ms (8.3% of total)ival-log1p: 59.0ms (3.6% of total)exact: 9.0ms (0.6% of total)ival-assert: 2.0ms (0.1% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 255 | 0 | - | 1 | (-0.026378441878250794) | (log.f64 (-.f64 #s(literal 1 binary64) x)) |
| 254 | 0 | - | 0 | - | (log.f64 (+.f64 #s(literal 1 binary64) x)) |
| 0 | 0 | - | 0 | - | (/.f64 (log.f64 (-.f64 #s(literal 1 binary64) x)) (log.f64 (+.f64 #s(literal 1 binary64) x))) |
| 0 | 0 | - | 0 | - | (+.f64 #s(literal 1 binary64) x) |
| 0 | 0 | - | 0 | - | (-.f64 #s(literal 1 binary64) x) |
| 0 | 0 | - | 0 | - | #s(literal 1 binary64) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) x)) | sensitivity | 254 | 1 |
log.f64 | (log.f64 (-.f64 #s(literal 1 binary64) x)) | sensitivity | 254 | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 251 | 1 |
| - | 3 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 251 | 1 | 0 |
| - | 3 | 0 | 1 |
| number | freq |
|---|---|
| 0 | 2 |
| 2 | 254 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 78.0ms | 222× | 2 | valid |
| 60.0ms | 282× | 1 | valid |
| 1.0ms | 8× | 0 | valid |
Compiled 63 to 25 computations (60.3% saved)
ival-log: 69.0ms (59.7% of total)adjust: 23.0ms (19.9% of total)ival-div: 9.0ms (7.8% of total)ival-sub: 7.0ms (6.1% of total)ival-add: 3.0ms (2.6% of total)ival-log1p: 3.0ms (2.6% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)exact: 0.0ms (0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 32 |
| 1 | 25 | 32 |
| 2 | 28 | 32 |
| 3 | 46 | 28 |
| 4 | 97 | 28 |
| 5 | 328 | 28 |
| 6 | 2685 | 28 |
| 7 | 6229 | 28 |
| 0 | 10 | 13 |
| 0 | 13 | 13 |
| 1 | 15 | 13 |
| 2 | 18 | 13 |
| 3 | 26 | 13 |
| 4 | 52 | 13 |
| 5 | 189 | 13 |
| 6 | 1430 | 13 |
| 7 | 4417 | 13 |
| 0 | 8087 | 13 |
| 1× | saturated |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
Loading profile data...