Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, B
Time bar (total: 1.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 5 |
| 3.2% | 3.1% | 93.7% | 0.1% | 0% | 3.1% | 0% | 6 |
| 15.8% | 14% | 74.9% | 0.1% | 0% | 10.9% | 0% | 7 |
| 22.1% | 19.5% | 68.7% | 0.1% | 0% | 11.7% | 0% | 8 |
| 31.8% | 26.9% | 57.8% | 0.1% | 0% | 15.2% | 0% | 9 |
| 36.3% | 30.6% | 53.9% | 0.1% | 0% | 15.4% | 0% | 10 |
| 42% | 34.8% | 48% | 0.1% | 0% | 17.1% | 0% | 11 |
| 44.6% | 36.9% | 45.9% | 0.1% | 0% | 17.1% | 0% | 12 |
Compiled 14 to 11 computations (21.4% saved)
| 476.0ms | 5 962× | 0 | valid |
| 365.0ms | 2 293× | 1 | valid |
| 162.0ms | 1 162× | 1 | invalid |
| 110.0ms | 1 597× | 0 | invalid |
| 0.0ms | 1× | 2 | valid |
ival-sub: 345.0ms (46.8% of total)ival-log: 197.0ms (26.7% of total)ival-div: 116.0ms (15.7% of total)adjust: 61.0ms (8.3% of total)exact: 8.0ms (1.1% of total)ival-true: 8.0ms (1.1% of total)ival-assert: 4.0ms (0.5% of total)| 2× | egg-herbie |
| 540× | accelerator-lowering-fma.f32 |
| 540× | accelerator-lowering-fma.f64 |
| 402× | sub-neg |
| 364× | times-frac |
| 316× | div-sub |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 80 |
| 1 | 76 | 74 |
| 2 | 198 | 72 |
| 3 | 479 | 72 |
| 4 | 1050 | 72 |
| 5 | 2092 | 72 |
| 6 | 2638 | 72 |
| 7 | 2837 | 72 |
| 8 | 2875 | 72 |
| 9 | 2881 | 72 |
| 10 | 2881 | 72 |
| 0 | 9 | 12 |
| 1 | 21 | 12 |
| 2 | 40 | 12 |
| 3 | 91 | 12 |
| 4 | 216 | 12 |
| 5 | 446 | 12 |
| 6 | 789 | 12 |
| 7 | 974 | 12 |
| 8 | 1017 | 12 |
| 9 | 1046 | 12 |
| 0 | 1046 | 10 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(- 1 (log (- 1 (/ (- x y) (- 1 y))))) |
| Outputs |
|---|
(- 1 (log (- 1 (/ (- x y) (- 1 y))))) |
(-.f64 #s(literal 1 binary64) (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y #s(literal -1 binary64))))) |
| Inputs |
|---|
(- 1 (log (- 1 (/ (- x y) (- 1 y))))) |
(- 1 (log (- 1 (/ (- (neg x) y) (- 1 y))))) |
(- 1 (log (- 1 (/ (- x (neg y)) (- 1 (neg y)))))) |
(neg (- 1 (log (- 1 (/ (- (neg x) y) (- 1 y)))))) |
(neg (- 1 (log (- 1 (/ (- x (neg y)) (- 1 (neg y))))))) |
(- 1 (log (- 1 (/ (- y x) (- 1 x))))) |
| Outputs |
|---|
(- 1 (log (- 1 (/ (- x y) (- 1 y))))) |
(- 1 (log (+ 1 (/ (- x y) (+ y -1))))) |
(- 1 (log (- 1 (/ (- (neg x) y) (- 1 y))))) |
(- 1 (log (+ 1 (/ (+ x y) (- 1 y))))) |
(- 1 (log (- 1 (/ (- x (neg y)) (- 1 (neg y)))))) |
(- 1 (log (+ 1 (/ (+ x y) (- -1 y))))) |
(neg (- 1 (log (- 1 (/ (- (neg x) y) (- 1 y)))))) |
(+ (log (+ 1 (/ (+ x y) (- 1 y)))) -1) |
(neg (- 1 (log (- 1 (/ (- x (neg y)) (- 1 (neg y))))))) |
(+ (log (+ 1 (/ (+ x y) (- -1 y)))) -1) |
(- 1 (log (- 1 (/ (- y x) (- 1 x))))) |
(- 1 (log (+ 1 (/ (- x y) (- 1 x))))) |
| 0.0ms | 2× | 0 | valid |
Compiled 49 to 11 computations (77.6% saved)
ival-div: 0.0ms (0% of total)ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-log: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...