Rust f32::acosh
Time bar (total: 1.2s)
| 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 6 to 4 computations (33.3% saved)
| 962.0ms | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 1152× | +-commutative |
| 1092× | *-commutative |
| 828× | distribute-lft-out-- |
| 792× | associate-+l- |
| 734× | associate-+r+ |
| 136× | (sqrt.f32 (-.f32 (*.f32 x x) 1)) |
| 117× | No Errors |
| 2× | (log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) 1)))) |
| 1× | (-.f32 (*.f32 x x) 1) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 68 |
| 1 | 34 | 68 |
| 2 | 42 | 68 |
| 3 | 60 | 68 |
| 4 | 95 | 68 |
| 5 | 215 | 68 |
| 6 | 544 | 68 |
| 7 | 1540 | 68 |
| 8 | 3622 | 68 |
| 9 | 4960 | 68 |
| 10 | 6310 | 68 |
| 11 | 6914 | 68 |
| 12 | 7122 | 68 |
| 13 | 7196 | 68 |
| 14 | 7295 | 68 |
| 1× | node limit |
| Inputs |
|---|
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) 1)))) |
(acosh.f32 x) |
(acosh.f32 (neg.f32 x)) |
(neg.f32 (acosh.f32 (neg.f32 x))) |
| Outputs |
|---|
(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) 1)))) |
(log.f32 (+.f32 x (sqrt.f32 (fma.f32 x x -1)))) |
(acosh.f32 x) |
(acosh.f32 (neg.f32 x)) |
(neg.f32 (acosh.f32 (neg.f32 x))) |
Compiled 35 to 18 computations (48.6% saved)
Loading profile data...