Time bar (total: 10.2s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 6.2% | 93.6% | 0.2% | 8 |
| 25% | 74.9% | 0.2% | 9 |
| 28.1% | 71.7% | 0.2% | 10 |
| 29.6% | 70.2% | 0.2% | 11 |
| 53% | 46.8% | 0.2% | 12 |
| 71.3% | 28.5% | 0.2% | 13 |
| 71.7% | 28.1% | 0.2% | 14 |
Compiled 16 to 12 computations (25% saved)
| 1× | intervals |
| 10.0ms | 256× | body | 128 | valid |
| 1.0ms | 20× | body | 128 | invalid |
Compiled 31 to 27 computations (12.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (2.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 30 |
| 1 | 18 | 30 |
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 |
Compiled 30 to 22 computations (26.7% saved)
Found 6 expressions with local error:
| 26.7b | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.0b | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 0.0b | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 26.7b | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 1× | rewrite-expression-head |
| 11× | add-sqr-sqrt_binary64_1464 add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442 |
| 9× | times-frac_binary64_1448 |
| 7× | add-log-exp_binary64_1481 |
| 5× | add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 |
| 4× | flip3-+_binary64_1445 flip-+_binary64_1416 |
| 3× | associate-/r*_binary64_1386 associate-/l*_binary64_1387 pow1_binary64_1503 |
| 2× | sum-log_binary64_1533 associate-/l/_binary64_1389 associate-/r/_binary64_1388 +-commutative_binary64_1372 |
| 1× | cbrt-undiv_binary64_1476 div-inv_binary64_1439 clear-num_binary64_1441 frac-2neg_binary64_1453 div-exp_binary64_1493 |
6 calls:
| 9.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 4.0ms | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 4.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.0ms | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 0.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
3 calls:
| 291.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 135.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 84.0ms | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
Compiled 1290 to 1074 computations (16.7% saved)
| 1× | egg-herbie |
Useful iterations: 0 (72.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5051 | 2576 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 105 | 8 | 113 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 106 | 8 | 114 |
Compiled 2231 to 818 computations (63.3% saved)
Found 8 expressions with local error:
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.1b | (/.f64 (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)))) |
| 0.0b | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 0.0b | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 16.5b | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 30.2b | (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 30.2b | (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 1× | rewrite-expression-head |
| 43× | *-un-lft-identity_binary64_1442 |
| 28× | sqrt-prod_binary64_1458 |
| 25× | add-sqr-sqrt_binary64_1464 |
| 24× | times-frac_binary64_1448 |
| 23× | add-cube-cbrt_binary64_1477 |
| 10× | distribute-lft-out_binary64_1393 unpow-prod-down_binary64_1521 |
| 8× | associate-/r*_binary64_1386 |
| 6× | add-cbrt-cube_binary64_1478 sqrt-div_binary64_1459 add-log-exp_binary64_1481 add-exp-log_binary64_1480 pow1_binary64_1503 |
| 5× | flip3-+_binary64_1445 flip-+_binary64_1416 |
| 3× | associate-/l*_binary64_1387 |
| 2× | sqrt-pow1_binary64_1460 rem-sqrt-square_binary64_1455 associate-/l/_binary64_1389 associate-/r/_binary64_1388 pow1/2_binary64_1522 |
| 1× | cbrt-undiv_binary64_1476 sum-log_binary64_1533 div-inv_binary64_1439 clear-num_binary64_1441 +-commutative_binary64_1372 frac-2neg_binary64_1453 div-exp_binary64_1493 |
8 calls:
| 15.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 8.0ms | (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 4.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 4.0ms | (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 0.0ms | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
4 calls:
| 401.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 155.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 133.0ms | (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 126.0ms | (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
Compiled 3500 to 2730 computations (22% saved)
| 1× | egg-herbie |
Useful iterations: 0 (73.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4960 | 4771 |
| 1 | 4960 | 4771 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 186 | 0 | 186 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 186 | 8 | 194 |
Compiled 5619 to 2278 computations (59.5% saved)
Found 8 expressions with local error:
| 26.2b | (*.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 0.7b | (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.0b | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 0.0b | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.7b | (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 26.2b | (*.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 1× | rewrite-expression-head |
| 57× | *-un-lft-identity_binary64_1442 |
| 32× | times-frac_binary64_1448 |
| 31× | add-sqr-sqrt_binary64_1464 |
| 24× | add-cube-cbrt_binary64_1477 |
| 21× | associate-*r*_binary64_1382 |
| 17× | add-exp-log_binary64_1480 |
| 16× | distribute-lft-out_binary64_1393 unpow-prod-down_binary64_1521 |
| 11× | add-cbrt-cube_binary64_1478 |
| 8× | add-log-exp_binary64_1481 |
| 7× | pow1_binary64_1503 |
| 6× | flip3-+_binary64_1445 flip-+_binary64_1416 |
| 5× | associate-/r*_binary64_1386 |
| 4× | associate-/r/_binary64_1388 prod-exp_binary64_1491 div-exp_binary64_1493 |
| 3× | associate-/l*_binary64_1387 associate-*l*_binary64_1383 unswap-sqr_binary64_1410 |
| 2× | cbrt-undiv_binary64_1476 cbrt-unprod_binary64_1475 sum-log_binary64_1533 div-inv_binary64_1439 1-exp_binary64_1486 +-commutative_binary64_1372 rec-exp_binary64_1492 frac-times_binary64_1452 associate-*l/_binary64_1385 |
| 1× | associate-*r/_binary64_1384 inv-pow_binary64_1527 clear-num_binary64_1441 pow-prod-down_binary64_1513 *-commutative_binary64_1373 pow-flip_binary64_1516 frac-2neg_binary64_1453 un-div-inv_binary64_1440 |
8 calls:
| 21.0ms | (*.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 10.0ms | (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 8.0ms | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 4.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.0ms | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
4 calls:
| 296.0ms | (*.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) |
| 142.0ms | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 87.0ms | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 60.0ms | (/.f64 1 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
Compiled 1689 to 1506 computations (10.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (51.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4932 | 3708 |
| 1 | 4932 | 3708 |
8 alts after pruning (6 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 182 | 0 | 182 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 182 | 8 | 190 |
Compiled 3765 to 1995 computations (47% saved)
Found 8 expressions with local error:
| 0.3b | (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) |
| 0.0b | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 0.0b | (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)) |
| 0.0b | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
| 22.9b | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))) |
| 31.2b | (cbrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 31.2b | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 31.2b | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 1× | rewrite-expression-head |
| 18× | cbrt-div_binary64_1474 |
| 17× | *-un-lft-identity_binary64_1442 |
| 13× | cbrt-prod_binary64_1473 |
| 10× | flip3-+_binary64_1445 flip-+_binary64_1416 |
| 9× | add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 add-cube-cbrt_binary64_1477 |
| 8× | associate-/r/_binary64_1388 |
| 7× | add-cbrt-cube_binary64_1478 |
| 4× | add-log-exp_binary64_1481 distribute-lft-out_binary64_1393 frac-times_binary64_1452 pow1_binary64_1503 unpow-prod-down_binary64_1521 |
| 3× | times-frac_binary64_1448 associate-/l*_binary64_1387 pow1/3_binary64_1524 |
| 2× | associate-*r/_binary64_1384 cbrt-undiv_binary64_1476 associate-/l/_binary64_1389 associate-*l/_binary64_1385 div-exp_binary64_1493 |
| 1× | associate-/r*_binary64_1386 cbrt-unprod_binary64_1475 div-inv_binary64_1439 clear-num_binary64_1441 frac-2neg_binary64_1453 prod-exp_binary64_1491 |
8 calls:
| 27.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))) |
| 7.0ms | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 7.0ms | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 4.0ms | (cbrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 0.0ms | (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im)) |
4 calls:
| 958.0ms | (/.f64 (+.f64 (*.f64 x.re y.re) (*.f64 x.im y.im)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))) |
| 176.0ms | (cbrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 y.im y.im))) |
| 171.0ms | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
| 169.0ms | (cbrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) |
Compiled 3642 to 2982 computations (18.1% saved)
| 1× | egg-herbie |
Useful iterations: 0 (87.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4960 | 3482 |
| 1 | 4960 | 3482 |
8 alts after pruning (5 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 134 | 0 | 134 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 134 | 8 | 142 |
Compiled 4967 to 2542 computations (48.8% saved)
| 1× | egg-herbie |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 250 | 1683 |
| 1 | 250 | 1683 |
Compiled 4526 to 3297 computations (27.2% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.261012177257102e+79 | 9.232655022452831e+86 | 1.315316451044619e+86 |
| 6 | 1.4455124447971334e-123 | 7.993289479926725e-123 | 2.1472644582174967e-123 |
| 10 | -1.5447351947110331e-100 | -1.2451099552022908e-113 | -8.849808015292707e-110 |
| 8 | -4.362551450141799e+80 | -1.5989624956840602e+77 | -2.7839182926984815e+79 |
Compiled 1 to 4 computations (-300% saved)
Compiled 2326 to 1852 computations (20.4% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.261012177257102e+79 | 9.232655022452831e+86 | 4.534169458994563e+85 |
| 6 | 1.4455124447971334e-123 | 7.993289479926725e-123 | 4.231028026572649e-123 |
| 10 | -1.5447351947110331e-100 | -1.2451099552022908e-113 | -3.697868456727824e-105 |
| 8 | -4.362551450141799e+80 | -1.5989624956840602e+77 | -3.88489195189713e+80 |
Compiled 1 to 4 computations (-300% saved)
Compiled 891 to 877 computations (1.6% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.261012177257102e+79 | 9.232655022452831e+86 | 7.627044215435255e+80 |
| 6 | 1.4455124447971334e-123 | 7.993289479926725e-123 | 2.7738332462896228e-123 |
| 10 | -1.5447351947110331e-100 | -1.2451099552022908e-113 | -2.5452377900992097e-111 |
| 8 | -4.362551450141799e+80 | -1.5989624956840602e+77 | -3.067174421205907e+78 |
Compiled 1 to 4 computations (-300% saved)
Compiled 426 to 472 computations (-10.8% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 1.0809080973822217e+148 | 1.872942754955432e+148 | 1.285252112405183e+148 |
| 6 | 1.4455124447971334e-123 | 7.993289479926725e-123 | 1.577656469061019e-123 |
| 10 | -1.5447351947110331e-100 | -1.2451099552022908e-113 | -1.2072253979978834e-112 |
| 8 | -4.362551450141799e+80 | -1.5989624956840602e+77 | -1.4298120870909682e+80 |
Compiled 1 to 4 computations (-300% saved)
Compiled 371 to 422 computations (-13.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 4 | 1.0809080973822217e+148 | 1.872942754955432e+148 | 1.5945629769053138e+148 |
| 6 | 1.4455124447971334e-123 | 7.993289479926725e-123 | 4.3449496244039453e-123 |
| 9 | -4.842386570855476e-123 | -1.6010944888570607e-131 | -4.376913782191672e-128 |
| 8 | -4.362551450141799e+80 | -1.5989624956840602e+77 | -8.061965778995371e+78 |
Compiled 1 to 4 computations (-300% saved)
Compiled 132 to 204 computations (-54.5% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.261012177257102e+79 | 9.232655022452831e+86 | 6.528621872342922e+83 |
| 9 | 4.782406745779112e+39 | 6.3437690306833865e+44 | 1.4572556395906934e+44 |
| 9 | 3.721174892280916e-55 | 1.4967404820226354e-47 | 1.0125679456766562e-47 |
| 8 | -1.2451099552022908e-113 | -1.0941812263563016e-116 | -5.953797694454756e-116 |
| 10 | -3.33646812185011e+40 | -6.261549615938781e+30 | -5.4255857942412725e+39 |
Compiled 1 to 4 computations (-300% saved)
Compiled 88 to 168 computations (-90.9% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 5.261012177257102e+79 | 9.232655022452831e+86 | 3.4503959034734146e+81 |
| 4 | -1.4759290785408983e-74 | -8.624414968021159e-75 | -1.4560731490103253e-74 |
| 9 | -4000405.996115119 | -1.6834101773030716 | -2271.1008849571535 |
| 7 | -2.5571681320258447e+43 | -1.1605460571496514e+42 | -1.1727455119206626e+42 |
Compiled 1 to 4 computations (-300% saved)
Compiled 32 to 112 computations (-250% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 6 | -1.6934845283067424e+131 | -1.5117820023391907e+130 | -1.4722939306885992e+131 |
Compiled 1 to 4 computations (-300% saved)
Total 9.5b remaining (66.1%)
Threshold costs 0b (0%)
Compiled 20 to 92 computations (-360% saved)
Compiled 448 to 240 computations (46.4% saved)
| 1× | egg-herbie |
Useful iterations: 0 (3.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 151 | 835 |
| 1 | 151 | 835 |
| 1× | intervals |
| 338.0ms | 8000× | body | 128 | valid |
| 18.0ms | 443× | body | 128 | invalid |
Compiled 1345 to 897 computations (33.3% saved)
0.9448859384098013
Loading profile data...