rewrite24.5s (10.9%)

Algorithm

103×	rewrite-expression-head

Rules

1099×	times-frac_binary64_425
1087×	times-frac_binary64_84
1080×	times-frac_binary64_766
932×	times-frac_binary64
917×	*-un-lft-identity_binary64
910×	*-un-lft-identity_binary64_760
898×	*-un-lft-identity_binary64_78
846×	add-sqr-sqrt_binary64
824×	add-sqr-sqrt_binary64_100
791×	add-sqr-sqrt_binary64_782
748×	*-un-lft-identity_binary64_419
740×	add-sqr-sqrt_binary64_441
587×	times-frac_binary64_3835
553×	add-cube-cbrt_binary64_795
546×	add-cube-cbrt_binary64_454
517×	add-cube-cbrt_binary64 add-sqr-sqrt_binary64_3851
502×	add-cube-cbrt_binary64_113
390×	*-un-lft-identity_binary64_3829
327×	cancel-sign-sub-inv_binary64_726
287×	cancel-sign-sub-inv_binary64_44 times-frac_binary64_1448
276×	add-sqr-sqrt_binary64_1464
269×	add-exp-log_binary64
259×	sqrt-prod_binary64_435
256×	add-cbrt-cube_binary64
248×	add-cube-cbrt_binary64_3864
230×	*-un-lft-identity_binary64_1442
228×	cbrt-prod_binary64
227×	associate-*r*_binary64_18
226×	*-un-lft-identity_binary64_1101
217×	*-un-lft-identity_binary64_2465 add-cube-cbrt_binary64_1477
205×	add-exp-log_binary64_116
195×	add-exp-log_binary64_798
192×	*-un-lft-identity_binary64_2806
187×	associate-*r*_binary64_3769 add-cbrt-cube_binary64_796
185×	difference-of-squares_binary64
175×	distribute-lft-out_binary64_29
168×	difference-of-squares_binary64_3798
148×	sqrt-prod_binary64
144×	distribute-lft-out_binary64_711
140×	associate-*r*_binary64
135×	add-cbrt-cube_binary64_114
134×	associate-*l*_binary64_701
133×	add-log-exp_binary64_2845
132×	cbrt-prod_binary64_109
131×	div-inv_binary64_757
124×	add-sqr-sqrt_binary64_1123 associate-*r*_binary64_700
120×	cbrt-prod_binary64_2496
108×	difference-of-squares_binary64_729 associate-/r*_binary64
106×	pow1_binary64
104×	add-exp-log_binary64_1480
102×	div-inv_binary64_75
97×	distribute-lft-out--_binary64
96×	difference-of-squares_binary64_47 add-cube-cbrt_binary64_1136
91×	add-sqr-sqrt_binary64_2487
90×	distribute-lft-out_binary64_1052 associate-/r*_binary64_363
88×	difference-of-squares_binary64_388 unpow-prod-down_binary64_3908
87×	distribute-rgt-in_binary64_710 distribute-lft-out_binary64_2416 distribute-lft-in_binary64_709 times-frac_binary64_2812
85×	sqr-pow_binary64_3801 prod-exp_binary64
84×	pow1_binary64_139 difference-of-sqr-1_binary64_3799
83×	cbrt-unprod_binary64 sqrt-prod_binary64_1458
82×	add-sqr-sqrt_binary64_2828 add-cube-cbrt_binary64_2841 add-log-exp_binary64 frac-times_binary64_429 add-cbrt-cube_binary64_1478
81×	frac-sub_binary64_428
80×	exp-neg_binary64_466
79×	associate-*r*_binary64_1041
75×	sum-log_binary64_2897 distribute-lft-out_binary64_2757
74×	add-exp-log_binary64_457 pow1_binary64_821 times-frac_binary64_1107
73×	associate-*l*_binary64_19 *-un-lft-identity_binary64_2124
72×	associate-*l*_binary64
71×	prod-exp_binary64_127
67×	unpow-prod-down_binary64 add-log-exp_binary64_2504
66×	associate-/r/_binary64_24
65×	add-cbrt-cube_binary64_455 add-cube-cbrt_binary64_2500
62×	cbrt-undiv_binary64 div-exp_binary64
61×	distribute-lft-out_binary64
60×	associate-/r*_binary64_704 neg-sub0_binary64_414 cube-prod_binary64 exp-diff_binary64_467
58×	add-log-exp_binary64_2163
57×	distribute-lft-out_binary64_370
56×	distribute-lft-out--_binary64_712
55×	add-log-exp_binary64_799 associate-/r*_binary64_1386
54×	associate-/l*_binary64 div-exp_binary64_811
53×	associate-/r/_binary64_706
52×	add-log-exp_binary64_1481 associate-/l*_binary64_705 add-log-exp_binary64_117
51×	div-exp_binary64_129 associate-/l*_binary64_364 prod-exp_binary64_809 pow1_binary64_2185 cbrt-unprod_binary64_793
50×	pow1_binary64_1844 add-cbrt-cube_binary64_1819 add-exp-log_binary64_1821
49×	cbrt-undiv_binary64_794
48×	add-exp-log_binary64_1139 unpow-prod-down_binary64_2544
47×	add-sqr-sqrt_binary64_2146 add-log-exp_binary64_458 cbrt-unprod_binary64_111
46×	div-inv_binary64 associate-/r/_binary64 associate-*l/_binary64_362 add-cbrt-cube_binary64_1137 distribute-lft-out--_binary64_30
45×	flip--_binary64_394 cube-prod_binary64_2493 flip3--_binary64_423 pow1_binary64_1162
44×	distribute-lft-out--_binary64_371 pow1_binary64_480
43×	add-exp-log_binary64_3867
42×	pow1_binary64_1503 cbrt-prod_binary64_2837
41×	flip3--_binary64_764 flip3--_binary64 flip--_binary64 flip--_binary64_735 associate-*r/_binary64_361
40×	add-cbrt-cube_binary64_3865
39×	associate-*r*_binary64_1382 add-cube-cbrt_binary64_2159 frac-times_binary64_770 add-exp-log_binary64_2162
38×	flip-+_binary64_52 flip3-+_binary64_81
37×	cancel-sign-sub-inv_binary64 times-frac_binary64_2471 cbrt-prod_binary64_1132
36×	flip-+_binary64_393 cube-prod_binary64_2834 add-log-exp_binary64_1140 unpow-prod-down_binary64_2885 flip3-+_binary64_422
35×	associate-/l*_binary64_23 associate-*r/_binary64
34×	associate-/l*_binary64_1387
33×	times-frac_binary64_2130 div-exp_binary64_1493 add-cbrt-cube_binary64_2160
32×	associate-/r/_binary64_1388 unswap-sqr_binary64_46
31×	add-cbrt-cube_binary64_2842 div-inv_binary64_416 cbrt-div_binary64 pow1_binary64_3890 add-exp-log_binary64_2844
30×	sum-log_binary64_2556 add-sqr-sqrt_binary64_1805 div-inv_binary64_3826 pow-prod-down_binary64_149 pow-prod-down_binary64
29×	associate-*l/_binary64_703 flip3-+_binary64 flip-+_binary64 associate-*r/_binary64_3771
28×	add-cbrt-cube_binary64_2501 distribute-lft-out--_binary64_3781 add-exp-log_binary64_2503 cbrt-undiv_binary64_112 flip3-+_binary64_1445 flip-+_binary64_1416 *-un-lft-identity_binary64_3147
27×	add-cube-cbrt_binary64_1818 *-un-lft-identity_binary64_1783 associate-*l*_binary64_1383
26×	associate-*r/_binary64_702 flip3-+_binary64_2809 add-log-exp_binary64_3868 flip-+_binary64_2780
25×	cbrt-unprod_binary64_1816 pow1_binary64_2526 flip3-+_binary64_3832 flip-+_binary64_3803 difference-of-squares_binary64_2775 pow-prod-down_binary64_1854 prod-exp_binary64_1832 associate-*l*_binary64_360 associate-*r*_binary64_359
24×	frac-times_binary64 div-exp_binary64_470
23×	associate-/r*_binary64_22 cbrt-undiv_binary64_1476
22×	div-inv_binary64_1439 associate-*l*_binary64_1042 sqrt-div_binary64_1459 cancel-sign-sub-inv_binary64_1067
21×	sqrt-prod_binary64_1117 pow1_binary64_2867
20×	cancel-sign-sub-inv_binary64_2090 cancel-sign-sub-inv_binary64_385 flip-+_binary64_734 flip3-+_binary64_763 cbrt-div_binary64_110 un-div-inv_binary64_417
19×	flip--_binary64_53 associate-*r*_binary64_1723 flip3--_binary64_82 log-pow_binary64_2895
18×	exp-prod_binary64_2858 div-inv_binary64_1098 cbrt-div_binary64_3861 unswap-sqr_binary64_1410 sqrt-div_binary64_1118
17×	associate-*r/_binary64_20 pow-prod-down_binary64_2195 associate-*l*_binary64_1724 unswap-sqr_binary64 flip-+_binary64_1075 flip3-+_binary64_1104
16×	distribute-rgt-in_binary64 associate-*l*_binary64_3770 add-sqr-sqrt_binary64_3169 associate-*l/_binary64 sum-log_binary64_2215 associate-/r*_binary64_3773 pow-prod-down_binary64_831 distribute-lft-in_binary64 associate-/r/_binary64_2752 associate-*r/_binary64_1043
15×	flip-+_binary64_2439 frac-sub_binary64_769 cbrt-undiv_binary64_453 sqrt-prod_binary64_776 flip3-+_binary64_2468
14×	associate-+l+_binary64 pow1_binary64_3208 add-log-exp_binary64_1822 prod-exp_binary64_1491 *-commutative_binary64 cancel-sign-sub-inv_binary64_1749 associate-/l*_binary64_3774
13×	unswap-sqr_binary64_728 sqrt-div_binary64 diff-log_binary64_2216 *-commutative_binary64_9 sum-log_binary64
12×	distribute-lft-neg-in_binary64_35 add-cube-cbrt_binary64_3182 associate-/l/_binary64 frac-2neg_binary64 frac-2neg_binary64_771 clear-num_binary64 flip3--_binary64_1446 unswap-sqr_binary64_1069 associate-/r*_binary64_1045 cbrt-prod_binary64_1814 associate-/l/_binary64_2753 clear-num_binary64_759 sqrt-pow1_binary64_437 frac-times_binary64_3839 associate-/l/_binary64_1389 distribute-rgt-neg-in_binary64_36 flip--_binary64_1417 frac-add_binary64
11×	sub-neg_binary64 distribute-lft-out_binary64_2075 associate-/l*_binary64_2410 clear-num_binary64_1441 associate-/l*_binary64_2069 prod-exp_binary64_1150 frac-2neg_binary64_1453 sub-neg_binary64_753 cbrt-unprod_binary64_1134 +-commutative_binary64_2736
10×	diff-log_binary64_511 prod-exp_binary64_2173 *-commutative_binary64_691 sub-neg_binary64_412 flip3--_binary64_2128 pow1/3_binary64_1183 pow-prod-down_binary64_1172 flip--_binary64_2099 associate-/l/_binary64_3776 difference-of-squares_binary64_2434
9×	distribute-lft-out--_binary64_2076 cbrt-unprod_binary64_2157 frac-times_binary64_88 unpow-prod-down_binary64_1180 swap-sqr_binary64_727 associate-*r*_binary64_2405 difference-of-squares_binary64_2093 rec-exp_binary64_128 associate-/r*_binary64_2750 1-exp_binary64_122 associate-/r*_binary64_2068 div-sub_binary64 pow1/3_binary64_3911 associate-*l*_binary64_2406 associate-/l*_binary64_2751 unpow-prod-down_binary64_1862
8×	cbrt-undiv_binary64_3863 associate--r+_binary64_1037 cbrt-unprod_binary64_1475 div-exp_binary64_3880 cube-div_binary64_2494 div-inv_binary64_2803 prod-exp_binary64_3878 associate-/r/_binary64_1047 add-exp-log_binary64_3185 cbrt-unprod_binary64_3862 +-commutative_binary64_2395 sqrt-div_binary64_436 associate-+r+_binary64 cbrt-div_binary64_2497
7×	flip--_binary64_2781 flip3-+_binary64_3150 associate-/r*_binary64_2409 associate-*r*_binary64_3087 unpow-prod-down_binary64_3226 *-commutative_binary64_1032 flip3--_binary64_2810 unswap-sqr_binary64_3797 diff-log_binary64_852 flip-+_binary64_3121 distribute-lft-in_binary64_27 cbrt-unprod_binary64_452 associate-/l/_binary64_366 div-exp_binary64_2175 associate-*l*_binary64_3088 distribute-rgt-in_binary64_28 *-commutative_binary64_1714 distribute-lft-out_binary64_3098 diff-log_binary64_170 +-commutative_binary64_1372 sub-neg_binary64_71 distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050 sum-log_binary64_1533 prod-exp_binary64_468 add-cbrt-cube_binary64_3183 cbrt-prod_binary64_3860
6×	associate-/l*_binary64_1046 distribute-lft-in_binary64_3778 1-exp_binary64_1486 sub-neg_binary64_1094 associate-*l/_binary64_3772 cancel-sign-sub-inv_binary64_3795 sqrt-div_binary64_777 unswap-sqr_binary64_387 rem-sqrt-square_binary64_432 associate-+l+_binary64_2739 exp-prod_binary64_471 swap-sqr_binary64_3114 associate-+r+_binary64_2738 clear-num_binary64_418 frac-2neg_binary64_430 distribute-rgt-in_binary64_3779 pow-prod-down_binary64_3900 +-commutative_binary64 rem-sqrt-square_binary64_1455 sub-neg_binary64_2117 rec-exp_binary64_1492 associate-+l+_binary64_2057 associate-/r/_binary64_2070 swap-sqr_binary64_1068 sqr-pow_binary64_2437 sqrt-pow1_binary64_1460 sqrt-prod_binary64_1799 pow1/2_binary64_1522 pow1/2_binary64_499
5×	associate-/l/_binary64_707 diff-log_binary64 flip--_binary64_1076 pow-prod-down_binary64_490 associate-/r/_binary64_365 *-commutative_binary64_3760 distribute-lft-out--_binary64_2417 unpow3_binary64_2531 difference-of-sqr-1_binary64_2435 rem-sqrt-square_binary64 cube-mult_binary64_2495 clear-num_binary64_77 *-commutative_binary64_350 frac-2neg_binary64_89 sqr-pow_binary64 cbrt-undiv_binary64_2840 flip3--_binary64_1105 associate-*l/_binary64_21 div-exp_binary64_2857
4×	associate-+r+_binary64_2397 frac-times_binary64_1111 associate-*r/_binary64_2407 associate-/r/_binary64_3775 associate-/l/_binary64_2412 sqrt-prod_binary64_3163 sub-neg_binary64_3822 sub-neg_binary64_1435 log-prod_binary64_164 cancel-sign-sub-inv_binary64_1408 pow1/2_binary64 unpow-prod-down_binary64_157 pow-sqr_binary64_2097 sqr-pow_binary64_2096 pow-pow_binary64_2537 div-exp_binary64_1152 sqrt-pow1_binary64 associate--l-_binary64 associate--r+_binary64_2060 pow-prod-up_binary64_2194 diff-log_binary64_1193 swap-sqr_binary64_3796 unpow-prod-down_binary64_2203 cbrt-undiv_binary64_2158 unpow2_binary64_2189 associate-*r/_binary64_3089 flip3--_binary64_3833 pow1/3_binary64 neg-mul-1_binary64_74 cube-prod_binary64_106 flip--_binary64_3804 diff-log_binary64_1534 sum-log_binary64_1192 cbrt-undiv_binary64_1135 frac-times_binary64_2816 frac-add_binary64_2814 frac-times_binary64_3157
3×	flip3-+_binary64_2127 pow1/3_binary64_2547 clear-num_binary64_2123 frac-2neg_binary64_2817 prod-exp_binary64_2514 +-commutative_binary64_2054 associate--l+_binary64_3766 flip-+_binary64_2098 associate-+l+_binary64_1034 pow-unpow_binary64 pow-prod-down_binary64_2536 pow1/3_binary64_160 pow-unpow_binary64_3224 flip--_binary64_1758 rec-exp_binary64_469 pow-unpow_binary64_3906 div-sub_binary64_2811 exp-prod_binary64_2517 unswap-sqr_binary64_2433 add-log-exp_binary64_3186 1-exp_binary64_463 cube-prod_binary64_1811 log-prod_binary64_2892 rem-sqrt-square_binary64_773 cbrt-unprod_binary64_2498 sum-log_binary64_851 sqr-pow_binary64_1073 pow-unpow_binary64_2542 pow-unpow_binary64_2883 clear-num_binary64_2805 cube-prod_binary64_1129 +-commutative_binary64_8 sum-log_binary64_3920 cancel-sign-sub-inv_binary64_2431 rem-cbrt-cube_binary64_2489 pow-pow_binary64_3219 *-commutative_binary64_2396 div-inv_binary64_2121 rec-exp_binary64_810 1-exp_binary64_804 frac-2neg_binary64_2135 flip3--_binary64_1787 sqrt-pow1_binary64_778 diff-log_binary64_3921 pow-exp_binary64 associate-*l/_binary64_1385 pow1/2_binary64_840 frac-times_binary64_1452 sqr-pow_binary64_1755 +-commutative_binary64_690 sum-log_binary64_169 associate-/l/_binary64_25
2×	rem-sqrt-square_binary64_1114 associate-*r/_binary64_2748 associate-/l/_binary64_2071 div-inv_binary64_2462 cube-mult_binary64_2836 distribute-rgt1-in_binary64_716 pow-prod-up_binary64_3899 prod-exp_binary64_3196 diff-log_binary64_1875 cube-mult_binary64 unswap-sqr_binary64_1751 sqr-pow_binary64_50 unpow3_binary64 flip3--_binary64_2469 flip--_binary64_2440 associate-*l/_binary64_2749 clear-num_binary64_1100 rem-cube-cbrt_binary64_2829 pow-exp_binary64_2192 rem-cube-cbrt_binary64 distribute-lft-out_binary64_1393 cube-div_binary64_1812 associate-*l/_binary64_1044 cube-mult_binary64_790 clear-num_binary64_2464 unswap-sqr_binary64_3115 associate-+r+_binary64_10 distribute-rgt-in_binary64_2415 *-commutative_binary64_3078 unpow3_binary64_2872 cancel-sign-sub-inv_binary64_2772 cbrt-div_binary64_1815 pow-to-exp_binary64 un-div-inv_binary64_76 frac-2neg_binary64_3840 sqrt-pow1_binary64_1119 distribute-rgt-out_binary64_713 sqr-pow_binary64_2778 cbrt-unprod_binary64_3180 cube-div_binary64_1130 inv-pow_binary64_845 associate-*r/_binary64_1384 distribute-rgt-in_binary64_3097 div-sub_binary64_2129 sub-neg_binary64_1776 *-commutative_binary64_1373 pow-exp_binary64_2874 +-commutative_binary64_1031 +-commutative_binary64_3759 log-div_binary64_165 div-sub_binary64_1447 pow-sqr_binary64_3802 pow-sqr_binary64_1074 div-exp_binary64_2516 sub-neg_binary64_2799 frac-add_binary64_2132 frac-2neg_binary64_2476 pow-prod-down_binary64_1513 pow1/2_binary64_1181 clear-num_binary64_3828 distribute-lft-in_binary64_2414 frac-2neg_binary64_1112 cube-div_binary64_2835 pow-plus_binary64_2187 cube-div_binary64 cbrt-undiv_binary64_2499 associate-/r/_binary64_2411 pow-flip_binary64_1516 diff-log_binary64_2898 pow-prod-down_binary64_3218 pow-flip_binary64_834 associate-*l/_binary64_3090 inv-pow_binary64_1527 cbrt-div_binary64_1133 distribute-lft-in_binary64_3096 pow-prod-up_binary64_1171 associate-+l+_binary64_3762
1×	unpow3_binary64_1167 exp-diff_binary64_2854 pow2_binary64_3228 cube-mult_binary64_1813 unpow3_binary64_144 pow-to-exp_binary64_2193 pow-plus_binary64_3210 cube-mult_binary64_108 pow-prod-up_binary64_830 unpow3_binary64_1849 pow-to-exp_binary64_2875 pow-sqr_binary64_3120 rem-cbrt-cube_binary64_1125 rem-cbrt-cube_binary64_1807 pow-prod-up_binary64_3217 log-div_binary64_2893 div-sub_binary64_424 distribute-frac-neg_binary64_41 pow-to-exp_binary64_3898 unpow3_binary64_826 rem-log-exp_binary64_2847 frac-add_binary64_1450 pow2_binary64_2205 pow1/3_binary64_2888 rem-cbrt-cube_binary64 pow1/3_binary64_1865 associate-*l*_binary64_2065 sqrt-pow2_binary64_3166 inv-pow_binary64_504 associate-+l-_binary64_2059 associate-+r-_binary64_2058 diff-log_binary64_2557 associate-*r*_binary64_2064 distribute-rgt-out--_binary64_32 distribute-lft-out_binary64_3780 inv-pow_binary64_163 pow-pow_binary64_3901 pow-pow_binary64_2878 rem-log-exp_binary64_119 pow-exp_binary64_146 pow2_binary64_1182 *-commutative_binary64_2055 difference-of-squares_binary64_1070 pow-exp_binary64_3215 cbrt-div_binary64_2838 pow-flip_binary64_152 sqr-pow_binary64_3119 associate-+r-_binary64 sub-neg_binary64_2458 pow-flip_binary64_493 pow-exp_binary64_2533 pow2_binary64_3910 pow-to-exp_binary64_147 unpow2_binary64_2530 pow2_binary64_841 cube-mult_binary64_1131 cbrt-unprod_binary64_2839 pow-plus_binary64_3892 sqrt-undiv_binary64 pow-exp_binary64_3897 pow-plus_binary64_823 swap-sqr_binary64_2091 sqrt-pow1_binary64_3165 div-sub_binary64_83 pow-sqr_binary64_733 associate-+l+_binary64_2398 neg-sub0_binary64_73 pow-pow_binary64 pow-plus_binary64_1164 un-div-inv_binary64_1440 prod-exp_binary64_2855 rem-cbrt-cube_binary64_2830 div-sub_binary64_2470 pow1/2_binary64_3227 associate--r-_binary64_2063 pow-to-exp_binary64_2534 div-sub_binary64_3834 log-pow_binary64_167 pow-to-exp_binary64_3216

Counts

272 → 9239

Calls

212 calls:

189.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
100.0ms	(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1))))) (/.f64 (/.f64 v (+.f64 t1 u)) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
95.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)))
69.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
62.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))

Compiler

Compiled 350740 to 201805 computations (42.5% saved)