Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, A
Time bar (total: 1.0s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 11 to 10 computations (9.1% saved)
| 694.0ms | 8 256× | 0 | valid |
const: 224.0ms (47.8% of total)ival-mult: 103.0ms (22% of total)ival-sub: 82.0ms (17.5% of total)ival-add: 45.0ms (9.6% of total)ival-true: 6.0ms (1.3% of total)exact: 5.0ms (1.1% of total)ival-assert: 3.0ms (0.6% of total)| 2× | egg-herbie |
| 584× | accelerator-lowering-fma.f32 |
| 584× | accelerator-lowering-fma.f64 |
| 248× | *-lowering-*.f32 |
| 248× | *-lowering-*.f64 |
| 148× | sub-neg |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 30 |
| 1 | 52 | 27 |
| 2 | 163 | 27 |
| 3 | 457 | 27 |
| 4 | 856 | 27 |
| 5 | 1033 | 27 |
| 6 | 1089 | 27 |
| 7 | 1104 | 27 |
| 0 | 8 | 9 |
| 1 | 24 | 9 |
| 2 | 62 | 9 |
| 3 | 127 | 9 |
| 4 | 220 | 9 |
| 5 | 340 | 9 |
| 6 | 477 | 9 |
| 7 | 637 | 9 |
| 8 | 659 | 9 |
| 0 | 659 | 7 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(- 1 (* x (+ 253/1000 (* x 3/25)))) |
| Outputs |
|---|
(- 1 (* x (+ 253/1000 (* x 3/25)))) |
(fma.f64 x (fma.f64 x #s(literal -3/25 binary64) #s(literal -253/1000 binary64)) #s(literal 1 binary64)) |
| Inputs |
|---|
(- 1 (* x (+ 253/1000 (* x 3/25)))) |
(- 1 (* (neg x) (+ 253/1000 (* (neg x) 3/25)))) |
(neg (- 1 (* (neg x) (+ 253/1000 (* (neg x) 3/25))))) |
| Outputs |
|---|
(- 1 (* x (+ 253/1000 (* x 3/25)))) |
(+ 1 (* x (+ (* x -3/25) -253/1000))) |
(- 1 (* (neg x) (+ 253/1000 (* (neg x) 3/25)))) |
(+ 1 (* x (+ 253/1000 (* x -3/25)))) |
(neg (- 1 (* (neg x) (+ 253/1000 (* (neg x) 3/25))))) |
(+ (* x (+ (* x 3/25) -253/1000)) -1) |
| 9.0ms | 84× | 0 | valid |
Compiled 30 to 10 computations (66.7% saved)
const: 5.0ms (72.4% of total)ival-mult: 1.0ms (14.5% of total)ival-sub: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)ival-add: 0.0ms (0% of total)exact: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...