Hyperbolic tangent
Time bar (total: 3.6s)
| 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 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 2 |
Compiled 15 to 9 computations (40% saved)
| 1.2s | 2 729× | 2 | valid |
| 863.0ms | 4 641× | 1 | valid |
| 517.0ms | 8 037× | 0 | exit |
| 219.0ms | 433× | 3 | valid |
| 38.0ms | 453× | 0 | valid |
ival-exp: 1.5s (67.6% of total)ival-div: 198.0ms (8.8% of total)ival-add: 151.0ms (6.7% of total)ival-sub: 138.0ms (6.1% of total)adjust: 127.0ms (5.6% of total)ival-neg: 101.0ms (4.5% of total)ival-true: 12.0ms (0.5% of total)ival-assert: 6.0ms (0.3% of total)| 2× | egg-herbie |
| 528× | accelerator-lowering-fma.f32 |
| 528× | accelerator-lowering-fma.f64 |
| 374× | div-sub |
| 336× | *-lowering-*.f32 |
| 336× | *-lowering-*.f64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 39 |
| 1 | 46 | 39 |
| 2 | 100 | 39 |
| 3 | 220 | 39 |
| 4 | 502 | 39 |
| 5 | 1164 | 39 |
| 6 | 1617 | 39 |
| 7 | 1655 | 39 |
| 8 | 1674 | 39 |
| 9 | 1693 | 39 |
| 10 | 1727 | 39 |
| 11 | 1739 | 39 |
| 0 | 7 | 13 |
| 1 | 19 | 13 |
| 2 | 36 | 13 |
| 3 | 61 | 13 |
| 4 | 116 | 13 |
| 5 | 271 | 13 |
| 6 | 457 | 13 |
| 7 | 678 | 13 |
| 8 | 898 | 13 |
| 9 | 1052 | 13 |
| 10 | 1180 | 13 |
| 11 | 1222 | 13 |
| 0 | 1222 | 13 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) |
| Outputs |
|---|
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) |
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (fma.f64 x #s(literal -2 binary64) #s(literal 0 binary64))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (exp.f64 (+.f64 x x))))) |
| Inputs |
|---|
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) |
(/ (- (exp (neg x)) (exp (neg (neg x)))) (+ (exp (neg x)) (exp (neg (neg x))))) |
(neg (/ (- (exp (neg x)) (exp (neg (neg x)))) (+ (exp (neg x)) (exp (neg (neg x)))))) |
| Outputs |
|---|
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) |
(/ (- (exp (neg x)) (exp (neg (neg x)))) (+ (exp (neg x)) (exp (neg (neg x))))) |
(/ (- (exp (neg x)) (exp x)) (+ (exp x) (exp (neg x)))) |
(neg (/ (- (exp (neg x)) (exp (neg (neg x)))) (+ (exp (neg x)) (exp (neg (neg x)))))) |
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) |
(negabs x)
Compiled 35 to 9 computations (74.3% saved)
Loading profile data...