
Time bar (total: 4.0s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 25% | 75% | 0% | 0% | 0% | 0 |
| 100% | 25% | 0% | 75% | 0% | 0% | 0% | 1 |
Compiled 18 to 15 computations (16.7% saved)
| 860.0ms | 4 082× | 1168 | valid-baseline |
| 391.0ms | 2 311× | 584 | valid-baseline |
| 356.0ms | 4 082× | 1168 | valid-sollya |
| 325.0ms | 4 082× | 1168 | valid-rival |
| 185.0ms | 2 311× | 584 | valid-rival |
| 175.0ms | 2 311× | 584 | valid-sollya |
| 162.0ms | 1 162× | 292 | valid-baseline |
| 91.0ms | 1 162× | 292 | valid-rival |
| 59.0ms | 1 162× | 292 | valid-sollya |
| 50.0ms | 575× | 146 | valid-baseline |
| 43.0ms | 575× | 146 | valid-rival |
| 26.0ms | 575× | 146 | valid-sollya |
| 6.0ms | 125× | 73 | valid-baseline |
| 5.0ms | 125× | 73 | valid-sollya |
| 5.0ms | 125× | 73 | valid-rival |
| 0.0ms | 1× | 1168 | valid-rival+sollya-real |
ival-sqrt: 213.0ms (44.7% of total)ival-add: 91.0ms (19.1% of total)adjust: 86.0ms (18% of total)ival-sub: 71.0ms (14.9% of total)ival-true: 7.0ms (1.5% of total)...in/eval/compile.rkt:110:19: 6.0ms (1.3% of total)ival-assert: 3.0ms (0.6% of total)ival-sqrt: 453.0ms (54.9% of total)ival-add: 189.0ms (22.9% of total)ival-sub: 148.0ms (17.9% of total)const: 35.0ms (4.2% of total)| 1× | egg-herbie |
| 84× | fma-define |
| 66× | fmm-def |
| 32× | sub-neg |
| 21× | associate--r+ |
| 20× | neg-mul-1 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 128 |
| 1 | 33 | 120 |
| 2 | 61 | 116 |
| 3 | 107 | 116 |
| 4 | 173 | 116 |
| 5 | 266 | 116 |
| 6 | 344 | 116 |
| 7 | 402 | 116 |
| 8 | 454 | 116 |
| 9 | 489 | 116 |
| 10 | 515 | 116 |
| 11 | 517 | 116 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
(-.f64 (sqrt.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64))) (sqrt.f64 (neg.f64 x))) |
(neg.f64 (-.f64 (sqrt.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64))) (sqrt.f64 (neg.f64 x)))) |
| Outputs |
|---|
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
(-.f64 (sqrt.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64))) (sqrt.f64 (neg.f64 x))) |
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (neg.f64 x))) |
(-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) x)) (sqrt.f64 (neg.f64 x))) |
(neg.f64 (-.f64 (sqrt.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64))) (sqrt.f64 (neg.f64 x)))) |
(neg.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (neg.f64 x)))) |
(neg.f64 (-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) x)) (sqrt.f64 (neg.f64 x)))) |
(-.f64 (sqrt.f64 (neg.f64 x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x))) |
Compiled 8 to 6 computations (25% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 5.8% | (-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
Compiled 16 to 12 computations (25% saved)
| 1× | egg-herbie |
| 3× | 1-exp |
| 3× | +-commutative |
| 2× | sub-neg |
| 1× | *-commutative |
| 1× | neg-sub0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 27 |
| 1 | 19 | 27 |
| 2 | 23 | 27 |
| 3 | 25 | 27 |
| 4 | 26 | 27 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
| Outputs |
|---|
(-.f64 (sqrt.f64 (+.f64 x #s(literal 1 binary64))) (sqrt.f64 x)) |
| 1× | fuel |
Compiled 8 to 6 computations (25% saved)
Compiled 64 to 48 computations (25% saved)
Loading profile data...