| Date: | Thursday, February 11th, 2021 |
|---|---|
| Commit: | bc7b0354 on mpmf-cost-baseline |
| Hostname: | warfa with Racket 7.9 |
| Seed: | 2021042 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback default |
Time bar (total: 11.6min)
316 calls:
| 36.0s | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
| 35.9s | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
| 35.4s | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
| 35.3s | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
| 35.3s | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
Compiled 246180 to 194251 computations (21.1% saved)
| 56× | intervals |
| 46.3s | 36850× | body | 2048 | valid |
| 34.0s | 66570× | body | 1024 | valid |
| 9.9s | 34752× | body | 512 | valid |
| 5.7s | 73747× | body | 128 | valid |
| 3.0s | 17072× | body | 256 | valid |
| 2.2s | 1474× | body | 1024 | nan |
| 1.6s | 2175× | body | 4096 | valid |
| 1.3s | 42992× | pre | 128 | true |
| 1.0s | 2987× | body | 128 | overflowed |
| 654.0ms | 737× | body | 512 | nan |
| 355.0ms | 3881× | body | 128 | nan |
| 351.0ms | 371× | body | 2048 | overflowed |
| 341.0ms | 585× | body | 1024 | overflowed |
| 307.0ms | 179× | body | 1024 | invalid |
| 203.0ms | 218× | body | 512 | invalid |
| 186.0ms | 1730× | body | 128 | invalid |
| 186.0ms | 412× | body | 256 | nan |
| 117.0ms | 296× | body | 512 | overflowed |
| 73.0ms | 144× | body | 256 | invalid |
| 37.0ms | 152× | body | 256 | overflowed |
| 11.0ms | 6× | body | 2048 | nan |
| 7.0ms | 2× | body | 8192 | valid |
| 5.0ms | 4× | body | 2048 | invalid |
Compiled 73013 to 53287 computations (27% saved)
Compiled 386173 to 226843 computations (41.3% saved)
| 186× | egg-herbie |
| 28× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 90.9% | 9.1% | 0 |
| 14.3% | 76.7% | 9.1% | 1 |
| 21.4% | 67.8% | 10.9% | 2 |
| 33.2% | 51.7% | 15.1% | 3 |
| 37.6% | 44.1% | 18.2% | 4 |
| 43.8% | 36.2% | 19.9% | 5 |
| 46.6% | 32.5% | 20.9% | 6 |
| 48.1% | 29.6% | 22.3% | 7 |
| 49.9% | 27.4% | 22.7% | 8 |
| 51.1% | 25.4% | 23.5% | 9 |
| 51.5% | 24.3% | 24.2% | 10 |
| 52.4% | 22.9% | 24.7% | 11 |
| 53.2% | 21.5% | 25.2% | 12 |
| 53.5% | 20.9% | 25.6% | 13 |
| 53.9% | 20.1% | 26% | 14 |
Compiled 332 to 278 computations (16.3% saved)
Total 27.2b remaining (55.2%)
Threshold costs 5.3b (10.8%)
| 6.7b | 61.5% | 2nthrt (problem 3.4.6) |
| 4.7b | 83.5% | quadp (p42, positive) |
| 4.6b | 83.7% | quad2p (problem 3.2.1, positive) |
| 3.3b | 0% | expq3 (problem 3.4.2) |
| 1.4b | 94% | quadm (p42, negative) |
Compiled 54342 to 38958 computations (28.3% saved)
| 102× | rewrite-expression-head |
| 1025× | *-un-lft-identity_binary64_3068 |
| 983× | times-frac_binary64_410 |
| 907× | sqrt-prod_binary64_3084 |
| 806× | add-sqr-sqrt_binary64_426 |
| 770× | *-un-lft-identity_binary64_404 |
| 702× | times-frac_binary64_3074 |
| 647× | add-sqr-sqrt_binary64 |
| 547× | *-un-lft-identity_binary64 |
| 542× | times-frac_binary64 |
| 531× | add-cube-cbrt_binary64_439 |
| 399× | *-un-lft-identity_binary64_1070 distribute-lft-out_binary64_3019 |
| 387× | add-sqr-sqrt_binary64_1092 |
| 376× | *-un-lft-identity_binary64_737 |
| 375× | add-sqr-sqrt_binary64_759 |
| 344× | add-sqr-sqrt_binary64_93 |
| 339× | *-un-lft-identity_binary64_3401 |
| 334× | add-sqr-sqrt_binary64_3090 |
| 329× | add-sqr-sqrt_binary64_3423 |
| 321× | add-cube-cbrt_binary64_3103 |
| 317× | add-cube-cbrt_binary64 |
| 310× | *-un-lft-identity_binary64_71 |
| 308× | times-frac_binary64_1076 |
| 288× | times-frac_binary64_3407 |
| 277× | *-un-lft-identity_binary64_2069 |
| 272× | times-frac_binary64_743 |
| 271× | times-frac_binary64_77 |
| 244× | add-cube-cbrt_binary64_106 |
| 235× | add-cube-cbrt_binary64_772 |
| 229× | add-cube-cbrt_binary64_1105 |
| 219× | add-sqr-sqrt_binary64_2091 |
| 211× | sqrt-prod_binary64_3417 |
| 191× | add-log-exp_binary64_110 |
| 174× | times-frac_binary64_2075 |
| 173× | add-exp-log_binary64_109 |
| 161× | add-cube-cbrt_binary64_3436 |
| 150× | difference-of-squares_binary64 |
| 143× | add-exp-log_binary64_442 |
| 140× | log-prod_binary64_2155 |
| 131× | associate-/r*_binary64_348 |
| 130× | difference-of-squares_binary64_373 |
| 128× | add-exp-log_binary64 |
| 127× | add-cbrt-cube_binary64_107 |
| 126× | add-exp-log_binary64_775 sqrt-prod_binary64_420 |
| 118× | pow1_binary64_1131 |
| 117× | add-exp-log_binary64_1108 |
| 115× | cbrt-prod_binary64_102 add-cbrt-cube_binary64_440 |
| 114× | add-sqr-sqrt_binary64_2424 distribute-lft-out--_binary64 |
| 112× | add-cbrt-cube_binary64_773 |
| 111× | add-cbrt-cube_binary64_1106 |
| 110× | add-cbrt-cube_binary64 |
| 109× | add-cube-cbrt_binary64_2104 add-exp-log_binary64_3439 |
| 103× | cbrt-prod_binary64_768 |
| 98× | add-log-exp_binary64_443 |
| 93× | difference-of-squares_binary64_1039 |
| 91× | add-log-exp_binary64_776 |
| 89× | associate-/r*_binary64 add-log-exp_binary64 |
| 84× | sqrt-prod_binary64_2085 |
| 83× | sum-log_binary64_162 |
| 82× | add-sqr-sqrt_binary64_1425 |
| 80× | pow1_binary64_465 add-log-exp_binary64_1109 |
| 79× | associate-*l*_binary64_12 distribute-lft-out--_binary64_356 |
| 76× | *-un-lft-identity_binary64_1403 |
| 75× | pow1_binary64_132 |
| 72× | *-un-lft-identity_binary64_2402 |
| 71× | pow1_binary64_798 |
| 70× | associate-*r*_binary64_2342 |
| 68× | sqrt-prod_binary64 |
| 67× | pow1_binary64 associate-*r/_binary64_1012 |
| 66× | unpow-prod-down_binary64_3147 |
| 62× | difference-of-squares_binary64_2038 distribute-lft-out_binary64_3352 |
| 61× | add-cbrt-cube_binary64_3437 tan-quot_binary64_1229 |
| 58× | pow1_binary64_1464 |
| 57× | add-cube-cbrt_binary64_1438 associate-*r*_binary64_677 associate-*r*_binary64 |
| 56× | cancel-sign-sub-inv_binary64_370 add-exp-log_binary64_2440 add-cube-cbrt_binary64_2437 div-exp_binary64_122 flip-+_binary64_45 flip3-+_binary64_74 |
| 52× | associate-*l*_binary64_678 cancel-sign-sub-inv_binary64_703 |
| 50× | cancel-sign-sub-inv_binary64 |
| 49× | cancel-sign-sub-inv_binary64_1036 associate-/l*_binary64_3013 associate-/l*_binary64_3346 |
| 48× | associate-+r+_binary64_2001 distribute-lft-out_binary64_355 |
| 47× | flip3--_binary64 associate-*r*_binary64_11 flip--_binary64 sqrt-div_binary64_421 add-log-exp_binary64_1442 |
| 46× | div-exp_binary64_455 associate-/l*_binary64 add-exp-log_binary64_1441 |
| 45× | flip3--_binary64_1074 flip--_binary64_1045 associate-/r*_binary64_1014 associate-/l*_binary64_349 |
| 44× | difference-of-squares_binary64_706 |
| 43× | associate-*r*_binary64_3341 |
| 42× | frac-times_binary64_1080 add-cbrt-cube_binary64_1439 pow1_binary64_3462 |
| 41× | associate-/l*_binary64_16 div-inv_binary64_401 |
| 40× | distribute-lft-out_binary64_2020 div-exp_binary64_3452 associate-*l*_binary64_3342 *-un-lft-identity_binary64_1736 frac-add_binary64_79 |
| 38× | frac-add_binary64_1078 unpow-prod-down_binary64_483 |
| 37× | distribute-lft-out--_binary64_1022 flip3--_binary64_408 unpow-prod-down_binary64_150 difference-of-squares_binary64_3370 flip--_binary64_379 distribute-lft-out_binary64_688 add-cbrt-cube_binary64_2438 |
| 36× | associate-/r/_binary64 add-exp-log_binary64_2107 cbrt-undiv_binary64_105 sqrt-div_binary64_3085 add-exp-log_binary64_3106 times-frac_binary64_2408 |
| 34× | associate-/l*_binary64_1015 |
| 33× | cancel-sign-sub-inv_binary64_3367 distribute-lft-out_binary64_1021 associate-/r*_binary64_3012 |
| 32× | associate-/r*_binary64_15 prod-exp_binary64_786 frac-sub_binary64_80 prod-exp_binary64_120 associate-*l*_binary64_1011 div-exp_binary64 |
| 31× | diff-log_binary64_163 associate-/r*_binary64_3345 div-inv_binary64_734 log-prod_binary64_1822 distribute-lft-out--_binary64_2021 cbrt-prod_binary64_1101 |
| 30× | flip-+_binary64_1044 associate-/l*_binary64_682 flip3-+_binary64_1073 |
| 29× | pow1/3_binary64_153 pow-prod-down_binary64_1141 distribute-lft-out--_binary64_689 associate-/r*_binary64_681 |
| 28× | cbrt-undiv_binary64_438 associate-/r/_binary64_3014 |
| 27× | add-sqr-sqrt_binary64_1758 associate-*r*_binary64_1010 log-prod_binary64_490 unswap-sqr_binary64_3369 |
| 26× | associate-/r/_binary64_3347 sqrt-div_binary64_3418 cbrt-unprod_binary64_770 associate-/l/_binary64_1017 associate-/r/_binary64_350 flip3-+_binary64_407 cube-prod_binary64_432 flip-+_binary64_378 add-exp-log_binary64_2773 |
| 25× | pow1_binary64_2463 associate-*l/_binary64_1013 unswap-sqr_binary64_705 unswap-sqr_binary64_39 |
| 24× | cbrt-div_binary64_103 prod-exp_binary64_3450 cbrt-undiv_binary64 add-cbrt-cube_binary64_3104 associate-*r/_binary64_13 prod-exp_binary64_2451 cancel-sign-sub-inv_binary64_37 div-inv_binary64 add-log-exp_binary64_2774 |
| 23× | cbrt-unprod_binary64_1103 *-un-lft-identity_binary64_2735 flip-+_binary64_3375 div-inv_binary64_68 associate-*r*_binary64_1343 add-sqr-sqrt_binary64_2757 prod-exp_binary64_1119 flip3-+_binary64_3404 div-inv_binary64_1067 |
| 22× | diff-log_binary64 add-log-exp_binary64_3440 flip3--_binary64_741 flip--_binary64_712 distribute-lft-out--_binary64_3353 pow1_binary64_3129 cbrt-unprod_binary64_104 |
| 21× | flip3-+_binary64_3071 difference-of-squares_binary64_40 flip3-+_binary64_740 add-log-exp_binary64_2441 flip-+_binary64_711 diff-log_binary64_496 flip-+_binary64_3042 |
| 20× | add-cbrt-cube_binary64_2771 sqrt-prod_binary64_2418 prod-exp_binary64 associate-*l*_binary64_2343 add-cbrt-cube_binary64_2105 log-prod_binary64_1489 unpow-prod-down_binary64_2481 cbrt-prod_binary64_435 |
| 19× | sub-neg_binary64 unswap-sqr_binary64_2370 associate-*l*_binary64_1344 pow-unpow_binary64_148 associate-*r/_binary64_3343 pow1_binary64_2130 add-cube-cbrt_binary64_1771 distribute-lft-out_binary64_22 difference-of-sqr-1_binary64_1040 associate-*r/_binary64_679 div-exp_binary64_788 add-log-exp_binary64_3107 |
| 18× | frac-sub_binary64_413 associate-+l+_binary64_1003 associate-*l*_binary64_2010 sub-neg_binary64_397 pow1_binary64_2796 log-pow_binary64_1492 |
| 17× | cbrt-undiv_binary64_3435 associate-*r*_binary64_2009 cbrt-undiv_binary64_771 |
| 16× | times-frac_binary64_1409 swap-sqr_binary64_704 cbrt-unprod_binary64 div-inv_binary64_3398 sqrt-div_binary64 |
| 15× | associate-/r/_binary64_1016 rec-exp_binary64_3451 1-exp_binary64_3445 div-exp_binary64_1121 sum-log_binary64_828 frac-add_binary64_412 add-cube-cbrt_binary64_2770 swap-sqr_binary64_38 |
| 14× | associate-/r/_binary64_683 div-inv_binary64_3065 distribute-rgt-in_binary64_1686 sub-neg_binary64_730 distribute-lft-in_binary64_1685 cbrt-prod_binary64_1434 associate-*l*_binary64 cancel-sign-sub-inv_binary64_2368 |
| 13× | add-log-exp_binary64_2108 distribute-lft-out--_binary64_23 frac-add_binary64_745 pow1_binary64_1797 pow1/2_binary64_484 pow-prod-down_binary64_808 cbrt-undiv_binary64_1104 div-exp_binary64_3119 sqrt-pow1_binary64_422 pow1/3_binary64_1152 pow-flip_binary64_3475 rem-sqrt-square_binary64_417 sub-neg_binary64_1063 |
| 12× | difference-of-sqr-1_binary64_707 distribute-lft-in_binary64_686 cbrt-unprod_binary64_2435 associate-/l*_binary64_2014 cbrt-unprod_binary64_437 unswap-sqr_binary64 distribute-rgt-in_binary64_687 unpow-prod-down_binary64_2148 pow-prod-down_binary64_3472 sqr-pow_binary64_43 cube-prod_binary64_2430 unpow-prod-down_binary64_816 prod-exp_binary64_453 add-log-exp_binary64_1775 |
| 11× | frac-sub_binary64_1079 associate-*r*_binary64_2675 *-commutative_binary64_668 pow1/2_binary64_3481 sqrt-pow1_binary64_3419 sqr-pow_binary64_3040 associate-/r*_binary64_2013 clear-num_binary64_403 frac-2neg_binary64_415 sum-log_binary64_1494 |
| 10× | associate-/l/_binary64 +-commutative_binary64_667 cbrt-unprod_binary64_3434 clear-num_binary64 div-sub_binary64_76 diff-log_binary64_829 unswap-sqr_binary64_1038 frac-2neg_binary64 unswap-sqr_binary64_2037 log-pow_binary64_2158 log-div_binary64_1490 associate-/r/_binary64_2015 sqr-pow_binary64_376 |
| 9× | pow1/3_binary64_819 prod-exp_binary64_1452 prod-exp_binary64_2118 *-commutative_binary64_1001 distribute-lft-out_binary64_1687 associate--l+_binary64_1673 add-cbrt-cube_binary64_1772 clear-num_binary64_70 sqr-pow_binary64_1042 add-exp-log_binary64_1774 cbrt-unprod_binary64_1436 diff-log_binary64_1162 unpow3_binary64_1136 unpow-prod-down_binary64_1149 prod-exp_binary64_2784 cube-prod_binary64_1098 difference-of-squares_binary64_2371 frac-2neg_binary64_82 pow-prod-down_binary64_1474 |
| 8× | pow-prod-down_binary64 frac-2neg_binary64_1081 flip3-+_binary64_1406 unpow-prod-down_binary64 associate-+r-_binary64_5 pow1/2_binary64 sqr-pow_binary64_2374 associate-*r*_binary64_1676 clear-num_binary64_1069 distribute-rgt-out--_binary64_1024 sqrt-div_binary64_2086 frac-add_binary64_3409 sqrt-pow1_binary64 frac-2neg_binary64_748 unpow-prod-down_binary64_1482 associate-/r/_binary64_17 pow-prod-down_binary64_142 rem-sqrt-square_binary64 flip-+_binary64_1377 *-commutative_binary64_2333 cube-prod_binary64_1431 clear-num_binary64_736 |
| 7× | unswap-sqr_binary64_1371 clear-num_binary64_3400 associate-/l/_binary64_351 cbrt-div_binary64_769 flip-+_binary64_2043 log-pow_binary64_493 flip3-+_binary64_2072 associate-+l+_binary64_2002 distribute-lft-out--_binary64_2354 associate-*l*_binary64_1677 swap-sqr_binary64_1037 distribute-neg-in_binary64_2030 inv-pow_binary64_3486 frac-2neg_binary64_3412 distribute-rgt-in_binary64_1020 sum-log_binary64_1161 distribute-rgt-out_binary64_3354 distribute-lft-in_binary64_1019 *-commutative_binary64_1334 |
| 6× | flip--_binary64_46 flip3--_binary64_75 log-div_binary64_158 sqrt-pow1_binary64_3086 associate-*l*_binary64_345 cancel-sign-sub-inv_binary64_1369 pow1/2_binary64_3148 difference-of-sqr-1_binary64_374 associate--r+_binary64_1672 frac-times_binary64_81 div-inv_binary64_2399 sum-log_binary64_495 *-commutative_binary64_2 rec-exp_binary64_121 pow-prod-up_binary64_1140 sqr-pow_binary64_2041 pow-prod-down_binary64_2473 difference-of-squares_binary64_1372 pow-sqr_binary64_1043 associate-/l/_binary64_18 cbrt-undiv_binary64_3102 unpow3_binary64_470 cancel-sign-sub-inv_binary64_3034 cube-mult_binary64_434 associate-+l-_binary64_6 1-exp_binary64_115 cbrt-div_binary64_1102 sqr-pow_binary64_709 *-commutative_binary64 |
| 5× | pow-sqr_binary64_44 pow-to-exp_binary64_2471 log-div_binary64_491 rec-exp_binary64_454 div-inv_binary64_2066 rem-log-exp_binary64_2110 pow-prod-up_binary64_141 +-commutative_binary64_1333 log-div_binary64_2156 pow-to-exp_binary64_140 flip--_binary64_1378 rem-sqrt-square_binary64_3081 distribute-rgt-neg-in_binary64 frac-times_binary64_747 pow-exp_binary64_139 associate--l+_binary64_341 1-exp_binary64_448 associate-/l/_binary64_684 associate-+l+_binary64_670 associate-*l/_binary64_680 cbrt-unprod_binary64_2768 pow-exp_binary64_2470 sub-neg_binary64_64 flip3--_binary64_1407 |
| 4× | sin-mult_binary64_1225 pow-flip_binary64_3142 associate-/r*_binary64_1347 pow-exp_binary64_2803 pow-prod-down_binary64_475 flip3-+_binary64_2738 log-pow_binary64_1825 distribute-rgt-in_binary64_354 rec-exp_binary64 difference-of-squares_binary64_3037 1-exp_binary64 associate-*r*_binary64_344 associate-/l*_binary64_1348 cube-prod_binary64_2097 associate--l-_binary64_9 associate-/l/_binary64_2016 distribute-lft-out_binary64_1354 +-commutative_binary64_1000 distribute-lft-in_binary64_353 pow-prod-down_binary64_2806 pow-pow_binary64_143 div-sub_binary64 associate-*l/_binary64_14 frac-2neg_binary64_3079 associate-*l*_binary64_2676 flip-+_binary64_2709 associate--r+_binary64_340 *-commutative_binary64_3332 rem-log-exp_binary64_1444 cancel-sign-sub-inv_binary64_1702 clear-num_binary64_3067 associate-*r/_binary64_346 cube-div_binary64_433 sqr-pow_binary64 associate--l+_binary64 distribute-rgt-neg-in_binary64_2027 distribute-lft-out--_binary64_1355 associate-+r-_binary64_1337 div-exp_binary64_2120 |
| 3× | pow-to-exp_binary64_806 pow2_binary64_152 flip3-+_binary64_2405 pow-unpow_binary64_2812 pow-plus_binary64_1133 flip--_binary64_2044 pow-to-exp_binary64_473 rem-log-exp_binary64_445 associate-/l*_binary64_2347 flip3--_binary64_3405 sum-log_binary64_2826 sqrt-unprod_binary64_3421 flip--_binary64_3376 associate-/r*_binary64_2346 associate-+r+_binary64_1668 sqr-pow_binary64_2707 cbrt-unprod_binary64_2102 associate-*r/_binary64 distribute-lft-out--_binary64_1688 pow-plus_binary64_134 pow-to-exp_binary64_2138 flip-+_binary64_2376 rec-exp_binary64_3118 sqr-sin-a_binary64_219 exp-to-pow_binary64_2797 *-commutative_binary64_2000 sum-log_binary64_2493 associate-+r+_binary64_1002 diff-log_binary64_1495 flip3--_binary64_2073 cube-mult_binary64_2432 cancel-sign-sub-inv_binary64_2701 +-commutative_binary64_1 diff-log_binary64_1828 cube-div_binary64_1099 exp-prod_binary64_2787 1-exp_binary64_3112 +-commutative_binary64_2332 pow-unpow_binary64_1480 distribute-lft-out--_binary64_3020 distribute-lft-out_binary64_2686 associate-+r+_binary64_669 unpow3_binary64_2468 pow-unpow_binary64_3145 pow-exp_binary64_2137 associate-+r+_binary64_1335 pow-unpow_binary64_481 pow-exp_binary64_805 +-commutative_binary64_2665 pow-unpow_binary64_1147 rem-exp-log_binary64_2775 associate-/l/_binary64_3348 pow-exp_binary64_472 |
| 2× | inv-pow_binary64_1155 1-exp_binary64_1114 unpow3_binary64_1469 cos-sum_binary64_1204 distribute-rgt-out_binary64_1356 cube-prod_binary64_2763 pow-to-exp_binary64_3137 distribute-lft-in_binary64_2684 rem-cube-cbrt_binary64_2758 pow-to-exp_binary64 distribute-rgt-in_binary64_2685 flip-+_binary64_1710 sub-neg_binary64_3394 pow-flip_binary64_478 associate--l-_binary64 sin-sum_binary64_1536 clear-num_binary64_2068 sub-neg_binary64_1729 *-commutative_binary64_1667 div-sub_binary64_1408 pow2_binary64_1151 *-commutative_binary64_335 associate-*r/_binary64_1345 associate--l+_binary64_8 associate-*r/_binary64_2677 associate--r+_binary64_7 flip--_binary64_1711 tan-sum_binary64_1205 associate-*l/_binary64_1679 unpow2_binary64_136 pow-prod-up_binary64_807 1-exp_binary64_781 log-pow_binary64_160 pow-to-exp_binary64_2804 rem-cube-cbrt_binary64_1093 distribute-lft-in_binary64_1352 div-exp_binary64_2453 pow-flip_binary64_811 inv-pow_binary64_3153 neg-sub0_binary64_732 sub-neg_binary64_1396 pow-exp_binary64 neg-sub0_binary64_1398 unsub-neg_binary64_1397 neg-log_binary64_1496 sum-log_binary64_2160 sum-log_binary64 rec-exp_binary64_1120 +-commutative_binary64_334 pow-flip_binary64 exp-diff_binary64_785 +-commutative_binary64_2998 associate--l+_binary64_1340 cbrt-unprod_binary64_1769 flip3--_binary64_1740 unpow-prod-down_binary64_2814 frac-2neg_binary64_2080 unswap-sqr_binary64_2703 tan-quot_binary64_230 difference-of-squares_binary64_1705 *-commutative_binary64_2666 cbrt-undiv_binary64_2103 rec-exp_binary64_787 inv-pow_binary64 diff-log_binary64_3493 inv-pow_binary64_489 tan-quot_binary64_2561 difference-of-sqr--1_binary64_1374 cbrt-div_binary64_436 distribute-rgt-in_binary64_1353 cube-mult_binary64_1433 pow-pow_binary64_1142 associate--l-_binary64_342 sin-mult_binary64_226 unpow3_binary64_2801 flip3-+_binary64_1739 pow-flip_binary64_1144 cube-mult_binary64_2765 unswap-sqr_binary64_1704 pow-sqr_binary64_710 rem-sqrt-square_binary64_3414 pow-exp_binary64_3136 sum-log_binary64_3159 sqr-pow_binary64_1375 associate-+l+_binary64_2668 div-sub_binary64_2074 pow-pow_binary64_2807 associate-/r/_binary64_2348 prod-exp_binary64_1785 pow-exp_binary64_1138 difference-of-squares_binary64_2704 pow-prod-down_binary64_1807 associate--l+_binary64_1007 sum-log_binary64_1827 exp-neg_binary64_784 inv-pow_binary64_822 |
| 1× | rem-cbrt-cube_binary64_428 rem-cube-cbrt_binary64_1426 flip3-+_binary64 +-commutative_binary64_3331 associate-+r+_binary64_3 pow2_binary64_818 flip3--_binary64_2739 diff-log_binary64_3160 un-div-inv_binary64_3399 frac-2neg_binary64_1414 associate-+l-_binary64_1005 difference-of-sqr-1_binary64_1706 associate--r+_binary64 exp-to-pow_binary64_799 pow-pow_binary64_3140 cancel-sign-sub-inv_binary64_2035 cube-mult_binary64_1100 rec-exp_binary64_2452 cos-mult_binary64_1224 inv-pow_binary64_156 sub-neg_binary64_3061 flip--_binary64_2710 distribute-lft-out_binary64 sub-neg_binary64_2395 associate-+r-_binary64_2003 exp-prod_binary64_789 pow-pow_binary64_1475 pow1/3_binary64_1485 neg-sub0_binary64 sqrt-prod_binary64_2751 flip--_binary64_2377 frac-sub_binary64_3410 flip--_binary64_3043 associate-+l-_binary64_2004 sub-neg_binary64_2728 sqrt-pow1_binary64_2087 distribute-rgt-in_binary64_21 distribute-lft-out--_binary64_2687 cube-mult_binary64_2099 pow-exp_binary64_1471 1-exp_binary64_2446 frac-sub_binary64_746 clear-num_binary64_1402 diff-log_binary64_2161 pow-pow_binary64_476 associate-/l/_binary64_3015 diff-log_binary64_2827 unpow3_binary64_2135 pow1/2_binary64_2149 cbrt-undiv_binary64_2436 unswap-sqr_binary64_372 diff-atan_binary64_1227 frac-times_binary64_3411 diff-cos_binary64_1221 associate--l-_binary64_1008 clear-num_binary64_2401 div-sub_binary64_3406 neg-log_binary64_2162 +-commutative_binary64_1999 distribute-lft-in_binary64_20 pow-to-exp_binary64_1139 neg-log_binary64 difference-of-sqr-1_binary64_2705 neg-mul-1_binary64_1399 associate-+l-_binary64_672 sin-cos-mult_binary64_1559 rem-exp-log_binary64_777 diff-log_binary64_2494 sum-log_binary64_3492 div-inv_binary64_1400 distribute-lft-neg-in_binary64_1360 sub-neg_binary64_2062 inv-pow_binary64_2487 pow1/3_binary64_486 pow-plus_binary64_800 div-sub_binary64_409 neg-sub0_binary64_2064 +-commutative_binary64 div-exp_binary64_1454 frac-2neg_binary64_2413 flip3--_binary64_3072 associate-*l/_binary64_3344 pow-to-exp_binary64_1472 cbrt-undiv_binary64_1437 pow-flip_binary64_145 pow-flip_binary64_2476 diff-sin_binary64_1553 +-commutative_binary64_1666 rem-cube-cbrt_binary64_427 frac-sub_binary64_2411 flip3--_binary64_2406 rem-cbrt-cube_binary64_1427 flip-+_binary64 |
632 calls:
| 112.0ms | (-.f64 (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 x 1)) 2) (*.f64 n n))) (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3))))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (*.f64 n n))) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))) |
| 101.0ms | (-.f64 (sqrt.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3)))) (sqrt.f64 (+.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/4 (pow.f64 N 4))))) |
| 96.0ms | (-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (+.f64 (/.f64 1/2 (*.f64 N N)) (/.f64 1/4 (pow.f64 N 4)))) |
| 94.0ms | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
| 91.0ms | (cbrt.f64 (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 2)) (-.f64 (+.f64 (*.f64 1/24 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 4)) (+.f64 (/.f64 (log.f64 (+.f64 x 1)) n) (*.f64 1/6 (pow.f64 (/.f64 (log.f64 (+.f64 x 1)) n) 3)))) (+.f64 (/.f64 (log.f64 x) n) (+.f64 (*.f64 1/2 (pow.f64 (/.f64 (log.f64 x) n) 2)) (+.f64 (*.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3)) (*.f64 1/24 (pow.f64 (/.f64 (log.f64 x) n) 4)))))))) |
Compiled 12 to 23 computations (-91.7% saved)
Loading profile data...