expq2 (section 3.11)
Time bar (total: 15.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 75.2% | 24.8% | 0% | 0% | 0% | 0 |
| 0% | 0% | 75.2% | 24.8% | 0% | 0% | 0% | 1 |
| 0% | 0% | 75.2% | 24.8% | 0% | 0% | 0% | 2 |
| 25% | 18.8% | 56.4% | 24.8% | 0% | 0% | 0% | 3 |
| 25% | 18.8% | 56.4% | 24.8% | 0% | 0% | 0% | 4 |
| 31.3% | 23.5% | 51.7% | 24.8% | 0% | 0% | 0% | 5 |
| 34.4% | 25.8% | 49.3% | 24.8% | 0% | 0% | 0% | 6 |
| 37.5% | 28.2% | 47% | 24.8% | 0% | 0% | 0% | 7 |
| 38.3% | 28.8% | 46.4% | 24.8% | 0% | 0% | 0% | 8 |
| 38.7% | 29.1% | 46.1% | 24.8% | 0% | 0% | 0% | 9 |
| 38.9% | 29.2% | 46% | 24.8% | 0% | 0% | 0% | 10 |
| 38.9% | 29.2% | 46% | 24.8% | 0% | 0% | 0% | 11 |
| 38.9% | 29.2% | 46% | 24.8% | 0% | 0% | 0% | 12 |
Compiled 11 to 7 computations (36.4% saved)
| 3.6s | 5289× | 1 | valid-rival |
| 382.0ms | 5281× | 1 | valid-sollya |
| 372.0ms | 2967× | 0 | valid-rival |
| 125.0ms | 2929× | 0 | valid-sollya |
| 190.0ms | 38× | 0 | exit-sollya |
| 40.0ms | 8× | 1 | exit-sollya |
| 1× | egg-herbie |
| 1206× | fma-neg |
| 747× | div-sub |
| 528× | fma-define |
| 226× | distribute-lft-neg-in |
| 218× | associate-+r- |
Useful iterations: 7 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 104 |
| 1 | 35 | 102 |
| 2 | 56 | 102 |
| 3 | 94 | 102 |
| 4 | 153 | 76 |
| 5 | 292 | 68 |
| 6 | 469 | 68 |
| 7 | 837 | 64 |
| 8 | 2147 | 64 |
| 9 | 3590 | 64 |
| 10 | 4606 | 64 |
| 11 | 5606 | 64 |
| 12 | 6702 | 64 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
(/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64))) |
(neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)))) |
| Outputs |
|---|
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
(/.f64 (exp.f64 x) (expm1.f64 x)) |
(/.f64 #s(literal -1 binary64) (expm1.f64 (neg.f64 x))) |
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
(/.f64 (exp.f64 x) (expm1.f64 x)) |
(/.f64 #s(literal -1 binary64) (expm1.f64 (neg.f64 x))) |
(/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64))) |
(/.f64 (exp.f64 (neg.f64 x)) (expm1.f64 (neg.f64 x))) |
(/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (exp.f64 x))) |
(/.f64 #s(literal 1 binary64) (neg.f64 (expm1.f64 x))) |
(/.f64 #s(literal -1 binary64) (expm1.f64 x)) |
(neg.f64 (/.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 (neg.f64 x)) #s(literal 1 binary64)))) |
(/.f64 (exp.f64 (neg.f64 x)) (neg.f64 (expm1.f64 (neg.f64 x)))) |
(/.f64 (/.f64 #s(literal -1 binary64) (exp.f64 x)) (expm1.f64 (neg.f64 x))) |
(/.f64 #s(literal -1 binary64) (*.f64 (exp.f64 x) (expm1.f64 (neg.f64 x)))) |
(/.f64 #s(literal 1 binary64) (expm1.f64 x)) |
Compiled 8 to 5 computations (37.5% saved)
Compiled 1 to 1 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 39.6% | (/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
Compiled 16 to 10 computations (37.5% saved)
| 1× | egg-herbie |
| 3× | 1-exp |
| 2× | unsub-neg |
| 2× | sub-neg |
| 2× | neg-mul-1 |
| 2× | +-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 27 |
| 1 | 17 | 27 |
| 2 | 21 | 27 |
| 3 | 24 | 27 |
| 4 | 27 | 27 |
| 5 | 30 | 27 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
| Outputs |
|---|
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) #s(literal 1 binary64))) |
(/.f64 (exp.f64 x) (+.f64 (exp.f64 x) #s(literal -1 binary64))) |
| 1× | fuel |
Compiled 8 to 5 computations (37.5% saved)
Compiled 46 to 32 computations (30.4% saved)
Loading profile data...