logq (problem 3.4.3)
Time bar (total: 2.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 50% | 50% | 0% | 0% | 0% | 0 |
| 100% | 50% | 0% | 50% | 0% | 0% | 0% | 1 |
Compiled 13 to 10 computations (23.1% saved)
| 1.6s | 4105× | body | 1024 | valid |
| 503.0ms | 2072× | body | 512 | valid |
| 236.0ms | 427× | body | 2048 | valid |
| 198.0ms | 1652× | body | 256 | valid |
| 1× | egg-herbie |
| 742× | fma-def |
| 467× | associate-+r+ |
| 435× | +-commutative |
| 390× | distribute-lft-in |
| 364× | associate-+l+ |
| 254× | (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
| 2× | No Errors |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 120 |
| 1 | 44 | 100 |
| 2 | 81 | 100 |
| 3 | 167 | 100 |
| 4 | 424 | 100 |
| 5 | 1028 | 100 |
| 6 | 1963 | 100 |
| 7 | 3161 | 100 |
| 8 | 5009 | 100 |
| 9 | 5854 | 100 |
| 10 | 6299 | 100 |
| 11 | 6494 | 100 |
| 12 | 6614 | 100 |
| 13 | 7093 | 100 |
| 14 | 7904 | 100 |
| 1× | node limit |
| Inputs |
|---|
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps)))) |
(neg.f64 (log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps))))) |
| Outputs |
|---|
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) |
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) |
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps)))) |
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (-.f64 1 eps))) |
(-.f64 (log1p.f64 eps) (log1p.f64 (neg.f64 eps))) |
(neg.f64 (log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps))))) |
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) |
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) |
(negabs eps)
Compiled 25 to 18 computations (28% saved)
Loading profile data...