Example 2 from Robby
Time bar (total: 4.5s)
| 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% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 6 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 7 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 8 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 9 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 10 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 11 |
| 46.9% | 46.8% | 53% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 32 to 20 computations (37.5% saved)
| 44.0ms | 260× | 0 | valid |
ival-sin: 11.0ms (28.9% of total)ival-cos: 10.0ms (26.3% of total)ival-mult: 7.0ms (18.4% of total)ival-tan: 5.0ms (13.2% of total)ival-div: 2.0ms (5.3% of total)ival-fabs: 1.0ms (2.6% of total)ival-atan: 1.0ms (2.6% of total)ival-sub: 1.0ms (2.6% of total)ival-neg: 1.0ms (2.6% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 115 | 0 | - | 72 | (-7.765258137419981e+133 -1.0239865821433443e-235 1.9181133594252412e-200) | (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) |
| 6 | 0 | - | 2 | (-9.15164099320522e-34 -2.9462199346214038e-18 4.9660409080696413e-290) | (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) |
| 0 | 0 | - | 0 | - | (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)) |
| 0 | 0 | - | 0 | - | t |
| 0 | 0 | - | 0 | - | (neg.f64 eh) |
| 0 | 0 | - | 0 | - | (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
| 0 | 0 | - | 0 | - | (*.f64 (neg.f64 eh) (tan.f64 t)) |
| 0 | 0 | - | 0 | - | (*.f64 ew (cos.f64 t)) |
| 0 | 0 | - | 0 | - | (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) |
| 0 | 0 | - | 0 | - | (sin.f64 t) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) |
| 0 | 0 | - | 0 | - | (*.f64 eh (sin.f64 t)) |
| 0 | 0 | - | 0 | - | (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))) |
| 0 | 0 | - | 0 | - | (cos.f64 t) |
| 0 | 0 | - | 0 | - | (tan.f64 t) |
| 0 | 0 | - | 0 | - | ew |
| 0 | 0 | - | 0 | - | eh |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))) | cancelation | 43 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 0 |
| - | 43 | 213 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 43 | 1 | 212 |
| number | freq |
|---|---|
| 0 | 213 |
| 1 | 43 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 1 | 0 | 0 |
| 1.7s | 720× | 2 | valid |
| 402.0ms | 648× | 1 | valid |
| 260.0ms | 1 704× | 0 | valid |
Compiled 5 568 to 888 computations (84.1% saved)
ival-sin: 1.4s (66.3% of total)ival-cos: 282.0ms (12.9% of total)ival-mult: 132.0ms (6% of total)adjust: 104.0ms (4.8% of total)ival-tan: 97.0ms (4.4% of total)ival-atan: 37.0ms (1.7% of total)ival-div: 27.0ms (1.2% of total)ival-fabs: 22.0ms (1% of total)ival-sub: 21.0ms (1% of total)ival-neg: 11.0ms (0.5% of total)ival-true: 2.0ms (0.1% of total)ival-assert: 1.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 88 | 267 |
| 1 | 231 | 261 |
| 2 | 700 | 261 |
| 3 | 2085 | 261 |
| 4 | 4076 | 261 |
| 5 | 5124 | 261 |
| 6 | 5471 | 261 |
| 7 | 5687 | 261 |
| 8 | 5739 | 261 |
| 9 | 5747 | 261 |
| 10 | 6994 | 261 |
| 11 | 7877 | 261 |
| 12 | 7949 | 261 |
| 13 | 7949 | 261 |
| 14 | 7949 | 261 |
| 15 | 7949 | 261 |
| 0 | 18 | 30 |
| 0 | 33 | 30 |
| 1 | 57 | 30 |
| 2 | 119 | 30 |
| 3 | 257 | 30 |
| 4 | 370 | 30 |
| 5 | 561 | 30 |
| 6 | 816 | 30 |
| 7 | 1115 | 30 |
| 8 | 1606 | 30 |
| 9 | 1796 | 30 |
| 10 | 1863 | 30 |
| 11 | 1962 | 30 |
| 12 | 1963 | 30 |
| 0 | 1963 | 30 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
| Outputs |
|---|
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
(fabs.f64 (fma.f64 (*.f64 (neg.f64 ew) (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))) (*.f64 (sin.f64 (atan.f64 (*.f64 (/.f64 (neg.f64 eh) ew) (tan.f64 t)))) (*.f64 (sin.f64 t) eh)))) |
Compiled 30 to 18 computations (40% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.8% | (fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
Compiled 60 to 36 computations (40% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 30 |
| 1 | 36 | 30 |
| 2 | 69 | 30 |
| 3 | 102 | 30 |
| 4 | 123 | 30 |
| 5 | 134 | 30 |
| 6 | 136 | 30 |
| 1× | saturated |
| Inputs |
|---|
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
| Outputs |
|---|
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) |
(fabs.f64 (-.f64 (*.f64 (sin.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) (neg.f64 ew)))) (*.f64 (sin.f64 t) eh)) (*.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (tan.f64 t) eh) (neg.f64 ew)))) (*.f64 (cos.f64 t) ew)))) |
| 1× | fuel |
Compiled 30 to 18 computations (40% saved)
Compiled 120 to 72 computations (40% saved)
Loading profile data...