Time bar (total: 10.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 0% | 74.9% | 25.1% | 5 |
| 0% | 74.9% | 25.1% | 6 |
| 0% | 74.9% | 25.1% | 7 |
| 6.2% | 56.2% | 37.6% | 8 |
| 7.8% | 53% | 39.2% | 9 |
| 10.9% | 45.6% | 43.4% | 10 |
| 18.3% | 31.4% | 50.3% | 11 |
| 19.1% | 29.5% | 51.3% | 12 |
| 21.4% | 24.8% | 53.8% | 13 |
| 25.8% | 16.7% | 57.5% | 14 |
Compiled 28 to 21 computations (25% saved)
| 1.4s | 8256× | body | 128 | valid |
| 335.0ms | 2017× | body | 128 | invalid |
Compiled 83 to 62 computations (25.3% saved)
| 1× | egg-herbie |
| 703× | fma-def_binary64 |
| 691× | associate-/l*_binary64 |
| 673× | sub-neg_binary64 |
| 568× | fma-neg_binary64 |
| 439× | div-sub_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 32 |
| 1 | 43 | 32 |
| 2 | 99 | 31 |
| 3 | 223 | 30 |
| 4 | 529 | 30 |
| 5 | 1016 | 30 |
| 6 | 1917 | 30 |
| 7 | 3001 | 30 |
| 8 | 3396 | 30 |
| 9 | 4830 | 30 |
| 10 | 5110 | 30 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 4.8b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
| 4.8b | (+.f64 (-.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) 91893853320467/100000000000000) x) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) |
Compiled 150 to 107 computations (28.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| ✓ | 0.1b | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| ✓ | 0.1b | (*.f64 (-.f64 x 1/2) (log.f64 x)) |
| ✓ | 4.5b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
4 calls:
| 49.0ms | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
| 14.0ms | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| 13.0ms | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| 11.0ms | (*.f64 (-.f64 x 1/2) (log.f64 x)) |
| 2× | batch-egg-rewrite |
| 237× | add-sqr-sqrt_binary64 |
| 229× | log1p-expm1-u_binary64 |
| 229× | expm1-log1p-u_binary64 |
| 224× | add-log-exp_binary64 |
| 223× | add-exp-log_binary64 |
4 calls:
| 84.0ms | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| 84.0ms | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| 84.0ms | (*.f64 (-.f64 x 1/2) (log.f64 x)) |
| 84.0ms | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 51 |
| 1 | 473 | 51 |
| 2 | 4896 | 51 |
| 3 | 4826 | 51 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 797× | div-sub_binary64 |
| 487× | fma-neg_binary64 |
| 330× | associate--l+_binary64 |
| 330× | sub-neg_binary64 |
| 320× | cancel-sign-sub-inv_binary64 |
Useful iterations: 5 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 87 | 1593 |
| 1 | 253 | 1476 |
| 2 | 644 | 1358 |
| 3 | 1807 | 960 |
| 4 | 4284 | 960 |
| 5 | 4985 | 952 |
| 6 | 5645 | 952 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 134 | 11 | 145 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 136 | 11 | 147 |
| Status | Error | Program |
| 5.0b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x)))) | |
| 9.7b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.2b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)))) | |
| 21.5b | (+.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 2) 8444480278083503881401098089/10000000000000000000000000000) (-.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| ▶ | 4.8b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
| 5.3b | (+.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.5b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x))) | |
| 4.9b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.3b | (+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 2) (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.0b | (+.f64 (pow.f64 (sqrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.0b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (+.f64 (*.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (*.f64 y (pow.f64 z 2)) x) (*.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (*.f64 13888888888889/5000000000000000 (/.f64 z x)))) |
Compiled 5060 to 3419 computations (32.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) |
| ✓ | 0.1b | (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) |
| ✓ | 0.2b | (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) |
| 4.5b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
3 calls:
| 10.0ms | (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) |
| 9.0ms | (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) |
| 9.0ms | (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) |
| 2× | batch-egg-rewrite |
| 359× | prod-diff_binary64 |
| 211× | egg-rr |
| 194× | add-sqr-sqrt_binary64 |
| 186× | log1p-expm1-u_binary64 |
| 186× | expm1-log1p-u_binary64 |
3 calls:
| 91.0ms | (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) |
| 91.0ms | (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) |
| 91.0ms | (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 38 |
| 1 | 387 | 34 |
| 2 | 4557 | 34 |
| 3 | 5058 | 34 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 675× | sub-neg_binary64 |
| 590× | fma-def_binary64 |
| 552× | distribute-neg-in_binary64 |
| 461× | neg-mul-1_binary64 |
| 339× | distribute-neg-out_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 690 |
| 1 | 163 | 600 |
| 2 | 431 | 572 |
| 3 | 1122 | 518 |
| 4 | 3277 | 518 |
| 5 | 4076 | 518 |
| 6 | 4746 | 518 |
| 7 | 4865 | 518 |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 274 | 3 | 277 |
| Fresh | 1 | 9 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 276 | 12 | 288 |
| Status | Error | Program |
| 9.5b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x))) | |
| 16.2b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 3) -2679183813443137002743484225480109739369/125000000000000000000000000000000000000000000000) z) (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 2) (+.f64 192901234567904320987654321/25000000000000000000000000000000 (*.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000)))) 83333333333333/1000000000000000) x)) | |
| 5.5b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x)) | |
| ▶ | 4.9b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
| 9.7b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.3b | (+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 2) (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.2b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)))) | |
| 21.5b | (+.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 2) 8444480278083503881401098089/10000000000000000000000000000) (-.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.7b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.0b | (+.f64 (pow.f64 (sqrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.0b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (+.f64 (*.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (*.f64 y (pow.f64 z 2)) x) (*.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (*.f64 13888888888889/5000000000000000 (/.f64 z x)))) | |
| 5.3b | (+.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
Compiled 10515 to 6261 computations (40.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) |
| 0.1b | (*.f64 (-.f64 x 1/2) (log.f64 x)) | |
| ✓ | 0.4b | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
| 4.5b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
2 calls:
| 89.0ms | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
| 28.0ms | (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) |
| 2× | batch-egg-rewrite |
| 471× | log-prod_binary64 |
| 439× | prod-diff_binary64 |
| 233× | fma-def_binary64 |
| 203× | egg-rr |
| 196× | expm1-udef_binary64 |
2 calls:
| 97.0ms | (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) |
| 97.0ms | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 28 |
| 1 | 243 | 24 |
| 2 | 2730 | 24 |
| 3 | 5287 | 24 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 708× | fma-def_binary64 |
| 572× | associate-/l/_binary64 |
| 346× | cancel-sign-sub-inv_binary64 |
| 265× | times-frac_binary64 |
| 248× | unswap-sqr_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 274 |
| 1 | 115 | 246 |
| 2 | 355 | 231 |
| 3 | 1990 | 222 |
| 4 | 4922 | 222 |
| 5 | 5026 | 222 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 333 | 5 | 338 |
| Fresh | 1 | 10 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 335 | 15 | 350 |
| Status | Error | Program |
| 9.5b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x))) | |
| 16.2b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 3) -2679183813443137002743484225480109739369/125000000000000000000000000000000000000000000000) z) (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 2) (+.f64 192901234567904320987654321/25000000000000000000000000000000 (*.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000)))) 83333333333333/1000000000000000) x)) | |
| 31.0b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (*.f64 (sqrt.f64 (-.f64 x 1/2)) (sqrt.f64 (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.5b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x)) | |
| 47.4b | (+.f64 (+.f64 (fma.f64 (sqrt.f64 (log.f64 x)) (*.f64 (sqrt.f64 (log.f64 x)) (-.f64 x 1/2)) (neg.f64 (*.f64 (/.f64 1 (+.f64 x 91893853320467/100000000000000)) (fma.f64 x x -8444480278083503881401098089/10000000000000000000000000000)))) (fma.f64 (neg.f64 (/.f64 1 (+.f64 x 91893853320467/100000000000000))) (fma.f64 x x -8444480278083503881401098089/10000000000000000000000000000) (*.f64 (/.f64 1 (+.f64 x 91893853320467/100000000000000)) (fma.f64 x x -8444480278083503881401098089/10000000000000000000000000000)))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.7b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.3b | (+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 2) (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.0b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.0b | (+.f64 (pow.f64 (sqrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| ▶ | 4.9b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
| 5.3b | (+.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.7b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.2b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)))) | |
| 5.0b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (+.f64 (*.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (*.f64 y (pow.f64 z 2)) x) (*.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (*.f64 13888888888889/5000000000000000 (/.f64 z x)))) | |
| 5.2b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)))) 3) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) |
Compiled 17348 to 12451 computations (28.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (*.f64 (-.f64 x 1/2) (log.f64 x)) | |
| ✓ | 0.4b | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
| ✓ | 0.5b | (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) |
| 4.5b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
2 calls:
| 96.0ms | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
| 30.0ms | (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) |
| 2× | batch-egg-rewrite |
| 439× | prod-diff_binary64 |
| 246× | fma-def_binary64 |
| 237× | expm1-udef_binary64 |
| 237× | log1p-udef_binary64 |
| 189× | egg-rr |
2 calls:
| 96.0ms | (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) (neg.f64 (-.f64 x 91893853320467/100000000000000))) |
| 96.0ms | (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 28 |
| 1 | 315 | 24 |
| 2 | 3293 | 24 |
| 3 | 4753 | 24 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 398× | fma-neg_binary64 |
| 376× | cancel-sign-sub-inv_binary64 |
| 185× | unswap-sqr_binary64 |
| 184× | times-frac_binary64 |
| 176× | div-sub_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 165 | 1913 |
| 1 | 568 | 1724 |
| 2 | 2563 | 1232 |
| 3 | 4522 | 1052 |
| 4 | 5138 | 1052 |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 306 | 2 | 308 |
| Fresh | 2 | 12 | 14 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 309 | 14 | 323 |
| Status | Error | Program |
| 9.5b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) 1) (/.f64 (sqrt.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) x))) | |
| 16.2b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (/.f64 (*.f64 (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 3) -2679183813443137002743484225480109739369/125000000000000000000000000000000000000000000000) z) (+.f64 (pow.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 2) (+.f64 192901234567904320987654321/25000000000000000000000000000000 (*.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000)))) 83333333333333/1000000000000000) x)) | |
| 31.0b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (*.f64 (sqrt.f64 (-.f64 x 1/2)) (sqrt.f64 (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.7b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 83333333333333/1000000000000000 x)) | |
| 5.3b | (+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 2) (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 31.1b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (*.f64 (pow.f64 (pow.f64 (-.f64 x 1/2) 1/4) 2) (pow.f64 (pow.f64 (log.f64 x) 1/4) 2)) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.0b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))))) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.0b | (+.f64 (pow.f64 (sqrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.5b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (+.f64 7936500793651/10000000000000000 y) (pow.f64 z 2)) 83333333333333/1000000000000000) x)) | |
| 5.2b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2) (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)))) | |
| 5.0b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (-.f64 (+.f64 (*.f64 7936500793651/10000000000000000 (/.f64 (pow.f64 z 2) x)) (+.f64 (/.f64 (*.f64 y (pow.f64 z 2)) x) (*.f64 83333333333333/1000000000000000 (/.f64 1 x)))) (*.f64 13888888888889/5000000000000000 (/.f64 z x)))) | |
| 5.3b | (+.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000)) 2) (cbrt.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 5.2b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)))) 3) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 9.9b | (+.f64 (fma.f64 (sqrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) (pow.f64 (pow.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) 1/4) 2) (neg.f64 (-.f64 x 91893853320467/100000000000000))) (/.f64 83333333333333/1000000000000000 x)) |
Compiled 17200 to 12539 computations (27.1% saved)
Total 0.6b remaining (18%)
Threshold costs 0.6b (18%)
Compiled 56582 to 41852 computations (26% saved)
Compiled 12 to 9 computations (25% saved)
| 1× | egg-herbie |
| 10× | +-commutative_binary64 |
| 4× | *-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 1× | neg-sub0_binary64 |
| 1× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 113 |
| 1 | 56 | 113 |
| 2 | 61 | 113 |
| 3 | 62 | 113 |
| 4 | 60 | 113 |
Compiled 664 to 488 computations (26.5% saved)
Loading profile data...