Rosa's TurbineBenchmark
Time bar (total: 864.0ms)
| 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 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 4 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 5 |
| 37.5% | 37.4% | 62.4% | 0.1% | 0% | 0% | 0% | 6 |
| 56.3% | 56.2% | 43.7% | 0.1% | 0% | 0% | 0% | 7 |
| 65.6% | 65.5% | 34.3% | 0.1% | 0% | 0% | 0% | 8 |
| 65.6% | 65.5% | 34.3% | 0.1% | 0% | 0% | 0% | 9 |
| 76.6% | 76.5% | 23.4% | 0.1% | 0% | 0% | 0% | 10 |
| 82% | 81.9% | 17.9% | 0.1% | 0% | 0% | 0% | 11 |
| 82% | 81.9% | 17.9% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 31 to 24 computations (22.6% saved)
| 24.0ms | 260× | 0 | valid |
ival-mult: 9.0ms (50.9% of total)ival-sub: 4.0ms (22.6% of total)ival-div: 3.0ms (17% of total)ival-add: 1.0ms (5.7% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Predicted + | Predicted - | |
|---|---|---|
| + | 22 | 19 |
| - | 86 | 129 |
| 292.0ms | 3 072× | 0 | valid |
Compiled 1 068 to 816 computations (23.6% saved)
ival-mult: 110.0ms (52.2% of total)ival-sub: 46.0ms (21.8% of total)ival-div: 33.0ms (15.7% of total)ival-add: 13.0ms (6.2% of total)exact: 5.0ms (2.4% of total)ival-true: 2.0ms (0.9% of total)adjust: 1.0ms (0.5% of total)ival-assert: 1.0ms (0.5% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 79 | 268 |
| 1 | 270 | 264 |
| 2 | 1038 | 246 |
| 3 | 3557 | 243 |
| 4 | 7112 | 243 |
| 0 | 22 | 29 |
| 0 | 36 | 29 |
| 1 | 72 | 29 |
| 2 | 184 | 25 |
| 3 | 713 | 25 |
| 4 | 3939 | 25 |
| 5 | 7914 | 25 |
| 0 | 8146 | 23 |
| 1× | iter limit |
| 1× | node limit |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
(fma.f64 (*.f64 (*.f64 (/.f64 r (-.f64 v #s(literal 1 binary64))) r) w) (*.f64 w (fma.f64 #s(literal -1/4 binary64) v #s(literal 3/8 binary64))) (-.f64 (/.f64 #s(literal 2 binary64) (*.f64 r r)) #s(literal 3/2 binary64))) |
(abs r)
(abs w)
Compiled 29 to 22 computations (24.1% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 84.4% | (-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
Compiled 58 to 44 computations (24.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 29 |
| 1 | 42 | 29 |
| 2 | 65 | 29 |
| 3 | 89 | 29 |
| 4 | 129 | 29 |
| 5 | 182 | 29 |
| 6 | 295 | 29 |
| 7 | 432 | 29 |
| 8 | 518 | 29 |
| 9 | 543 | 29 |
| 10 | 551 | 29 |
| 11 | 552 | 29 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 #s(literal 3 binary64) (/.f64 #s(literal 2 binary64) (*.f64 r r))) (/.f64 (*.f64 (*.f64 #s(literal 1/8 binary64) (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 2 binary64) v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
(-.f64 (-.f64 (+.f64 (/.f64 #s(literal 2 binary64) (*.f64 r r)) #s(literal 3 binary64)) (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 w w) r) r) (*.f64 (-.f64 #s(literal 3 binary64) (*.f64 v #s(literal 2 binary64))) #s(literal 1/8 binary64))) (-.f64 #s(literal 1 binary64) v))) #s(literal 9/2 binary64)) |
| 1× | fuel |
Compiled 29 to 22 computations (24.1% saved)
(abs w)
(abs r)
Compiled 348 to 264 computations (24.1% saved)
Loading profile data...