rewrite25.5s (8.6%)

Algorithm

106×	rewrite-expression-head

Rules

2617×	times-frac_binary64_425
1739×	times-frac_binary64_84
1670×	*-un-lft-identity_binary64_419
1289×	add-sqr-sqrt_binary64_441
1264×	add-sqr-sqrt_binary64_100
1203×	*-un-lft-identity_binary64_78
1096×	add-cube-cbrt_binary64_454
684×	add-cube-cbrt_binary64_113
653×	add-sqr-sqrt_binary64
638×	*-un-lft-identity_binary64
625×	times-frac_binary64
599×	times-frac_binary64_3494
521×	add-sqr-sqrt_binary64_3510
476×	times-frac_binary64_1448
470×	add-sqr-sqrt_binary64_1464
449×	*-un-lft-identity_binary64_1442
395×	*-un-lft-identity_binary64_3488
375×	add-cube-cbrt_binary64
358×	add-exp-log_binary64_457
343×	add-cube-cbrt_binary64_1477
316×	associate-/l*_binary64_364
300×	*-un-lft-identity_binary64_1101
299×	add-exp-log_binary64
284×	add-cbrt-cube_binary64
255×	add-sqr-sqrt_binary64_2487
253×	add-cube-cbrt_binary64_3523
246×	distribute-lft-out_binary64_370
235×	add-cbrt-cube_binary64_455
222×	difference-of-squares_binary64_47
210×	add-sqr-sqrt_binary64_1123
207×	*-un-lft-identity_binary64_2465
200×	associate-*r*_binary64
184×	associate-*r*_binary64_3428
183×	add-exp-log_binary64_1480
180×	times-frac_binary64_1107
168×	difference-of-squares_binary64_3457
162×	div-exp_binary64_470
159×	add-cube-cbrt_binary64_1136
154×	add-cbrt-cube_binary64_1478
153×	add-exp-log_binary64_1139
151×	*-un-lft-identity_binary64_2124 pow1_binary64
148×	distribute-lft-out_binary64_29 times-frac_binary64_2471
143×	add-cbrt-cube_binary64_1137 associate-*r*_binary64_18
142×	add-sqr-sqrt_binary64_2146
140×	times-frac_binary64_2130
136×	*-un-lft-identity_binary64_1783 difference-of-squares_binary64_388
133×	add-exp-log_binary64_116
131×	add-cube-cbrt_binary64_2159
128×	*-un-lft-identity_binary64_3147
127×	add-cube-cbrt_binary64_2500
126×	add-log-exp_binary64_3186
125×	add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
123×	difference-of-squares_binary64 associate-/r*_binary64_363
121×	div-inv_binary64_416
117×	associate-*l*_binary64_1383
111×	distribute-lft-out--_binary64_30
107×	cbrt-prod_binary64
106×	prod-exp_binary64
105×	associate-/l*_binary64_23
104×	cbrt-unprod_binary64
102×	add-log-exp_binary64_1140 add-cbrt-cube_binary64_114
101×	sqrt-prod_binary64_1458
100×	unpow-prod-down_binary64_498 cbrt-prod_binary64_2496
95×	cbrt-undiv_binary64_453 sqrt-prod_binary64 associate-*l*_binary64
94×	associate-*r*_binary64_1382 unpow-prod-down_binary64_3567
90×	*-un-lft-identity_binary64_2806
89×	prod-exp_binary64_468
88×	pow1_binary64_1844 add-sqr-sqrt_binary64_1805
87×	add-exp-log_binary64_2162 sqr-pow_binary64_3460
84×	difference-of-sqr-1_binary64_3458 frac-times_binary64_770 exp-neg_binary64_807 cancel-sign-sub-inv_binary64_1067
81×	frac-sub_binary64_769
77×	add-exp-log_binary64_3526 distribute-lft-out_binary64_3098
76×	sum-log_binary64_3238
74×	add-cube-cbrt_binary64_1818
72×	associate-/r*_binary64 sqrt-prod_binary64_2140
69×	associate-/r*_binary64_1386
68×	distribute-lft-out--_binary64 associate-/r/_binary64_24 add-cbrt-cube_binary64_3524
65×	pow1_binary64_1503 div-exp_binary64
63×	neg-sub0_binary64_755 div-inv_binary64_75 exp-diff_binary64_808
62×	cbrt-undiv_binary64
61×	add-log-exp_binary64
60×	pow1_binary64_139 add-cbrt-cube_binary64_2160
59×	add-sqr-sqrt_binary64_782 associate-*l*_binary64_360
58×	cancel-sign-sub-inv_binary64_385 pow1_binary64_1162
57×	times-frac_binary64_1789
56×	add-log-exp_binary64_1481
55×	*-un-lft-identity_binary64_760 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 associate-*r/_binary64_3430
54×	difference-of-squares_binary64_2434
52×	pow-prod-down_binary64 div-exp_binary64_1493
51×	distribute-lft-out_binary64_2757 distribute-lft-out_binary64_1052
50×	cbrt-unprod_binary64_452 sqr-pow_binary64_391 add-log-exp_binary64_458
49×	associate-/r/_binary64_365
48×	associate-/l*_binary64 add-log-exp_binary64_2845
47×	add-cbrt-cube_binary64_2501 add-exp-log_binary64_2503 pow1_binary64_480
46×	associate-/r*_binary64_22
45×	pow1_binary64_2185 log-prod_binary64_2210
44×	frac-add_binary64_3496 flip3-+_binary64_1445 flip-+_binary64_1416 associate-*l/_binary64_703
43×	cbrt-undiv_binary64_1476 associate-/l*_binary64_1387 associate-*r*_binary64_1041 distribute-lft-out_binary64_1393 add-log-exp_binary64_3527 flip3--_binary64 flip--_binary64 associate-*r*_binary64_359 add-log-exp_binary64_2504 pow1_binary64_3549
42×	cube-prod_binary64_2493 flip-+_binary64_3462 flip3-+_binary64_3491 associate-*r/_binary64_702 div-exp_binary64_129 unpow-prod-down_binary64_2544
41×	div-exp_binary64_1152 associate-*r/_binary64 div-inv_binary64_1439 associate-*r*_binary64_1723
40×	div-inv_binary64 flip-+_binary64_1075 associate-/r*_binary64_2068 associate-/r/_binary64_1047 flip3-+_binary64_1104
39×	associate-/l*_binary64_2410 distribute-lft-out--_binary64_371 prod-exp_binary64_1150
38×	cancel-sign-sub-inv_binary64_1749 cbrt-undiv_binary64_1135
37×	cbrt-unprod_binary64_1134 pow-prod-down_binary64_1854 flip--_binary64_735 flip3--_binary64_764
36×	cbrt-prod_binary64_2837
35×	associate-/r/_binary64 flip3-+_binary64_763 unswap-sqr_binary64_1410 prod-exp_binary64_1491 flip-+_binary64_734
34×	associate-/r/_binary64_1388 distribute-lft-out_binary64_1734 pow1_binary64_2526 distribute-lft-out_binary64
33×	pow1_binary64_3208 add-log-exp_binary64_2163 unswap-sqr_binary64 distribute-rgt-in_binary64_1733 distribute-lft-in_binary64_1732
32×	frac-times_binary64 associate-*l*_binary64_1724 cancel-sign-sub-inv_binary64_44 associate-*r*_binary64_2405
31×	cbrt-unprod_binary64_1475 prod-exp_binary64_127 add-cube-cbrt_binary64_795 div-inv_binary64_3485 flip-+_binary64_52 flip3-+_binary64_81 add-log-exp_binary64_117
30×	associate-/r*_binary64_1045 cancel-sign-sub-inv_binary64_2431
29×	associate-*l*_binary64_701 associate-*l/_binary64
28×	distribute-lft-out--_binary64_2417 associate-*l*_binary64_1042 sqrt-div_binary64_2141 distribute-lft-out--_binary64_3440
27×	cbrt-unprod_binary64_111 add-cbrt-cube_binary64_3183 sum-log_binary64_2897 cancel-sign-sub-inv_binary64
26×	unpow-prod-down_binary64_1180 cancel-sign-sub-inv_binary64_1408 associate-*r/_binary64_1725 div-inv_binary64_1098 associate-/l*_binary64_3433
25×	add-log-exp_binary64_1822 cancel-sign-sub-inv_binary64_726
24×	div-exp_binary64_2175 cbrt-div_binary64 swap-sqr_binary64_1068 add-exp-log_binary64_3185
23×	1-exp_binary64_463 flip3--_binary64_423 cbrt-undiv_binary64_112 flip--_binary64_394 prod-exp_binary64_3537 pow-prod-down_binary64_149
22×	flip3-+_binary64 flip-+_binary64 diff-log_binary64_1193 associate-/l/_binary64_1389 associate-/l*_binary64_1046
21×	pow1_binary64_821 sqrt-prod_binary64_435 cbrt-prod_binary64_1473 associate-*l*_binary64_3429 cbrt-unprod_binary64_3521 un-div-inv_binary64_758
20×	flip--_binary64_2440 difference-of-squares_binary64_1070 sqrt-prod_binary64_1117 sqrt-div_binary64_1459 flip3--_binary64_2469 add-log-exp_binary64_799 log-pow_binary64_2213
19×	associate-*l*_binary64_19 sqrt-pow1_binary64_2142 swap-sqr_binary64 add-cbrt-cube_binary64_796 flip3-+_binary64_2127 flip-+_binary64_2098 sum-log_binary64_1192
18×	add-sqr-sqrt_binary64_3169 difference-of-sqr-1_binary64_2435
17×	distribute-rgt-in_binary64 rec-exp_binary64_469 flip-+_binary64_3121 add-exp-log_binary64_798 flip3-+_binary64_3150 *-commutative_binary64 associate-/r*_binary64_3432 distribute-lft-in_binary64
16×	add-cube-cbrt_binary64_3182 associate-*l*_binary64_2406 sqrt-pow1_binary64 sqrt-div_binary64 sum-log_binary64_3579
15×	clear-num_binary64_1441 prod-exp_binary64_2173 pow1/2_binary64 associate-/r/_binary64_2070 distribute-lft-in_binary64_27 div-exp_binary64_1834 distribute-rgt-in_binary64_28 div-exp_binary64_3539 pow-prod-down_binary64_3559 distribute-lft-out--_binary64_1053 frac-2neg_binary64_1453 associate-/l/_binary64_366 cbrt-undiv_binary64_1817
14×	associate-+l+_binary64 sub-neg_binary64_1094 flip--_binary64_1076 associate-+l+_binary64_1034 flip3--_binary64_82 associate-+l+_binary64_1375 cbrt-undiv_binary64_2158 distribute-rgt-in_binary64_369 clear-num_binary64_418 frac-2neg_binary64_430 distribute-lft-in_binary64_368 associate-*r/_binary64_1384 flip--_binary64_53 sqrt-prod_binary64_2481 associate-/l*_binary64_2069 frac-times_binary64_1452 flip3--_binary64_1105
13×	flip-+_binary64_393 pow1/2_binary64_2204 swap-sqr_binary64_1409 associate-*l*_binary64_2065 add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_2841 flip3-+_binary64_422
12×	log-div_binary64_2211 associate-*r*_binary64_700 div-inv_binary64_2462 frac-2neg_binary64 cube-prod_binary64_2834 clear-num_binary64 flip3--_binary64_1787 *-commutative_binary64_1714 +-commutative_binary64_3077 cbrt-prod_binary64_1814 cbrt-prod_binary64_791 unpow-prod-down_binary64_2885 flip--_binary64_1758 unswap-sqr_binary64_46
11×	cbrt-undiv_binary64_3522 flip3--_binary64_2128 div-inv_binary64_2121 flip--_binary64_2099 frac-add_binary64_2132
10×	associate-/r*_binary64_2409 distribute-lft-out_binary64_2075 flip3-+_binary64_1786 associate-*l/_binary64_1385 rec-exp_binary64_1492 sub-neg_binary64_1776 associate-/l/_binary64_1730 flip-+_binary64_1757 frac-add_binary64 sub-neg_binary64_412
9×	distribute-lft-out--_binary64_1394 sub-neg_binary64 div-inv_binary64_1780 associate-/l*_binary64_1728 pow1/3_binary64 clear-num_binary64_1100 diff-log_binary64_2557 cbrt-unprod_binary64_2157 cbrt-prod_binary64_1132 associate-/r*_binary64_1727 pow-prod-down_binary64_1513 difference-of-squares_binary64_729 frac-2neg_binary64_1112 unpow-prod-down_binary64_1862 difference-of-squares_binary64_1411 unpow-prod-down_binary64_839
8×	frac-times_binary64_1111 associate-/l/_binary64 *-commutative_binary64_9 frac-times_binary64_1793 unswap-sqr_binary64_3456 diff-log_binary64_511 frac-times_binary64_88 log-prod_binary64_846 sub-neg_binary64_2458 clear-num_binary64_77 associate-+r+_binary64 frac-2neg_binary64_89 associate--l+_binary64_1720 sqrt-div_binary64_436 sum-log_binary64_1533 cbrt-div_binary64_1474 associate--r+_binary64_696
7×	pow-prod-up_binary64 *-commutative_binary64_1373 associate-*r/_binary64_20 prod-exp_binary64_2514 pow1_binary64_2867 *-commutative_binary64_3419 flip3--_binary64_1446 add-cbrt-cube_binary64_2842 div-sub_binary64 rec-exp_binary64_128 flip3-+_binary64_2809 cbrt-unprod_binary64_2498 1-exp_binary64_122 sub-neg_binary64_753 +-commutative_binary64_1372 pow-prod-down_binary64_490 div-exp_binary64_2516 associate-*l*_binary64_3088 associate-+r+_binary64_3420 flip-+_binary64_2780 cbrt-undiv_binary64_2499 rem-sqrt-square_binary64 flip--_binary64_1417 add-exp-log_binary64_2844
6×	clear-num_binary64_2123 prod-exp_binary64_3196 frac-times_binary64_2134 sqr-pow_binary64_2437 associate-/l/_binary64_2412 associate--l+_binary64_1038 rem-log-exp_binary64_2165 unpow3_binary64_2531 cube-div_binary64_2494 associate-*l/_binary64_1044 pow-pow_binary64_1173 unswap-sqr_binary64_1069 sqrt-div_binary64_2482 times-frac_binary64_766 cube-prod_binary64_2152 cube-prod_binary64_3516 unswap-sqr_binary64_1751 unpow-prod-down_binary64_2203 cube-mult_binary64_2495 +-commutative_binary64_1031 sqrt-prod_binary64_1799 sub-neg_binary64_71 distribute-lft-in_binary64_3437 frac-2neg_binary64_2135 associate-+r+_binary64_3079 associate-/l/_binary64_2071 unswap-sqr_binary64_2433 pow-unpow_binary64_1178 pow-prod-down_binary64_3218 rem-sqrt-square_binary64_2137 distribute-rgt-in_binary64_3438 associate-*r/_binary64_2066 cbrt-div_binary64_1133 cbrt-unprod_binary64_3180 associate-+l+_binary64_3080
5×	associate-*r/_binary64_361 1-exp_binary64_1486 distribute-lft-out--_binary64_712 distribute-lft-out_binary64_711 cosh-undef_binary64_1636 +-commutative_binary64_2736 diff-log_binary64_852 pow-prod-up_binary64_3217 associate-*r/_binary64_1043 pow-sqr_binary64 associate-/l/_binary64_25
4×	log-div_binary64_847 distribute-rgt-in_binary64_1051 pow-prod-down_binary64_1172 frac-add_binary64_3155 unswap-sqr_binary64_728 frac-times_binary64_2475 cbrt-div_binary64_2497 associate--l+_binary64_697 *-commutative_binary64_1032 frac-sub_binary64_1110 pow-prod-down_binary64_2536 associate-+r+_binary64_2738 unpow-prod-down_binary64_157 distribute-lft-out--_binary64_1735 +-commutative_binary64 associate-/l/_binary64_1048 cancel-sign-sub-inv_binary64_2090 clear-num_binary64_2464 rem-sqrt-square_binary64_432 associate-*r*_binary64_2064 pow-div_binary64_1858 cbrt-div_binary64_2838 *-commutative_binary64_691 associate-*l/_binary64_2408 rem-sqrt-square_binary64_1455 sub-neg_binary64_2117 prod-exp_binary64_809 sqrt-pow1_binary64_1460 diff-log_binary64_2216 cube-prod_binary64_106 associate-*l/_binary64_1726 sqrt-pow1_binary64_437 diff-log_binary64_170 *-commutative_binary64_2396 associate-*r/_binary64_2407 pow-prod-down_binary64_831 pow1/2_binary64_1522 frac-2neg_binary64_2476 distribute-lft-in_binary64_1050 associate-+l+_binary64_3421 cube-div_binary64_2835 sum-log_binary64 distribute-rgt-in_binary64_710 +-commutative_binary64_3418 cbrt-unprod_binary64_793 distribute-lft-in_binary64_709 associate-*l/_binary64_21 pow1/2_binary64_499
3×	pow-to-exp_binary64_3557 sqrt-pow1_binary64_2483 frac-2neg_binary64_3499 pow1/3_binary64_1183 associate-/r/_binary64_1729 associate--r+_binary64_1037 pow1/2_binary64_2545 frac-2neg_binary64_1794 frac-add_binary64_1450 1-exp_binary64_1145 pow-unpow_binary64_3565 pow-exp_binary64_3556 pow-exp_binary64_2192 cancel-sign-sub-inv_binary64_3454 unswap-sqr_binary64_387 associate--l-_binary64 frac-sub_binary64_428 pow-to-exp_binary64_2193 cube-prod_binary64_1811 rec-exp_binary64 clear-num_binary64_3487 pow1/3_binary64_1524 pow-unpow_binary64_2542 frac-times_binary64_429 1-exp_binary64 rem-sqrt-square_binary64_2478 clear-num_binary64_1782 difference-of-sqr-1_binary64_730 rec-exp_binary64_1151 diff-log_binary64 cube-prod_binary64_788 distribute-rgt-out--_binary64_2419 sqr-pow_binary64_732 sqr-pow_binary64_1755
2×	cube-div_binary64_1812 pow-plus_binary64 flip3--_binary64_3492 sum-log_binary64_2556 pow-flip_binary64_1175 associate-*r*_binary64_3087 log-pow_binary64_849 diff-log_binary64_1875 inv-pow_binary64_1186 associate-/r/_binary64_3434 sqr-pow_binary64_50 sum-log_binary64_510 unpow3_binary64_3554 unpow3_binary64_2190 flip-+_binary64_2439 pow-to-exp_binary64_1170 sub-neg_binary64_1435 div-inv_binary64_757 distribute-rgt-in_binary64_1392 unswap-sqr_binary64_2092 sqr-pow_binary64_2096 associate-+r+_binary64_2056 pow2_binary64 pow1/3_binary64_2888 cbrt-div_binary64_792 flip--_binary64_3463 inv-pow_binary64_504 sqrt-unprod_binary64 associate--l-_binary64_698 inv-pow_binary64_163 associate-*l/_binary64_362 un-div-inv_binary64 pow-flip_binary64_152 rec-exp_binary64_2174 distribute-rgt-in_binary64_2074 cube-mult_binary64_2154 pow2_binary64_1182 cube-div_binary64_789 pow-flip_binary64 associate-+l+_binary64_1716 *-commutative_binary64_3078 unpow3_binary64_2872 sqr-pow_binary64_1073 cbrt-div_binary64_1815 sqrt-pow1_binary64_1119 sqr-pow_binary64_2778 pow-flip_binary64_493 div-sub_binary64_2470 cube-mult_binary64_3518 cube-mult_binary64_2836 +-commutative_binary64_349 1-exp_binary64_2168 pow-exp_binary64_1169 difference-of-squares_binary64_1752 sqrt-pow2_binary64_1120 pow-sqr_binary64_1074 associate-*l/_binary64_2067 *-commutative_binary64_350 associate-/l/_binary64_3435 inv-pow_binary64 distribute-lft-in_binary64_1391 diff-log_binary64_1534 pow1/2_binary64_1181 un-div-inv_binary64_417 inv-pow_binary64_1527 pow-plus_binary64_1164 distribute-lft-in_binary64_2073 rem-cbrt-cube_binary64_2830 frac-add_binary64_1109 pow-flip_binary64_1516 div-sub_binary64_2129 associate-*l/_binary64_3090 unswap-sqr_binary64_3115 pow-prod-up_binary64_1171 flip3-+_binary64_2468
1×	cube-mult_binary64_108 +-commutative_binary64_1713 sub-div_binary64_2472 pow2_binary64_3228 cube-mult_binary64_1813 pow-to-exp_binary64_2534 pow1/3_binary64_2547 pow-plus_binary64_3210 sub-neg_binary64_3481 rem-square-sqrt_binary64 +-commutative_binary64_2054 un-div-inv_binary64_1099 pow-flip_binary64_2198 associate-+l-_binary64_1377 rem-cbrt-cube_binary64_1807 div-sub_binary64_424 pow-pow_binary64_3560 unpow3_binary64_826 div-sub_binary64_3493 pow-pow_binary64_2537 pow-sqr_binary64_3120 rem-cbrt-cube_binary64_784 associate--l-_binary64_1039 pow-plus_binary64_1846 rem-cube-cbrt_binary64_2488 distribute-rgt-out--_binary64_32 cube-mult_binary64_790 pow-prod-down_binary64_2195 diff-log_binary64_3580 pow2_binary64_1864 frac-sub_binary64_2474 difference-of-sqr--1_binary64_1072 *-commutative_binary64_2055 distribute-rgt-in_binary64_2415 pow-plus_binary64_1505 rem-log-exp_binary64_801 pow-prod-up_binary64_1853 pow1/3_binary64_842 sum-log_binary64_169 pow-sqr_binary64_1415 rem-3cbrt-rft_binary64_3173 pow1/3_binary64_1865 unpow3_binary64_144 pow-exp_binary64_2533 distribute-lft1-in_binary64_3102 sqr-abs_binary64 +-commutative_binary64_8 pow-to-exp_binary64_147 rem-cbrt-cube_binary64_2489 associate--r+_binary64_2401 associate-+r+_binary64_1033 sum-log_binary64_2215 pow-prod-up_binary64_1512 cube-unmult_binary64_3184 pow-sqr_binary64_1756 +-commutative_binary64_2395 distribute-lft-out_binary64_3439 distribute-lft-out_binary64_2416 associate-+l+_binary64_2739 pow-exp_binary64_146 inv-pow_binary64_2209 distribute-lft-in_binary64_2414 associate-+l-_binary64_1036 pow2_binary64_1523 unpow3_binary64_1849 sum-log_binary64_1874

Counts

281 → 10080

Calls

227 calls:

221.0ms	(*.f64 (/.f64 d c) (+.f64 (/.f64 d b) (/.f64 (*.f64 a (*.f64 d a)) (pow.f64 b 3))))
90.0ms	(*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4)))
58.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
49.0ms	(+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (+.f64 (*.f64 (+.f64 x1 x1) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) 4))) (*.f64 (*.f64 x1 x1) -6))
49.0ms	(*.f64 (/.f64 (/.f64 PI.f64 2) (-.f64 (*.f64 b b) (*.f64 a a))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

Compiler

Compiled 349467 to 189620 computations (45.7% saved)