math.log/1 on complex, real part
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 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 18.8% | 18.7% | 81.2% | 0.1% | 0% | 0% | 0% | 5 |
| 34.4% | 34.3% | 65.6% | 0.1% | 0% | 0% | 0% | 6 |
| 54.7% | 54.6% | 45.3% | 0.1% | 0% | 0% | 0% | 7 |
| 64.8% | 64.8% | 35.1% | 0.1% | 0% | 0% | 0% | 8 |
| 76.2% | 76.1% | 23.8% | 0.1% | 0% | 0% | 0% | 9 |
| 81.8% | 81.8% | 18.1% | 0.1% | 0% | 0% | 0% | 10 |
| 87.8% | 87.7% | 12.2% | 0.1% | 0% | 0% | 0% | 11 |
| 90.8% | 90.7% | 9.2% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 12 to 8 computations (33.3% saved)
ival-mult: 11.0ms (35.3% of total)ival-log: 10.0ms (32.1% of total)ival-sqrt: 6.0ms (19.3% of total)ival-add: 4.0ms (12.8% of total)const: 0.0ms (0% of total)| 772.0ms | 8256× | 256 | valid |
ival-log: 142.0ms (35.6% of total)ival-mult: 127.0ms (31.8% of total)ival-sqrt: 71.0ms (17.8% of total)ival-add: 53.0ms (13.3% of total)const: 6.0ms (1.5% of total)| 1× | egg-herbie |
| 52× | fma-neg |
| 45× | fma-define |
| 15× | neg-sub0 |
| 14× | distribute-lft-neg-in |
| 14× | unsub-neg |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 127 |
| 1 | 55 | 127 |
| 2 | 102 | 127 |
| 3 | 187 | 127 |
| 4 | 284 | 127 |
| 5 | 323 | 127 |
| 6 | 333 | 127 |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) |
(neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))))) |
(neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) |
| Outputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (hypot.f64 re im)) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (hypot.f64 re im)) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))) |
(log.f64 (hypot.f64 re im)) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))) |
(log.f64 (hypot.f64 re im)) |
(neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))))) |
(neg.f64 (log.f64 (hypot.f64 re im))) |
(neg.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))))) |
(neg.f64 (log.f64 (hypot.f64 re im))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) |
(log.f64 (hypot.f64 re im)) |
(abs re)
(abs im)
(sort re im)
| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 137 | 0 | - | 2 | (2.9937382638216232e-193 1.1366565701686031e-160) | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 0 | 0 | - | 0 | - | (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| 0 | 0 | - | 0 | - | im |
| 0 | 0 | - | 0 | - | (*.f64 im im) |
| 0 | 0 | - | 0 | - | (*.f64 re re) |
| 0 | 0 | - | 0 | - | re |
| 0 | 0 | - | 0 | - | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 48.0ms | 512× | 256 | valid |
Compiled 81 to 23 computations (71.6% saved)
ival-log: 8.0ms (31.5% of total)ival-mult: 7.0ms (27.5% of total)ival-add: 6.0ms (23.6% of total)ival-sqrt: 4.0ms (15.7% of total)const: 0.0ms (0% of total)Compiled 2 to 2 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 48.6% | (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
Compiled 22 to 14 computations (36.4% saved)
| 1× | egg-herbie |
| 1× | +-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 39 |
| 1 | 14 | 39 |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| Outputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| 1× | fuel |
Compiled 11 to 7 computations (36.4% saved)
(sort re im)
(abs im)
(abs re)
Compiled 176 to 112 computations (36.4% saved)
Loading profile data...