Time bar (total: 21.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.7% | 0.3% | 0 |
| 0% | 99.7% | 0.3% | 1 |
| 0% | 99.7% | 0.3% | 2 |
| 0% | 99.7% | 0.3% | 3 |
| 0% | 99.7% | 0.3% | 4 |
| 0% | 99.7% | 0.3% | 5 |
| 0% | 99.7% | 0.3% | 6 |
| 0% | 99.7% | 0.3% | 7 |
| 0% | 99.7% | 0.3% | 8 |
| 0% | 99.7% | 0.3% | 9 |
| 0% | 99.7% | 0.3% | 10 |
| 0% | 99.7% | 0.3% | 11 |
| 0% | 99.7% | 0.3% | 12 |
| 0.8% | 98.9% | 0.3% | 13 |
| 1.2% | 98.5% | 0.3% | 14 |
Compiled 44 to 31 computations (29.5% saved)
| 1.7s | 8256× | body | 128 | valid |
| 172.0ms | 898× | body | 128 | invalid |
Compiled 131 to 92 computations (29.8% saved)
| 1× | egg-herbie |
| 704× | distribute-rgt-in_binary64 |
| 703× | distribute-lft-in_binary64 |
| 676× | fma-def_binary64 |
| 308× | associate-*l*_binary64 |
| 236× | associate-+l+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 41 |
| 1 | 63 | 41 |
| 2 | 134 | 39 |
| 3 | 402 | 39 |
| 4 | 1067 | 39 |
| 5 | 3164 | 39 |
| 6 | 4889 | 39 |
| 1× | node limit |
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 |
| ▶ | 23.9b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 25.2b | (+.f64 x (/.f64 (*.f64 y (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 z 313060547623/100000000000) 55833770631/5000000000) z) t) z) a) z) b)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 z 15234687407/1000000000) z) 314690115749/10000000000) z) 119400905721/10000000000) z) 607771387771/1000000000000))) |
Compiled 228 to 150 computations (34.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) |
| ✓ | 0.1b | (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) |
| ✓ | 0.1b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| ✓ | 23.3b | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
4 calls:
| 779.0ms | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 384.0ms | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
| 5.0ms | (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) |
| 3.0ms | (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) |
| 1× | batch-egg-rewrite |
| 243× | add-sqr-sqrt_binary64 |
| 228× | log1p-expm1-u_binary64 |
| 228× | expm1-log1p-u_binary64 |
| 227× | add-cbrt-cube_binary64 |
| 227× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 95 |
| 1 | 485 | 95 |
| 1× | node limit |
4 calls:
| 48.0ms | (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) |
| 48.0ms | (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) |
| 48.0ms | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 48.0ms | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
| 1× | egg-herbie |
| 521× | associate-*l*_binary64 |
| 463× | cancel-sign-sub-inv_binary64 |
| 313× | fma-def_binary64 |
| 259× | associate-+r+_binary64 |
| 216× | +-commutative_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 247 | 16263 |
| 1 | 788 | 16138 |
| 2 | 2702 | 13006 |
| 1× | node limit |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 161 | 8 | 169 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 162 | 9 | 171 |
| Status | Error | Program |
| 29.7b | (-.f64 (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y b)) (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y (*.f64 a z))) x)) (*.f64 11940090572100000000000000/369386059793087248348441 (*.f64 y (*.f64 z b)))) | |
| ▶ | 22.8b | (fma.f64 y (+.f64 (/.f64 b (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (+.f64 (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) (fma.f64 55833770631/5000000000 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 313060547623/100000000000 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z))))) x) |
| ✓ | 23.9b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 y t) (pow.f64 z 2)) (+.f64 (*.f64 313060547623/100000000000 y) (+.f64 (*.f64 45796100221584283915100827016327/100000000000000000000000000000 (/.f64 y (pow.f64 z 2))) x))) (*.f64 3652704169880641883561/100000000000000000000 (/.f64 y z))) | |
| 23.9b | (fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) x) | |
| 23.9b | (+.f64 (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) (fma.f64 55833770631/5000000000 (*.f64 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) (+.f64 (fma.f64 313060547623/100000000000 (*.f64 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) x) (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b))))) | |
| 30.3b | (fma.f64 y (+.f64 (*.f64 1000000000000/607771387771 (*.f64 z (+.f64 (*.f64 z t) a))) (fma.f64 b (+.f64 1000000000000/607771387771 (*.f64 z (*.f64 z 123439798033292669987862100000000000000/224502278183706222041215714334315011))) (*.f64 -11940090572100000000000000/369386059793087248348441 (*.f64 z (fma.f64 a z b))))) x) | |
| 35.0b | (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 y (*.f64 z z)) (+.f64 (/.f64 a z) 45796100221584283915100827016327/100000000000000000000000000000)) (fma.f64 313060547623/100000000000 y x)) (*.f64 (/.f64 y z) (-.f64 (/.f64 t z) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (*.f64 z z))))) (fma.f64 3652704169880641883561/100000000000000000000 (/.f64 y z) (/.f64 15234687407/1000000000 (/.f64 (pow.f64 z 3) (*.f64 t y))))) | |
| 31.5b | (fma.f64 y (-.f64 (+.f64 313060547623/100000000000 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z)) (+.f64 (/.f64 a (pow.f64 z 3)) (/.f64 t (*.f64 z z))))) (+.f64 (/.f64 3652704169880641883561/100000000000000000000 z) (fma.f64 15234687407/1000000000 (/.f64 t (pow.f64 z 3)) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (pow.f64 z 3))))) x) |
Compiled 8257 to 5370 computations (35% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 3.7b | (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z) |
| ✓ | 20.6b | (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) |
| ✓ | 21.9b | (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
| ✓ | 22.2b | (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
4 calls:
| 186.0ms | (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) |
| 138.0ms | (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z) |
| 3.0ms | (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
| 3.0ms | (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
| 1× | batch-egg-rewrite |
| 265× | log1p-expm1-u_binary64 |
| 265× | expm1-log1p-u_binary64 |
| 260× | add-cbrt-cube_binary64 |
| 256× | add-cube-cbrt_binary64 |
| 256× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 111 |
| 1 | 572 | 111 |
| 1× | node limit |
4 calls:
| 55.0ms | (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z) |
| 55.0ms | (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) |
| 55.0ms | (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
| 55.0ms | (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
| 1× | egg-herbie |
| 636× | times-frac_binary64 |
| 558× | fma-def_binary64 |
| 309× | cancel-sign-sub-inv_binary64 |
| 251× | associate-*r*_binary64 |
| 237× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 130 | 1802 |
| 1 | 403 | 1778 |
| 2 | 1255 | 1678 |
| 3 | 4542 | 1678 |
| 1× | node limit |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 131 | 0 | 131 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 131 | 9 | 140 |
| Status | Error | Program |
| 29.7b | (-.f64 (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y b)) (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y (*.f64 a z))) x)) (*.f64 11940090572100000000000000/369386059793087248348441 (*.f64 y (*.f64 z b)))) | |
| ✓ | 22.8b | (fma.f64 y (+.f64 (/.f64 b (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (+.f64 (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) (fma.f64 55833770631/5000000000 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 313060547623/100000000000 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z))))) x) |
| ✓ | 23.9b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 y t) (pow.f64 z 2)) (+.f64 (*.f64 313060547623/100000000000 y) (+.f64 (*.f64 45796100221584283915100827016327/100000000000000000000000000000 (/.f64 y (pow.f64 z 2))) x))) (*.f64 3652704169880641883561/100000000000000000000 (/.f64 y z))) | |
| ▶ | 23.9b | (fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) x) |
| 23.9b | (+.f64 (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) (fma.f64 55833770631/5000000000 (*.f64 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) (+.f64 (fma.f64 313060547623/100000000000 (*.f64 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) x) (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b))))) | |
| 30.3b | (fma.f64 y (+.f64 (*.f64 1000000000000/607771387771 (*.f64 z (+.f64 (*.f64 z t) a))) (fma.f64 b (+.f64 1000000000000/607771387771 (*.f64 z (*.f64 z 123439798033292669987862100000000000000/224502278183706222041215714334315011))) (*.f64 -11940090572100000000000000/369386059793087248348441 (*.f64 z (fma.f64 a z b))))) x) | |
| 35.0b | (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 y (*.f64 z z)) (+.f64 (/.f64 a z) 45796100221584283915100827016327/100000000000000000000000000000)) (fma.f64 313060547623/100000000000 y x)) (*.f64 (/.f64 y z) (-.f64 (/.f64 t z) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (*.f64 z z))))) (fma.f64 3652704169880641883561/100000000000000000000 (/.f64 y z) (/.f64 15234687407/1000000000 (/.f64 (pow.f64 z 3) (*.f64 t y))))) | |
| 31.5b | (fma.f64 y (-.f64 (+.f64 313060547623/100000000000 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z)) (+.f64 (/.f64 a (pow.f64 z 3)) (/.f64 t (*.f64 z z))))) (+.f64 (/.f64 3652704169880641883561/100000000000000000000 z) (fma.f64 15234687407/1000000000 (/.f64 t (pow.f64 z 3)) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (pow.f64 z 3))))) x) |
Compiled 15063 to 10797 computations (28.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
| ✓ | 8.4b | (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
| ✓ | 13.3b | (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) |
| ✓ | 20.3b | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
4 calls:
| 383.0ms | (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) |
| 370.0ms | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
| 6.0ms | (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
| 4.0ms | (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
| 1× | batch-egg-rewrite |
| 246× | add-sqr-sqrt_binary64 |
| 231× | add-cbrt-cube_binary64 |
| 231× | log1p-expm1-u_binary64 |
| 231× | expm1-log1p-u_binary64 |
| 230× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 111 |
| 1 | 508 | 109 |
| 1× | node limit |
4 calls:
| 56.0ms | (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
| 56.0ms | (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) |
| 56.0ms | (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) |
| 56.0ms | (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) |
| 1× | egg-herbie |
| 456× | times-frac_binary64 |
| 415× | cancel-sign-sub-inv_binary64 |
| 395× | fma-def_binary64 |
| 237× | associate-+r+_binary64 |
| 235× | +-commutative_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 299 | 11300 |
| 1 | 984 | 10254 |
| 2 | 3566 | 10250 |
| 1× | node limit |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 236 | 1 | 237 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 237 | 9 | 246 |
| Status | Error | Program |
| 29.7b | (-.f64 (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y b)) (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y (*.f64 a z))) x)) (*.f64 11940090572100000000000000/369386059793087248348441 (*.f64 y (*.f64 z b)))) | |
| ✓ | 22.8b | (fma.f64 y (+.f64 (/.f64 b (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (+.f64 (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) (fma.f64 55833770631/5000000000 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 313060547623/100000000000 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z))))) x) |
| ✓ | 23.9b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 y t) (pow.f64 z 2)) (+.f64 (*.f64 313060547623/100000000000 y) (+.f64 (*.f64 45796100221584283915100827016327/100000000000000000000000000000 (/.f64 y (pow.f64 z 2))) x))) (*.f64 3652704169880641883561/100000000000000000000 (/.f64 y z))) | |
| 29.7b | (fma.f64 y (fma.f64 1000000000000/607771387771 (fma.f64 a z b) (*.f64 (*.f64 b z) -11940090572100000000000000/369386059793087248348441)) x) | |
| 31.5b | (fma.f64 y (-.f64 (+.f64 313060547623/100000000000 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z)) (+.f64 (/.f64 a (pow.f64 z 3)) (/.f64 t (*.f64 z z))))) (+.f64 (/.f64 3652704169880641883561/100000000000000000000 z) (fma.f64 15234687407/1000000000 (/.f64 t (pow.f64 z 3)) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (pow.f64 z 3))))) x) | |
| ✓ | 23.9b | (fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) x) |
| ▶ | 23.9b | (+.f64 (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) (fma.f64 55833770631/5000000000 (*.f64 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) (+.f64 (fma.f64 313060547623/100000000000 (*.f64 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) x) (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b))))) |
| 35.0b | (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 y (*.f64 z z)) (+.f64 (/.f64 a z) 45796100221584283915100827016327/100000000000000000000000000000)) (fma.f64 313060547623/100000000000 y x)) (*.f64 (/.f64 y z) (-.f64 (/.f64 t z) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (*.f64 z z))))) (fma.f64 3652704169880641883561/100000000000000000000 (/.f64 y z) (/.f64 15234687407/1000000000 (/.f64 (pow.f64 z 3) (*.f64 t y))))) |
Compiled 12892 to 8657 computations (32.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 9.7b | (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b)) |
| ✓ | 20.5b | (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) |
| 21.9b | (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) | |
| 22.2b | (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) |
2 calls:
| 313.0ms | (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b)) |
| 309.0ms | (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) |
| 1× | batch-egg-rewrite |
| 265× | log1p-expm1-u_binary64 |
| 265× | expm1-log1p-u_binary64 |
| 263× | add-cbrt-cube_binary64 |
| 260× | add-log-exp_binary64 |
| 259× | add-cube-cbrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 64 |
| 1 | 564 | 64 |
| 1× | node limit |
2 calls:
| 37.0ms | (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b)) |
| 37.0ms | (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) |
| 1× | egg-herbie |
| 480× | cancel-sign-sub-inv_binary64 |
| 383× | times-frac_binary64 |
| 285× | associate-/l*_binary64 |
| 227× | fma-neg_binary64 |
| 225× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 173 | 3302 |
| 1 | 592 | 3264 |
| 2 | 2024 | 3078 |
| 1× | node limit |
9 alts after pruning (5 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 145 | 1 | 146 |
| Fresh | 1 | 4 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 146 | 9 | 155 |
| Status | Error | Program |
| 28.9b | (+.f64 (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) (fma.f64 55833770631/5000000000 (*.f64 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) (+.f64 (fma.f64 313060547623/100000000000 (*.f64 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) x) (-.f64 (+.f64 (*.f64 1000000000000/607771387771 (*.f64 y b)) (*.f64 1000000000000/607771387771 (*.f64 a (*.f64 y z)))) (*.f64 11940090572100000000000000/369386059793087248348441 (*.f64 y (*.f64 b z))))))) | |
| ✓ | 23.9b | (+.f64 (/.f64 (*.f64 z (*.f64 z t)) (/.f64 (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000)))) y)) (fma.f64 55833770631/5000000000 (*.f64 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) (+.f64 (fma.f64 313060547623/100000000000 (*.f64 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) y) x) (*.f64 (/.f64 y (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 a z b))))) |
| ✓ | 23.9b | (fma.f64 y (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)) x) |
| 35.5b | (-.f64 (+.f64 (/.f64 (*.f64 y t) (pow.f64 z 2)) (+.f64 (*.f64 313060547623/100000000000 y) (+.f64 (*.f64 45796100221584283915100827016327/100000000000000000000000000000 (/.f64 y (pow.f64 z 2))) x))) (*.f64 3652704169880641883561/100000000000000000000 (/.f64 y z))) | |
| 29.7b | (fma.f64 y (fma.f64 1000000000000/607771387771 (fma.f64 a z b) (*.f64 (*.f64 b z) -11940090572100000000000000/369386059793087248348441)) x) | |
| 31.5b | (fma.f64 y (-.f64 (+.f64 313060547623/100000000000 (+.f64 (/.f64 45796100221584283915100827016327/100000000000000000000000000000 (*.f64 z z)) (+.f64 (/.f64 a (pow.f64 z 3)) (/.f64 t (*.f64 z z))))) (+.f64 (/.f64 3652704169880641883561/100000000000000000000 z) (fma.f64 15234687407/1000000000 (/.f64 t (pow.f64 z 3)) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (pow.f64 z 3))))) x) | |
| ✓ | 23.9b | (fma.f64 y (*.f64 (/.f64 1 (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000))) (/.f64 (fma.f64 z (fma.f64 z (fma.f64 z (fma.f64 z 313060547623/100000000000 55833770631/5000000000) t) a) b) (sqrt.f64 (fma.f64 z (fma.f64 z (fma.f64 z (+.f64 z 15234687407/1000000000) 314690115749/10000000000) 119400905721/10000000000) 607771387771/1000000000000)))) x) |
| ✓ | 22.8b | (fma.f64 y (+.f64 (/.f64 b (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (+.f64 (*.f64 (/.f64 t (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 z z)) (fma.f64 55833770631/5000000000 (/.f64 (pow.f64 z 3) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (fma.f64 313060547623/100000000000 (/.f64 (pow.f64 z 4) (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) (*.f64 (/.f64 a (+.f64 607771387771/1000000000000 (+.f64 (*.f64 (pow.f64 z 3) (+.f64 15234687407/1000000000 z)) (*.f64 z (fma.f64 z 314690115749/10000000000 119400905721/10000000000))))) z))))) x) |
| 35.0b | (-.f64 (+.f64 (+.f64 (*.f64 (/.f64 y (*.f64 z z)) (+.f64 (/.f64 a z) 45796100221584283915100827016327/100000000000000000000000000000)) (fma.f64 313060547623/100000000000 y x)) (*.f64 (/.f64 y z) (-.f64 (/.f64 t z) (/.f64 586480252826990429730394679450703430294089/100000000000000000000000000000000000000 (*.f64 z z))))) (fma.f64 3652704169880641883561/100000000000000000000 (/.f64 y z) (/.f64 15234687407/1000000000 (/.f64 (pow.f64 z 3) (*.f64 t y))))) |
Compiled 15318 to 10360 computations (32.4% saved)
Total 0.3b remaining (87.4%)
Threshold costs 0.3b (87.4%)
Compiled 134024 to 96084 computations (28.3% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 5 | 1.216452970090116e+66 | 2.1958185913808997e+71 | 1.5903767345779396e+71 |
| 7 | -2.6228613377750524e+59 | -2.9226355497530527e+57 | -6.561900238294925e+57 |
Compiled 7 to 6 computations (14.3% saved)
| 1× | egg-herbie |
| 15× | +-commutative_binary64 |
| 8× | *-commutative_binary64 |
| 5× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 258 |
| 1 | 87 | 258 |
| 2 | 97 | 258 |
| 3 | 106 | 258 |
| 4 | 111 | 258 |
| 5 | 113 | 258 |
| 1× | saturated |
Compiled 923 to 641 computations (30.6% saved)
Loading profile data...