Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, G
Time bar (total: 2.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 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 6 |
| 6.7% | 6.2% | 87.4% | 0.1% | 0% | 6.2% | 0% | 7 |
| 6.7% | 6.2% | 87.4% | 0.1% | 0% | 6.2% | 0% | 8 |
| 20.7% | 18.7% | 71.8% | 0.1% | 0% | 9.4% | 0% | 9 |
| 34.5% | 29.6% | 56.2% | 0.1% | 0% | 14% | 0% | 10 |
| 34.5% | 29.6% | 56.2% | 0.1% | 0% | 14% | 0% | 11 |
| 50.5% | 42.1% | 41.3% | 0.1% | 0% | 16.4% | 0% | 12 |
Compiled 15 to 12 computations (20% saved)
| 937.0ms | 2 327× | 1 | valid |
| 824.0ms | 5 929× | 0 | valid |
| 72.0ms | 963× | 0 | invalid |
| 3.0ms | 28× | 1 | exit |
ival-log: 589.0ms (40.8% of total)ival-add: 365.0ms (25.3% of total)ival-div: 250.0ms (17.3% of total)ival-exp: 118.0ms (8.2% of total)ival-mult: 75.0ms (5.2% of total)adjust: 36.0ms (2.5% of total)ival-true: 7.0ms (0.5% of total)ival-assert: 4.0ms (0.3% of total)| 2× | egg-herbie |
| 1 768× | div-sub |
| 886× | sub-neg |
| 620× | distribute-rgt-in |
| 612× | distribute-lft-in |
| 598× | associate-*r/ |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 52 | 143 |
| 1 | 108 | 115 |
| 2 | 226 | 113 |
| 3 | 485 | 113 |
| 4 | 1092 | 113 |
| 5 | 2281 | 111 |
| 6 | 3261 | 111 |
| 7 | 4509 | 111 |
| 8 | 5349 | 111 |
| 9 | 6067 | 111 |
| 10 | 6459 | 111 |
| 11 | 6686 | 111 |
| 12 | 6974 | 111 |
| 13 | 7269 | 111 |
| 14 | 7517 | 111 |
| 15 | 7842 | 111 |
| 16 | 7942 | 111 |
| 17 | 7944 | 111 |
| 18 | 7944 | 111 |
| 19 | 7944 | 111 |
| 0 | 10 | 13 |
| 1 | 15 | 11 |
| 2 | 18 | 11 |
| 3 | 18 | 11 |
| 0 | 18 | 11 |
| 1× | iter limit |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
(+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
| Outputs |
|---|
(+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)) |
| Inputs |
|---|
(+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
(+ (neg x) (/ (exp (* y (log (/ y (+ z y))))) y)) |
(+ x (/ (exp (* (neg y) (log (/ (neg y) (+ z (neg y)))))) (neg y))) |
(+ x (/ (exp (* y (log (/ y (+ (neg z) y))))) y)) |
(neg (+ (neg x) (/ (exp (* y (log (/ y (+ z y))))) y))) |
(neg (+ x (/ (exp (* (neg y) (log (/ (neg y) (+ z (neg y)))))) (neg y)))) |
(neg (+ x (/ (exp (* y (log (/ y (+ (neg z) y))))) y))) |
(+ y (/ (exp (* x (log (/ x (+ z x))))) x)) |
(+ z (/ (exp (* y (log (/ y (+ x y))))) y)) |
(+ x (/ (exp (* z (log (/ z (+ y z))))) z)) |
| Outputs |
|---|
(+ x (/ (exp (* y (log (/ y (+ z y))))) y)) |
(+ x (/ (pow (/ y (+ y z)) y) y)) |
(+ (neg x) (/ (exp (* y (log (/ y (+ z y))))) y)) |
(- (/ (pow (/ y (+ y z)) y) y) x) |
(+ x (/ (exp (* (neg y) (log (/ (neg y) (+ z (neg y)))))) (neg y))) |
(- x (/ (pow (/ (- y z) y) y) y)) |
(+ x (/ (exp (* y (log (/ y (+ (neg z) y))))) y)) |
(+ x (/ (pow (/ y (- y z)) y) y)) |
(neg (+ (neg x) (/ (exp (* y (log (/ y (+ z y))))) y))) |
(- x (/ (pow (/ y (+ y z)) y) y)) |
(neg (+ x (/ (exp (* (neg y) (log (/ (neg y) (+ z (neg y)))))) (neg y)))) |
(- (/ (pow (/ (- y z) y) y) y) x) |
(neg (+ x (/ (exp (* y (log (/ y (+ (neg z) y))))) y))) |
(- (neg x) (/ (pow (/ y (- y z)) y) y)) |
(+ y (/ (exp (* x (log (/ x (+ z x))))) x)) |
(+ y (/ (pow (/ x (+ x z)) x) x)) |
(+ z (/ (exp (* y (log (/ y (+ x y))))) y)) |
(+ z (/ (pow (/ y (+ x y)) y) y)) |
(+ x (/ (exp (* z (log (/ z (+ y z))))) z)) |
(+ x (/ (pow (/ z (+ y z)) z) z)) |
Compiled 60 to 12 computations (80% saved)
Loading profile data...