Complex division, real part
Time bar (total: 1.4s)
| 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% | 99.8% | 0.2% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 4 |
| 75% | 74.9% | 25% | 0.2% | 0% | 0% | 0% | 5 |
| 75% | 74.9% | 25% | 0.2% | 0% | 0% | 0% | 6 |
| 75% | 74.9% | 25% | 0.2% | 0% | 0% | 0% | 7 |
| 87.5% | 87.3% | 12.5% | 0.2% | 0% | 0% | 0% | 8 |
| 93.8% | 93.6% | 6.2% | 0.2% | 0% | 0% | 0% | 9 |
| 93.8% | 93.6% | 6.2% | 0.2% | 0% | 0% | 0% | 10 |
| 93.8% | 93.6% | 6.2% | 0.2% | 0% | 0% | 0% | 11 |
| 96.9% | 96.7% | 3.1% | 0.2% | 0% | 0% | 0% | 12 |
Compiled 17 to 13 computations (23.5% saved)
| 15.0ms | 260× | 0 | valid |
ival-mult: 6.0ms (61.7% of total)ival-add: 2.0ms (20.6% of total)ival-div: 1.0ms (10.3% 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 |
|---|---|---|---|---|---|
| 100 | 0 | - | 0 | - | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
| 3 | 3 | (1.5957489474391964e-190 -2.5304352569643623e+300 3.719724351994625e+280 1.3590989819541043e-233) | 0 | - | (+.f64 (*.f64 a c) (*.f64 b d)) |
| 0 | 0 | - | 0 | - | (+.f64 (*.f64 c c) (*.f64 d d)) |
| 0 | 0 | - | 0 | - | a |
| 0 | 0 | - | 0 | - | d |
| 0 | 0 | - | 0 | - | (*.f64 d d) |
| 0 | 0 | - | 0 | - | (*.f64 c c) |
| 0 | 0 | - | 0 | - | (*.f64 a c) |
| 0 | 0 | - | 0 | - | c |
| 0 | 0 | - | 0 | - | b |
| 0 | 0 | - | 0 | - | (*.f64 b d) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
/.f64 | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) | o/o | 51 | 0 |
| ↳ | (+.f64 (*.f64 a c) (*.f64 b d)) | overflow | 58 | |
| ↳ | (*.f64 a c) | overflow | 27 | |
| ↳ | (*.f64 b d) | overflow | 37 | |
| ↳ | (+.f64 (*.f64 c c) (*.f64 d d)) | overflow | 125 | |
| ↳ | (*.f64 c c) | overflow | 72 | |
| ↳ | (*.f64 d d) | overflow | 76 | |
/.f64 | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) | n/o | 34 | 0 |
| ↳ | (+.f64 (*.f64 c c) (*.f64 d d)) | overflow | 125 | |
| ↳ | (*.f64 c c) | overflow | 72 | |
| ↳ | (*.f64 d d) | overflow | 76 | |
/.f64 | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) | n/u | 7 | 0 |
| ↳ | (+.f64 (*.f64 c c) (*.f64 d d)) | underflow | 15 | |
| ↳ | (*.f64 c c) | underflow | 59 | |
| ↳ | (*.f64 d d) | underflow | 59 | |
/.f64 | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) | o/n | 7 | 0 |
| ↳ | (+.f64 (*.f64 a c) (*.f64 b d)) | overflow | 58 | |
| ↳ | (*.f64 a c) | overflow | 27 | |
| ↳ | (*.f64 b d) | overflow | 37 | |
+.f64 | (+.f64 (*.f64 a c) (*.f64 b d)) | cancellation | 3 | 0 |
+.f64 | (+.f64 (*.f64 a c) (*.f64 b d)) | nan-rescue | 3 | 0 |
| ↳ | (*.f64 a c) | overflow | 27 | |
| ↳ | (*.f64 b d) | overflow | 37 | |
/.f64 | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) | u/n | 1 | 0 |
| ↳ | (+.f64 (*.f64 a c) (*.f64 b d)) | underflow | 1 | |
| ↳ | (*.f64 a c) | underflow | 25 | |
| ↳ | (*.f64 b d) | underflow | 33 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 101 | 0 |
| - | 2 | 153 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 101 | 0 | 0 |
| - | 2 | 0 | 153 |
| number | freq |
|---|---|
| 0 | 153 |
| 1 | 100 |
| 2 | 3 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 203.0ms | 3 072× | 0 | valid |
Compiled 1 824 to 552 computations (69.7% saved)
ival-mult: 69.0ms (62.5% of total)ival-add: 22.0ms (19.9% of total)ival-div: 15.0ms (13.6% of total)ival-true: 2.0ms (1.8% 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 | 60 | 218 |
| 1 | 132 | 210 |
| 2 | 209 | 210 |
| 3 | 377 | 210 |
| 4 | 914 | 210 |
| 5 | 2299 | 210 |
| 6 | 3076 | 210 |
| 7 | 3886 | 210 |
| 8 | 4759 | 210 |
| 9 | 5156 | 210 |
| 10 | 5284 | 210 |
| 11 | 5444 | 210 |
| 12 | 5444 | 210 |
| 13 | 5480 | 210 |
| 14 | 5496 | 210 |
| 15 | 5496 | 210 |
| 16 | 5856 | 210 |
| 17 | 6830 | 210 |
| 18 | 6982 | 210 |
| 19 | 6994 | 210 |
| 20 | 6998 | 210 |
| 21 | 7006 | 210 |
| 22 | 7014 | 210 |
| 23 | 7014 | 210 |
| 24 | 7122 | 210 |
| 25 | 7170 | 210 |
| 26 | 7170 | 210 |
| 0 | 11 | 15 |
| 0 | 18 | 15 |
| 1 | 22 | 15 |
| 0 | 22 | 13 |
| 1× | iter limit |
| 1× | saturated |
| 1× | iter limit |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
| Outputs |
|---|
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
(/.f64 (fma.f64 d b (*.f64 c a)) (fma.f64 d d (*.f64 c c))) |
Compiled 15 to 11 computations (26.7% saved)
Compiled 0 to 4 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| 62.9% | (/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
Compiled 30 to 22 computations (26.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 15 |
| 1 | 15 | 15 |
| 1× | saturated |
| Inputs |
|---|
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
| Outputs |
|---|
(/.f64 (+.f64 (*.f64 a c) (*.f64 b d)) (+.f64 (*.f64 c c) (*.f64 d d))) |
(/.f64 (+.f64 (*.f64 d b) (*.f64 c a)) (+.f64 (*.f64 d d) (*.f64 c c))) |
| 1× | fuel |
Compiled 15 to 11 computations (26.7% saved)
Compiled 132 to 84 computations (36.4% saved)
Loading profile data...