Time bar (total: 14.4s)
| 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 |
| 12.5% | 87.4% | 0.1% | 5 |
| 18.7% | 81.2% | 0.1% | 6 |
| 21.9% | 78% | 0.1% | 7 |
| 23.4% | 76.5% | 0.1% | 8 |
| 24.2% | 75.7% | 0.1% | 9 |
| 24.6% | 75.3% | 0.1% | 10 |
| 24.8% | 75.1% | 0.1% | 11 |
| 24.9% | 75% | 0.1% | 12 |
| 24.9% | 75% | 0.1% | 13 |
| 25% | 75% | 0.1% | 14 |
Compiled 10 to 7 computations (30% saved)
| 1.7s | 3632× | body | 1024 | valid |
| 1.0s | 1241× | body | 2048 | valid |
| 579.0ms | 1399× | body | 512 | valid |
| 257.0ms | 1376× | body | 128 | valid |
| 143.0ms | 605× | body | 256 | valid |
| 4.0ms | 3× | body | 4096 | valid |
Compiled 29 to 20 computations (31% saved)
| 1× | egg-herbie |
| 39× | fma-def_binary64 |
| 32× | fma-neg_binary64 |
| 14× | cancel-sign-sub-inv_binary64 |
| 12× | sub-neg_binary64 |
| 10× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 11 |
| 1 | 10 | 11 |
| 2 | 15 | 11 |
| 3 | 22 | 11 |
| 4 | 29 | 11 |
| 5 | 46 | 11 |
| 6 | 72 | 11 |
| 7 | 93 | 11 |
| 8 | 110 | 11 |
| 9 | 120 | 11 |
| 10 | 124 | 11 |
| 11 | 126 | 11 |
| 12 | 112 | 11 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 38.8b | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
Compiled 27 to 18 computations (33.3% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 1.5b | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
| ✓ | 2.7b | (tan.f64 (+.f64 x eps)) |
2 calls:
| 43.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
| 26.0ms | (tan.f64 (+.f64 x eps)) |
| 2× | batch-egg-rewrite |
| 883× | prod-diff_binary64 |
| 412× | fma-def_binary64 |
| 215× | fma-neg_binary64 |
| 170× | expm1-udef_binary64 |
| 170× | log1p-udef_binary64 |
2 calls:
| 109.0ms | (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)) |
| 109.0ms | (tan.f64 (+.f64 x eps)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 17 |
| 1 | 169 | 17 |
| 2 | 2430 | 17 |
| 3 | 4853 | 17 |
| 4 | 4989 | 17 |
| 5 | 4989 | 17 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 909× | times-frac_binary64 |
| 730× | fma-def_binary64 |
| 605× | associate-/l*_binary64 |
| 330× | associate-/r*_binary64 |
| 192× | associate-+r+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 128 | 1638 |
| 1 | 363 | 1636 |
| 2 | 1362 | 1545 |
| 3 | 5021 | 1545 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 136 | 9 | 145 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 137 | 9 | 146 |
| Status | Error | Program |
| ▶ | 22.3b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) |
| 22.4b | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) | |
| 32.9b | (+.f64 (+.f64 eps (fma.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (cos.f64 x) 4)) (pow.f64 (sin.f64 x) 4) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 22.6b | (+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) | |
| 33.0b | (+.f64 (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 33.0b | (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))) | |
| 22.5b | (-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x)) | |
| 32.6b | (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) | |
| 22.5b | (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))) |
Compiled 4061 to 1686 computations (58.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) |
| ✓ | 0.1b | (+.f64 (tan.f64 x) (tan.f64 eps)) |
| ✓ | 0.2b | (*.f64 (tan.f64 x) (tan.f64 eps)) |
| ✓ | 2.6b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) |
4 calls:
| 137.0ms | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) |
| 33.0ms | (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) |
| 32.0ms | (*.f64 (tan.f64 x) (tan.f64 eps)) |
| 27.0ms | (+.f64 (tan.f64 x) (tan.f64 eps)) |
| 2× | batch-egg-rewrite |
| 332× | fma-def_binary64 |
| 218× | expm1-udef_binary64 |
| 218× | log1p-udef_binary64 |
| 192× | egg-rr |
| 191× | log-pow_binary64 |
4 calls:
| 103.0ms | (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) |
| 103.0ms | (+.f64 (tan.f64 x) (tan.f64 eps)) |
| 103.0ms | (*.f64 (tan.f64 x) (tan.f64 eps)) |
| 103.0ms | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 56 |
| 1 | 265 | 53 |
| 2 | 3080 | 49 |
| 3 | 5000 | 49 |
| 4 | 4966 | 49 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 745× | associate-/l*_binary64 |
| 671× | fma-def_binary64 |
| 424× | associate-/r*_binary64 |
| 170× | associate-/r/_binary64 |
| 136× | unswap-sqr_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 169 | 3294 |
| 1 | 492 | 3274 |
| 2 | 1641 | 3223 |
| 3 | 5030 | 3223 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 248 | 6 | 254 |
| Fresh | 1 | 7 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 250 | 13 | 263 |
| Status | Error | Program |
| 32.9b | (+.f64 (+.f64 eps (fma.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (cos.f64 x) 4)) (pow.f64 (sin.f64 x) 4) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 22.4b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (+.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 eps) 1)) (neg.f64 (/.f64 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) (fma.f64 (tan.f64 x) (tan.f64 eps) 1))))) (neg.f64 (tan.f64 x))) | |
| 22.6b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x))) | |
| 22.6b | (+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) | |
| 24.8b | (fma.f64 (/.f64 1 (/.f64 (-.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 eps) 2)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 33.0b | (+.f64 (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 33.0b | (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))) | |
| 32.6b | (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) | |
| 24.8b | (fma.f64 (-.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (-.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (pow.f64 (tan.f64 eps) 2) (-.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 22.5b | (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x))) | |
| 23.1b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log1p.f64 (expm1.f64 (*.f64 (tan.f64 x) (tan.f64 eps)))))) (neg.f64 (tan.f64 x))) | |
| ▶ | 22.4b | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) |
| 22.5b | (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))) |
Compiled 7870 to 3251 computations (58.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (+.f64 (tan.f64 x) (tan.f64 eps)) | |
| ✓ | 0.1b | (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) |
| 0.2b | (*.f64 (tan.f64 x) (tan.f64 eps)) | |
| ✓ | 2.6b | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) |
2 calls:
| 202.0ms | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) |
| 114.0ms | (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) |
| 2× | batch-egg-rewrite |
| 538× | fma-def_binary64 |
| 279× | fma-neg_binary64 |
| 251× | expm1-udef_binary64 |
| 250× | log1p-udef_binary64 |
| 164× | egg-rr |
2 calls:
| 87.0ms | (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) |
| 87.0ms | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 47 |
| 1 | 277 | 47 |
| 2 | 3699 | 47 |
| 3 | 5239 | 47 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 932× | times-frac_binary64 |
| 724× | fma-def_binary64 |
| 630× | associate-/l*_binary64 |
| 352× | associate-/r*_binary64 |
| 188× | associate-+r+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 133 | 2870 |
| 1 | 387 | 2856 |
| 2 | 1427 | 2777 |
| 3 | 5232 | 2777 |
15 alts after pruning (14 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 318 | 3 | 321 |
| Fresh | 1 | 11 | 12 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 319 | 15 | 334 |
| Status | Error | Program |
| 32.9b | (+.f64 (+.f64 eps (fma.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (cos.f64 x) 4)) (pow.f64 (sin.f64 x) 4) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 22.4b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (+.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 eps) 1)) (neg.f64 (/.f64 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) (fma.f64 (tan.f64 x) (tan.f64 eps) 1))))) (neg.f64 (tan.f64 x))) | |
| 22.6b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (log.f64 (pow.f64 (exp.f64 (tan.f64 x)) (tan.f64 eps))))) (neg.f64 (tan.f64 x))) | |
| 22.6b | (+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) | |
| 24.8b | (fma.f64 (/.f64 1 (/.f64 (-.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 eps) 2)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 32.6b | (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) | |
| 24.8b | (/.f64 1 (/.f64 (+.f64 (tan.f64 x) (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (-.f64 (pow.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) 2) (pow.f64 (tan.f64 x) 2)))) | |
| 33.0b | (+.f64 (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 33.0b | (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))) | |
| 24.8b | (fma.f64 (-.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (-.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (pow.f64 (tan.f64 eps) 2) (-.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 22.5b | (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x))) | |
| ▶ | 22.4b | (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2))) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) (neg.f64 (tan.f64 x))) |
| 23.5b | (fma.f64 (pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 2) (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (tan.f64 x))) | |
| ✓ | 22.4b | (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (tan.f64 x)) |
| 22.5b | (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))) |
Compiled 10621 to 4367 computations (58.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (+.f64 (tan.f64 x) (tan.f64 eps)) | |
| 0.2b | (*.f64 (tan.f64 x) (tan.f64 eps)) | |
| ✓ | 0.3b | (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) |
| ✓ | 2.6b | (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2))) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) (neg.f64 (tan.f64 x))) |
2 calls:
| 417.0ms | (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2))) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) (neg.f64 (tan.f64 x))) |
| 51.0ms | (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) |
| 2× | batch-egg-rewrite |
| 482× | fma-def_binary64 |
| 263× | expm1-udef_binary64 |
| 263× | log1p-udef_binary64 |
| 240× | fma-neg_binary64 |
| 162× | add-sqr-sqrt_binary64 |
2 calls:
| 71.0ms | (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) |
| 71.0ms | (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2))) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) (neg.f64 (tan.f64 x))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 51 |
| 1 | 330 | 49 |
| 2 | 3799 | 49 |
| 3 | 5196 | 49 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 732× | fma-def_binary64 |
| 663× | associate-/r*_binary64 |
| 226× | associate-*l/_binary64 |
| 225× | associate-/r/_binary64 |
| 195× | unswap-sqr_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 174 | 5016 |
| 1 | 487 | 4944 |
| 2 | 1859 | 4255 |
| 3 | 4978 | 4255 |
| 4 | 4992 | 4255 |
| 5 | 4977 | 4255 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 226 | 1 | 227 |
| Fresh | 1 | 12 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 0 | 1 |
| Total | 229 | 13 | 242 |
| Status | Error | Program |
| 32.9b | (+.f64 (+.f64 eps (fma.f64 (/.f64 (pow.f64 eps 3) (pow.f64 (cos.f64 x) 4)) (pow.f64 (sin.f64 x) 4) (fma.f64 5/3 (/.f64 (pow.f64 eps 4) (pow.f64 (/.f64 (cos.f64 x) (sin.f64 x)) 3)) (fma.f64 (/.f64 (pow.f64 eps 4) (pow.f64 (cos.f64 x) 5)) (pow.f64 (sin.f64 x) 5) (fma.f64 4/3 (/.f64 (*.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 eps 3)) (pow.f64 (cos.f64 x) 2)) (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (fma.f64 1/3 (pow.f64 eps 3) (*.f64 2/3 (*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (pow.f64 eps 4)))))))))) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 22.4b | (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (+.f64 (/.f64 1 (fma.f64 (tan.f64 x) (tan.f64 eps) 1)) (neg.f64 (/.f64 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 eps)) 2) (fma.f64 (tan.f64 x) (tan.f64 eps) 1))))) (neg.f64 (tan.f64 x))) | |
| 22.6b | (+.f64 (fma.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 (cos.f64 x))) (sin.f64 x) (*.f64 (/.f64 1 (cos.f64 x)) (sin.f64 x)))) | |
| 24.8b | (fma.f64 (/.f64 1 (/.f64 (-.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 eps) 2)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 32.6b | (*.f64 eps (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) | |
| 24.8b | (/.f64 1 (/.f64 (+.f64 (tan.f64 x) (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (-.f64 (pow.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) 2) (pow.f64 (tan.f64 x) 2)))) | |
| 23.5b | (fma.f64 (pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 2) (*.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))))) (neg.f64 (tan.f64 x))) | |
| 22.3b | (fma.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (pow.f64 (tan.f64 x) 2) (pow.f64 (tan.f64 eps) 2)))) (fma.f64 (tan.f64 x) (tan.f64 eps) 1) (neg.f64 (tan.f64 x))) | |
| 33.0b | (+.f64 (fma.f64 eps (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) eps) (*.f64 (/.f64 (*.f64 eps eps) (cos.f64 x)) (+.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 x) 2))))) | |
| 33.0b | (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (pow.f64 (sin.f64 x) 3)) (pow.f64 (cos.f64 x) 3)) (+.f64 (/.f64 (*.f64 (pow.f64 eps 2) (sin.f64 x)) (cos.f64 x)) (+.f64 eps (/.f64 (*.f64 eps (pow.f64 (sin.f64 x) 2)) (pow.f64 (cos.f64 x) 2))))) | |
| 24.8b | (fma.f64 (-.f64 (/.f64 (pow.f64 (tan.f64 x) 2) (-.f64 (tan.f64 x) (tan.f64 eps))) (/.f64 (pow.f64 (tan.f64 eps) 2) (-.f64 (tan.f64 x) (tan.f64 eps)))) (/.f64 1 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (neg.f64 (tan.f64 x))) | |
| 22.5b | (-.f64 (+.f64 (/.f64 (sin.f64 x) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 x))) (/.f64 (sin.f64 eps) (*.f64 (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 eps) (cos.f64 x)))) (cos.f64 eps)))) (/.f64 (sin.f64 x) (cos.f64 x))) | |
| 22.5b | (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (cos.f64 x)) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (sin.f64 x))) (*.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (cos.f64 x))) |
Compiled 8916 to 3879 computations (56.5% saved)
Total 0.6b remaining (85.6%)
Threshold costs 0.6b (85.6%)
Compiled 28230 to 17178 computations (39.1% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 8 | 5.459498802287287e-30 | 3.004738242384428e-26 | 2.941971583774042e-26 |
| 9 | -0.0019398058595436693 | -7.897087120918734e-13 | -0.00022498455180266905 |
Compiled 3 to 2 computations (33.3% saved)
| 1× | egg-herbie |
| 14× | +-commutative_binary64 |
| 13× | *-commutative_binary64 |
| 10× | sub-neg_binary64 |
| 6× | distribute-rgt-neg-in_binary64 |
| 6× | neg-sub0_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 74 | 266 |
| 1 | 102 | 266 |
| 2 | 121 | 266 |
| 3 | 136 | 266 |
| 4 | 142 | 266 |
| 5 | 143 | 266 |
| 6 | 142 | 266 |
Compiled 862 to 494 computations (42.7% saved)
Loading profile data...