Example from Robby
Time bar (total: 5.1s)
| 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 |
| 18.8% | 18.7% | 81.1% | 0.1% | 0% | 0% | 0% | 7 |
| 18.8% | 18.7% | 81.1% | 0.1% | 0% | 0% | 0% | 8 |
| 21.9% | 21.8% | 78% | 0.1% | 0% | 0% | 0% | 9 |
| 32.8% | 32.8% | 67.1% | 0.1% | 0% | 0% | 0% | 10 |
| 32.8% | 32.8% | 67.1% | 0.1% | 0% | 0% | 0% | 11 |
| 35.2% | 35.1% | 64.7% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 30 to 19 computations (36.7% saved)
| 44.0ms | 260× | 0 | valid |
ival-sin: 12.0ms (31.7% of total)ival-cos: 9.0ms (23.8% of total)ival-mult: 6.0ms (15.8% of total)ival-tan: 4.0ms (10.6% of total)ival-div: 3.0ms (7.9% of total)ival-add: 1.0ms (2.6% of total)ival-fabs: 1.0ms (2.6% of total)ival-atan: 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 |
|---|---|---|---|---|---|
| 152 | 1 | (4.395719224363112e-267 -1.9902545842345516e-267 -2.903961954276065e+147) | 96 | (-2.1851646660072395e+49 -1.2830653672610758e-154 -4.693320050456181e+125) | (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) |
| 13 | 0 | - | 1 | (2.0773208800613504e-163 3.1609563457267522e+147 5.065655163621369e-30) | (/.f64 (/.f64 eh ew) (tan.f64 t)) |
| 0 | 0 | - | 0 | - | t |
| 0 | 27 | (4.807170199998583e+195 -1.721272345183842e-241 -2.0034197277934326e-145) | 0 | - | (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) |
| 0 | 0 | - | 0 | - | (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
| 0 | 0 | - | 0 | - | (/.f64 eh ew) |
| 0 | 0 | - | 0 | - | (*.f64 ew (sin.f64 t)) |
| 0 | 0 | - | 0 | - | (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) |
| 0 | 0 | - | 0 | - | (*.f64 eh (cos.f64 t)) |
| 0 | 0 | - | 0 | - | (sin.f64 t) |
| 0 | 0 | - | 0 | - | (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))) |
| 0 | 0 | - | 0 | - | (cos.f64 t) |
| 0 | 3 | (4.300196550701204e-69 -2.8267347580149435e-22 1.1141588002531001e+153) | 0 | - | (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) |
| 0 | 0 | - | 0 | - | ew |
| 0 | 0 | - | 0 | - | (tan.f64 t) |
| 0 | 0 | - | 0 | - | (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) |
| 0 | 0 | - | 0 | - | eh |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) | sensitivity | 57 | 0 |
*.f64 | (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) | n*u | 27 | 0 |
sin.f64 | (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) | cancelation | 3 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 0 |
| - | 87 | 169 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 87 | 0 | 169 |
| number | freq |
|---|---|
| 0 | 169 |
| 1 | 87 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 1 | 0 | 0 |
| 2.2s | 948× | 2 | valid |
| 522.0ms | 876× | 1 | valid |
| 206.0ms | 1 248× | 0 | valid |
Compiled 5 040 to 840 computations (83.3% saved)
ival-sin: 1.9s (68.6% of total)ival-cos: 350.0ms (12.7% of total)adjust: 140.0ms (5.1% of total)ival-mult: 118.0ms (4.3% of total)ival-tan: 94.0ms (3.4% of total)ival-div: 61.0ms (2.2% of total)ival-atan: 46.0ms (1.7% of total)ival-fabs: 26.0ms (0.9% of total)ival-add: 24.0ms (0.9% of total)ival-true: 3.0ms (0.1% of total)ival-assert: 1.0ms (0% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 87 | 273 |
| 1 | 179 | 273 |
| 2 | 339 | 267 |
| 3 | 516 | 267 |
| 4 | 607 | 267 |
| 5 | 697 | 267 |
| 6 | 1008 | 267 |
| 7 | 1301 | 267 |
| 8 | 2044 | 267 |
| 9 | 3863 | 267 |
| 10 | 5432 | 267 |
| 11 | 5992 | 267 |
| 12 | 6307 | 267 |
| 13 | 6480 | 267 |
| 14 | 6531 | 267 |
| 15 | 7072 | 267 |
| 16 | 7431 | 267 |
| 17 | 7503 | 267 |
| 18 | 7524 | 267 |
| 19 | 7545 | 267 |
| 20 | 7560 | 267 |
| 21 | 7566 | 267 |
| 22 | 7566 | 267 |
| 23 | 7658 | 267 |
| 0 | 17 | 28 |
| 0 | 31 | 28 |
| 1 | 42 | 28 |
| 2 | 59 | 28 |
| 3 | 63 | 28 |
| 0 | 63 | 27 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
| Outputs |
|---|
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (cos.f64 t) eh) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (sin.f64 t) ew)))) |
Compiled 28 to 17 computations (39.3% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.9% | (fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
Compiled 56 to 34 computations (39.3% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 28 |
| 1 | 22 | 28 |
| 1× | saturated |
| Inputs |
|---|
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
| Outputs |
|---|
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))) |
(fabs.f64 (+.f64 (*.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (cos.f64 t) eh)) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (sin.f64 t) ew)))) |
| 1× | fuel |
Compiled 28 to 17 computations (39.3% saved)
Compiled 112 to 68 computations (39.3% saved)
Loading profile data...