Numeric.SpecFunctions:invErfc from math-functions-0.1.5.2, A
Time bar (total: 1.2s)
| 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 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 4 |
| 31.3% | 31.2% | 68.6% | 0.1% | 0% | 0% | 0% | 5 |
| 43.8% | 43.7% | 56.2% | 0.1% | 0% | 0% | 0% | 6 |
| 53.1% | 53% | 46.8% | 0.1% | 0% | 0% | 0% | 7 |
| 59.4% | 59.3% | 40.6% | 0.1% | 0% | 0% | 0% | 8 |
| 68% | 67.9% | 32% | 0.1% | 0% | 0% | 0% | 9 |
| 73.6% | 73.5% | 26.3% | 0.1% | 0% | 0% | 0% | 10 |
| 78.2% | 78.1% | 21.7% | 0.1% | 0% | 0% | 0% | 11 |
| 83.3% | 83.1% | 16.7% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 14 to 12 computations (14.3% saved)
| 17.0ms | 260× | 0 | valid |
ival-mult: 3.0ms (24.9% of total)const: 3.0ms (24.9% of total)ival-div: 2.0ms (16.6% of total)ival-exp: 2.0ms (16.6% of total)ival-add: 1.0ms (8.3% of total)ival-sub: 1.0ms (8.3% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 38 | 0 | - | 2 | (-1.036996022252682e-232 -3.351053616963215e-85 -9.023384198093232e+277) | (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))) |
| 0 | 0 | - | 0 | - | #s(literal 5641895835477563/5000000000000000 binary64) |
| 0 | 0 | - | 0 | - | (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) |
| 0 | 0 | - | 0 | - | (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)) |
| 0 | 0 | - | 0 | - | z |
| 0 | 0 | - | 0 | - | (*.f64 x y) |
| 0 | 0 | - | 0 | - | (+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
| 0 | 0 | - | 0 | - | y |
| 0 | 0 | - | 0 | - | x |
| 0 | 0 | - | 0 | - | (exp.f64 z) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
/.f64 | (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y))) | n/u | 10 | 0 |
| ↳ | (exp.f64 z) | underflow | 63 | |
| ↳ | (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) | underflow | 63 | |
| ↳ | (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)) | underflow | 10 | |
| ↳ | (*.f64 x y) | underflow | 30 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 10 | 2 |
| - | 0 | 244 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 10 | 0 | 2 |
| - | 0 | 0 | 244 |
| number | freq |
|---|---|
| 0 | 246 |
| 1 | 10 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 237.0ms | 3 072× | 0 | valid |
Compiled 1 716 to 504 computations (70.6% saved)
const: 42.0ms (28.8% of total)ival-mult: 34.0ms (23.3% of total)ival-exp: 22.0ms (15.1% of total)ival-div: 18.0ms (12.3% of total)ival-add: 13.0ms (8.9% of total)ival-sub: 12.0ms (8.2% of total)ival-true: 2.0ms (1.4% of total)adjust: 1.0ms (0.7% of total)ival-assert: 1.0ms (0.7% of total)| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 115 |
| 1 | 107 | 109 |
| 2 | 203 | 109 |
| 3 | 452 | 108 |
| 4 | 842 | 108 |
| 5 | 1460 | 108 |
| 6 | 1986 | 108 |
| 7 | 2307 | 108 |
| 8 | 2374 | 108 |
| 9 | 2397 | 108 |
| 10 | 2403 | 108 |
| 11 | 2403 | 108 |
| 0 | 10 | 12 |
| 0 | 16 | 12 |
| 1 | 24 | 12 |
| 2 | 36 | 12 |
| 3 | 48 | 12 |
| 4 | 71 | 12 |
| 5 | 101 | 12 |
| 6 | 160 | 12 |
| 7 | 228 | 12 |
| 8 | 321 | 12 |
| 9 | 429 | 12 |
| 10 | 592 | 12 |
| 11 | 605 | 12 |
| 12 | 620 | 12 |
| 13 | 667 | 12 |
| 0 | 667 | 11 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
| Outputs |
|---|
(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
(-.f64 x (/.f64 y (fma.f64 #s(literal -5641895835477563/5000000000000000 binary64) (exp.f64 z) (*.f64 y x)))) |
Compiled 12 to 10 computations (16.7% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 95.9% | (+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
Compiled 24 to 20 computations (16.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 12 |
| 1 | 18 | 12 |
| 2 | 30 | 12 |
| 3 | 36 | 12 |
| 4 | 40 | 12 |
| 5 | 41 | 12 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
| Outputs |
|---|
(+.f64 x (/.f64 y (-.f64 (*.f64 #s(literal 5641895835477563/5000000000000000 binary64) (exp.f64 z)) (*.f64 x y)))) |
(+.f64 (/.f64 y (-.f64 (*.f64 (exp.f64 z) #s(literal 5641895835477563/5000000000000000 binary64)) (*.f64 y x))) x) |
| 1× | fuel |
Compiled 12 to 10 computations (16.7% saved)
Compiled 72 to 62 computations (13.9% saved)
Loading profile data...