Hyperbolic arcsine
Time bar (total: 2.7s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 1 |
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 2 |
| 25% | 25% | 75% | 0% | 0% | 0% | 0% | 3 |
| 50% | 50% | 50% | 0% | 0% | 0% | 0% | 4 |
| 62.5% | 62.5% | 37.5% | 0% | 0% | 0% | 0% | 5 |
| 68.8% | 68.7% | 31.2% | 0% | 0% | 0% | 0% | 6 |
| 71.9% | 71.8% | 28.1% | 0% | 0% | 0% | 0% | 7 |
| 73.4% | 73.4% | 26.5% | 0% | 0% | 0% | 0% | 8 |
| 74.2% | 74.2% | 25.8% | 0% | 0% | 0% | 0% | 9 |
| 74.6% | 74.6% | 25.4% | 0% | 0% | 0% | 0% | 10 |
| 74.8% | 74.8% | 25.2% | 0% | 0% | 0% | 0% | 11 |
| 74.9% | 74.9% | 25.1% | 0% | 0% | 0% | 0% | 12 |
Compiled 11 to 8 computations (27.3% saved)
| 1.1s | 2588× | body | 1024 | valid |
| 512.0ms | 1272× | body | 2048 | valid |
| 361.0ms | 3099× | body | 256 | valid |
| 290.0ms | 1240× | body | 512 | valid |
| 30.0ms | 57× | body | 4096 | valid |
| 1× | egg-herbie |
| 688× | associate-+r- |
| 596× | fma-def |
| 468× | associate-+l- |
| 453× | associate-+r+ |
| 399× | associate--l+ |
| 128× | (log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))) |
| 56× | (sqrt.f64 (+.f64 (*.f64 x x) 1)) |
| 38× | No Errors |
| 34× | (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))) |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 140 |
| 1 | 42 | 96 |
| 2 | 66 | 96 |
| 3 | 128 | 96 |
| 4 | 242 | 96 |
| 5 | 351 | 96 |
| 6 | 414 | 96 |
| 7 | 504 | 96 |
| 8 | 681 | 96 |
| 9 | 1049 | 96 |
| 10 | 2456 | 96 |
| 11 | 3813 | 96 |
| 12 | 4433 | 96 |
| 13 | 4609 | 96 |
| 14 | 4654 | 96 |
| 15 | 4674 | 96 |
| 16 | 4674 | 96 |
| 17 | 4705 | 96 |
| 18 | 4705 | 96 |
| 19 | 7295 | 96 |
| 20 | 7484 | 96 |
| 1× | node limit |
| Inputs |
|---|
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))) |
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))) |
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))) |
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))) |
| Outputs |
|---|
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))) |
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1)))) |
(log.f64 (+.f64 x (hypot.f64 1 x))) |
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))) |
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1)))) |
(log.f64 (+.f64 x (hypot.f64 1 x))) |
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))) |
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x 1)))) |
(log.f64 (-.f64 (hypot.f64 1 x) x)) |
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))) |
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x 1))))) |
(neg.f64 (log.f64 (-.f64 (hypot.f64 1 x) x))) |
Compiled 35 to 18 computations (48.6% saved)
Loading profile data...