Time bar (total: 14.3s)
| 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)
| 2.4s | 8256× | body | 128 | valid |
| 574.0ms | 2137× | 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 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 7.3b | (+.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 102 to 73 computations (28.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| ✓ | 0.2b | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| ✓ | 0.2b | (*.f64 (-.f64 x 1/2) (log.f64 x)) |
| ✓ | 6.8b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
4 calls:
| 96.0ms | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
| 24.0ms | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| 24.0ms | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| 18.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:
| 130.0ms | (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) |
| 130.0ms | (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) |
| 130.0ms | (*.f64 (-.f64 x 1/2) (log.f64 x)) |
| 130.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 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 128 | 13 | 141 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 129 | 13 | 142 |
| Status | Error | Program |
| 7.7b | (+.f64 (+.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 3) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.6b | (+.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)))) | |
| 7.7b | (+.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)) | |
| 7.3b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)) | |
| 7.4b | (+.f64 (+.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 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 11.6b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2)) | |
| 7.7b | (+.f64 (+.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)) 2) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 11.6b | (+.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))) | |
| 23.7b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y))) | |
| 7.4b | (+.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)))) | |
| 13.9b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (-.f64 83333333333333/1000000000000000 (*.f64 z 13888888888889/5000000000000000)) x)) | |
| ▶ | 7.3b | (+.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)) |
| 18.6b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (*.f64 (/.f64 1 (cbrt.f64 (*.f64 x x))) (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) (cbrt.f64 x)))) |
Compiled 5024 to 3403 computations (32.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (+.f64 y 7936500793651/10000000000000000) 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)) |
| 6.8b | (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x) |
3 calls:
| 17.0ms | (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) |
| 16.0ms | (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) |
| 8.0ms | (*.f64 (+.f64 y 7936500793651/10000000000000000) z) |
| 2× | batch-egg-rewrite |
| 317× | prod-diff_binary64 |
| 266× | expm1-udef_binary64 |
| 266× | log1p-udef_binary64 |
| 210× | egg-rr |
| 158× | add-sqr-sqrt_binary64 |
3 calls:
| 138.0ms | (*.f64 (+.f64 y 7936500793651/10000000000000000) z) |
| 138.0ms | (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) |
| 138.0ms | (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 313 | 30 |
| 2 | 3626 | 30 |
| 3 | 4896 | 30 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 1138× | unsub-neg_binary64 |
| 842× | sub-neg_binary64 |
| 758× | +-commutative_binary64 |
| 505× | fma-def_binary64 |
| 463× | distribute-neg-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 52 | 515 |
| 1 | 137 | 461 |
| 2 | 373 | 451 |
| 3 | 960 | 433 |
| 4 | 2794 | 433 |
| 5 | 3327 | 433 |
| 6 | 4189 | 433 |
| 7 | 4421 | 433 |
| 8 | 4697 | 433 |
| 9 | 4741 | 433 |
| 10 | 4872 | 433 |
| 11 | 5640 | 433 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 266 | 4 | 270 |
| Fresh | 3 | 9 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 270 | 13 | 283 |
| Status | Error | Program |
| 7.7b | (+.f64 (+.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 3) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.6b | (+.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)))) | |
| ▶ | 7.3b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)) |
| 7.4b | (+.f64 (+.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 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 11.6b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (pow.f64 (sqrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 2)) | |
| 7.7b | (+.f64 (+.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)) 2) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 11.6b | (+.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))) | |
| 7.4b | (+.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)))) | |
| 13.9b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (-.f64 83333333333333/1000000000000000 (*.f64 z 13888888888889/5000000000000000)) x)) | |
| 7.7b | (+.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)) | |
| 13.9b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (-.f64 83333333333333/1000000000000000 (*.f64 z 13888888888889/5000000000000000)) x)) | |
| 23.7b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (*.f64 (/.f64 (*.f64 z z) x) (+.f64 7936500793651/10000000000000000 y))) | |
| 7.7b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (pow.f64 (cbrt.f64 (/.f64 (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000) x)) 3)) |
Compiled 10331 to 6135 computations (40.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 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)) | |
| ✓ | 0.3b | (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1) |
| ✓ | 6.8b | (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
2 calls:
| 2.0s | (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1) |
| 311.0ms | (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
| 2× | batch-egg-rewrite |
| 569× | log-prod_binary64 |
| 242× | expm1-udef_binary64 |
| 242× | log1p-udef_binary64 |
| 203× | log-pow_binary64 |
| 139× | add-sqr-sqrt_binary64 |
2 calls:
| 98.0ms | (pow.f64 (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1) |
| 98.0ms | (/.f64 x (fma.f64 z (fma.f64 (+.f64 y 7936500793651/10000000000000000) z -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 33 |
| 1 | 281 | 30 |
| 2 | 3270 | 30 |
| 3 | 5609 | 30 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 436× | cancel-sign-sub-inv_binary64 |
| 328× | fma-neg_binary64 |
| 261× | neg-mul-1_binary64 |
| 234× | fma-def_binary64 |
| 216× | associate-/r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 267 | 3580 |
| 1 | 830 | 3488 |
| 2 | 3229 | 3377 |
| 3 | 4596 | 3307 |
| 4 | 4959 | 3307 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 332 | 4 | 336 |
| Fresh | 6 | 6 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 339 | 10 | 349 |
| Status | Error | Program |
| 7.7b | (+.f64 (+.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 3) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.6b | (+.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)))) | |
| 7.4b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x)) (sqrt.f64 x))) | |
| 9.8b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (fma.f64 7936500793651/10000000000000000 (/.f64 (*.f64 z z) x) (+.f64 (/.f64 83333333333333/1000000000000000 x) (fma.f64 (/.f64 y x) (*.f64 z z) (*.f64 (/.f64 z x) -13888888888889/5000000000000000))))) | |
| 7.7b | (+.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)) | |
| 7.4b | (+.f64 (+.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 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.7b | (+.f64 (+.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)) 2) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 13.9b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (-.f64 83333333333333/1000000000000000 (*.f64 z 13888888888889/5000000000000000)) x)) | |
| 13.9b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (pow.f64 (*.f64 1000000000000000/83333333333333 x) -1)) | |
| ▶ | 7.3b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (/.f64 1 x) (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000)))) |
Compiled 13883 to 8488 computations (38.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 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)) | |
| ✓ | 0.2b | (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
| ✓ | 6.7b | (/.f64 (/.f64 1 x) (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000))) |
2 calls:
| 81.0ms | (/.f64 (/.f64 1 x) (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000))) |
| 66.0ms | (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
| 2× | batch-egg-rewrite |
| 259× | expm1-udef_binary64 |
| 259× | log1p-udef_binary64 |
| 222× | log-pow_binary64 |
| 150× | add-sqr-sqrt_binary64 |
| 142× | log1p-expm1-u_binary64 |
2 calls:
| 111.0ms | (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) |
| 111.0ms | (/.f64 (/.f64 1 x) (/.f64 1 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 36 |
| 1 | 306 | 30 |
| 2 | 3576 | 30 |
| 3 | 4913 | 30 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 603× | fma-def_binary64 |
| 318× | times-frac_binary64 |
| 235× | cancel-sign-sub-inv_binary64 |
| 231× | distribute-rgt-in_binary64 |
| 206× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 2567 |
| 1 | 593 | 2505 |
| 2 | 2121 | 2383 |
| 3 | 4955 | 2383 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 309 | 3 | 312 |
| Fresh | 2 | 7 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 312 | 10 | 322 |
| Status | Error | Program |
| 7.7b | (+.f64 (+.f64 (-.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 x 1/2) (log.f64 x))) 3) x) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.4b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (/.f64 (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000) (sqrt.f64 x)) (sqrt.f64 x))) | |
| 9.8b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (fma.f64 7936500793651/10000000000000000 (/.f64 (*.f64 z z) x) (+.f64 (/.f64 83333333333333/1000000000000000 x) (fma.f64 (/.f64 y x) (*.f64 z z) (*.f64 (/.f64 z x) -13888888888889/5000000000000000))))) | |
| 7.7b | (+.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)) | |
| 13.9b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (/.f64 1 x) (fma.f64 z 2777777777777800000000000000/6944444444444388888888888889 1000000000000000/83333333333333))) | |
| 7.7b | (+.f64 (+.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x)) 2) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 7.4b | (+.f64 (+.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 x)) 91893853320467/100000000000000) (/.f64 (+.f64 (*.f64 (-.f64 (*.f64 (+.f64 y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)) | |
| 13.9b | (+.f64 (+.f64 (-.f64 (*.f64 (-.f64 x 1/2) (log.f64 x)) x) 91893853320467/100000000000000) (/.f64 (-.f64 83333333333333/1000000000000000 (*.f64 z 13888888888889/5000000000000000)) x)) | |
| 7.3b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (pow.f64 (/.f64 x (fma.f64 z (fma.f64 z (+.f64 y 7936500793651/10000000000000000) -13888888888889/5000000000000000) 83333333333333/1000000000000000)) -1)) | |
| 7.5b | (+.f64 (+.f64 (fma.f64 (-.f64 x 1/2) (log.f64 x) (neg.f64 x)) 91893853320467/100000000000000) (/.f64 (-.f64 (+.f64 83333333333333/1000000000000000 (+.f64 (*.f64 7936500793651/10000000000000000 (pow.f64 z 2)) (*.f64 y (pow.f64 z 2)))) (*.f64 13888888888889/5000000000000000 z)) x)) |
Compiled 12541 to 7819 computations (37.7% saved)
Total 0.9b remaining (34.8%)
Threshold costs 0.9b (34.8%)
Compiled 44963 to 33494 computations (25.5% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 6 | 2.7764297830310355e+119 | 2.21242884608097e+120 | 2.1822361911060752e+120 |
| 5 | 20635321130951.6 | 64440076175396.76 | 48939846456029.02 |
| 9 | -0.00019771189621046442 | -1.0719310928661774e-12 | -0.00019444066752115447 |
| 10 | -5.503358233421855e+165 | -1.5729799152573042e+147 | -1.3543156149683942e+154 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 14× | +-commutative_binary64 |
| 7× | *-commutative_binary64 |
| 6× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 58 | 190 |
| 1 | 82 | 190 |
| 2 | 93 | 190 |
| 3 | 98 | 190 |
| 4 | 100 | 190 |
| 5 | 97 | 190 |
Compiled 569 to 390 computations (31.5% saved)
Loading profile data...