Expression, p6
Time bar (total: 3.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 100% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
Compiled 41 to 33 computations (19.5% saved)
| 17.0ms | 260× | 0 | valid |
ival-<=: 5.0ms (45.2% of total)ival-add: 3.0ms (27.1% of total)ival-and: 1.0ms (9% of total)ival-mult: 1.0ms (9% of total)exact: 1.0ms (9% of total)ival-assert: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 58 | 11 | (-13.540266126920963 -2.472345382181856 3.000251843088001 13.109761001408055) | 35 | (-13.424275785913652 -2.6832396841955664 3.289872310033569 12.610858925119194) | (+.f64 a (+.f64 b (+.f64 c d))) |
| 0 | 0 | - | 0 | - | a |
| 0 | 0 | - | 0 | - | d |
| 0 | 0 | - | 0 | - | (+.f64 c d) |
| 0 | 0 | - | 0 | - | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
| 0 | 0 | - | 0 | - | (+.f64 b (+.f64 c d)) |
| 0 | 0 | - | 0 | - | c |
| 0 | 0 | - | 0 | - | #s(literal 2 binary64) |
| 0 | 0 | - | 0 | - | b |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
+.f64 | (+.f64 a (+.f64 b (+.f64 c d))) | cancellation | 34 | 90 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 28 | 89 |
| - | 6 | 133 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 59 | 30 |
| - | 6 | 31 | 102 |
| number | freq |
|---|---|
| 0 | 222 |
| 1 | 34 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.1s | 23 040× | 0 | valid |
Compiled 4 500 to 1 800 computations (60% saved)
ival-add: 265.0ms (62% of total)ival-mult: 126.0ms (29.5% of total)ival-true: 16.0ms (3.7% of total)exact: 12.0ms (2.8% of total)ival-assert: 8.0ms (1.9% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 132 |
| 1 | 150 | 126 |
| 2 | 449 | 126 |
| 3 | 2011 | 126 |
| 4 | 5325 | 126 |
| 5 | 6447 | 126 |
| 6 | 6863 | 126 |
| 7 | 7028 | 126 |
| 8 | 7070 | 126 |
| 9 | 7075 | 126 |
| 10 | 7130 | 126 |
| 11 | 7138 | 126 |
| 12 | 7138 | 126 |
| 13 | 7138 | 126 |
| 14 | 7530 | 126 |
| 15 | 7530 | 126 |
| 16 | 7530 | 126 |
| 0 | 9 | 9 |
| 0 | 13 | 9 |
| 1 | 21 | 9 |
| 2 | 57 | 9 |
| 3 | 159 | 9 |
| 4 | 286 | 9 |
| 5 | 287 | 9 |
| 0 | 287 | 9 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) |
(sort a b c d)
Compiled 9 to 9 computations (0% saved)
Compiled 0 to 4 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 94.3% | (*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
Compiled 18 to 18 computations (0% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 9 |
| 1 | 13 | 9 |
| 1× | saturated |
| Inputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
| Outputs |
|---|
(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64)) |
(*.f64 #s(literal 2 binary64) (+.f64 (+.f64 (+.f64 d c) b) a)) |
| 1× | fuel |
Compiled 9 to 9 computations (0% saved)
(sort a b c d)
Compiled 94 to 92 computations (2.1% saved)
Loading profile data...