Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, A
Time bar (total: 1.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 2 |
| 0% | 0% | 49.9% | 0.2% | 0% | 49.9% | 0% | 3 |
| 0% | 0% | 49.9% | 0.2% | 0% | 49.9% | 0% | 4 |
| 100% | 25% | 0% | 0.2% | 0% | 74.9% | 0% | 5 |
Compiled 13 to 12 computations (7.7% saved)
| 16.0ms | 260× | 0 | valid |
ival-log: 5.0ms (51.1% of total)ival-sub: 2.0ms (20.4% of total)ival-mult: 2.0ms (20.4% of total)ival-add: 1.0ms (10.2% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 0 | 0 | - | 0 | - | (*.f64 x (log.f64 y)) |
| 0 | 0 | - | 0 | - | (log.f64 t) |
| 0 | 0 | - | 0 | - | (log.f64 y) |
| 0 | 0 | - | 0 | - | t |
| 0 | 8 | (-1.8396898586956554e-166 5.846810373285714e-186 -6.81223584574771e-155 1.3727872614993981e-201) | 0 | - | (-.f64 (*.f64 x (log.f64 y)) y) |
| 0 | 0 | - | 0 | - | z |
| 0 | 0 | - | 0 | - | y |
| 0 | 35 | (-2.604579209316619e-178 1.7235193997713233e-63 1.4331518203800646e+71 1.324109643811136e+269) | 0 | - | (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
| 0 | 19 | (-1.5007067800687781e-149 3.49075469186203e+89 -5.536462476678063e-24 2.341588669726051e-229) | 0 | - | (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
+.f64 | (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) | cancellation | 35 | 0 |
-.f64 | (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) | cancellation | 16 | 0 |
-.f64 | (-.f64 (*.f64 x (log.f64 y)) y) | cancellation | 4 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 0 | 0 |
| - | 55 | 201 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 55 | 0 | 201 |
| number | freq |
|---|---|
| 0 | 201 |
| 1 | 55 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 0 | 0 | 0 |
| - | 1 | 0 | 0 |
| 209.0ms | 3 072× | 0 | valid |
Compiled 1 488 to 504 computations (66.1% saved)
ival-log: 56.0ms (48.3% of total)ival-sub: 25.0ms (21.6% of total)ival-mult: 20.0ms (17.3% of total)ival-add: 12.0ms (10.4% of total)ival-true: 2.0ms (1.7% of total)adjust: 1.0ms (0.9% of total)ival-assert: 1.0ms (0.9% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 54 | 168 |
| 1 | 157 | 164 |
| 2 | 541 | 158 |
| 3 | 1839 | 158 |
| 4 | 4424 | 158 |
| 5 | 5781 | 158 |
| 6 | 6606 | 158 |
| 7 | 7141 | 158 |
| 8 | 7404 | 158 |
| 9 | 7526 | 158 |
| 10 | 7691 | 158 |
| 11 | 7903 | 158 |
| 12 | 7909 | 158 |
| 13 | 7919 | 158 |
| 14 | 7919 | 158 |
| 15 | 7980 | 158 |
| 16 | 8000 | 158 |
| 0 | 10 | 11 |
| 0 | 16 | 11 |
| 1 | 26 | 11 |
| 2 | 60 | 11 |
| 3 | 148 | 11 |
| 4 | 363 | 11 |
| 5 | 774 | 11 |
| 6 | 1027 | 11 |
| 7 | 1249 | 11 |
| 8 | 1291 | 11 |
| 9 | 1295 | 11 |
| 0 | 1295 | 10 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | node limit |
| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
| Outputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
(fma.f64 (log.f64 y) x (-.f64 (-.f64 (log.f64 t) z) y)) |
Compiled 11 to 10 computations (9.1% saved)
Compiled 0 to 4 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 99.9% | (+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
Compiled 22 to 20 computations (9.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 16 | 11 |
| 2 | 24 | 11 |
| 3 | 28 | 11 |
| 4 | 30 | 11 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
| Outputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x (log.f64 y)) y) z) (log.f64 t)) |
(+.f64 (log.f64 t) (-.f64 (-.f64 (*.f64 (log.f64 y) x) y) z)) |
| 1× | fuel |
Compiled 11 to 10 computations (9.1% saved)
Compiled 44 to 40 computations (9.1% saved)
Loading profile data...