rewrite47.1s (17.2%)

Algorithm

109×	rewrite-expression-head

Rules

1975×	times-frac_binary64_766
1700×	times-frac_binary64_84
1596×	*-un-lft-identity_binary64_760
1318×	times-frac_binary64
1312×	add-sqr-sqrt_binary64_100
1288×	add-sqr-sqrt_binary64_782
1259×	*-un-lft-identity_binary64_78
1144×	*-un-lft-identity_binary64
1102×	add-sqr-sqrt_binary64
986×	add-cube-cbrt_binary64_795
765×	cancel-sign-sub-inv_binary64_726
737×	associate-*r/_binary64
725×	times-frac_binary64_3153
723×	times-frac_binary64_2130
677×	add-cube-cbrt_binary64
672×	add-cube-cbrt_binary64_113
642×	add-sqr-sqrt_binary64_3169
622×	*-un-lft-identity_binary64_3147
617×	add-sqr-sqrt_binary64_2146
528×	cbrt-div_binary64
527×	*-un-lft-identity_binary64_2124
512×	*-un-lft-identity_binary64_419
504×	add-exp-log_binary64
502×	times-frac_binary64_1448
482×	*-un-lft-identity_binary64_1442
444×	add-cbrt-cube_binary64
420×	associate-*r*_binary64
400×	frac-times_binary64 flip3--_binary64 flip--_binary64
380×	add-cube-cbrt_binary64_2159
368×	add-cube-cbrt_binary64_3182
347×	times-frac_binary64_2471
327×	add-sqr-sqrt_binary64_1464
308×	add-sqr-sqrt_binary64_2487
306×	cancel-sign-sub-inv_binary64_1408
303×	times-frac_binary64_425
291×	distribute-lft-out_binary64_711
287×	cbrt-prod_binary64
269×	add-cube-cbrt_binary64_1477
258×	add-exp-log_binary64_798
255×	div-inv_binary64_757
246×	difference-of-squares_binary64_47 frac-add_binary64
237×	add-sqr-sqrt_binary64_441
225×	difference-of-squares_binary64
222×	*-un-lft-identity_binary64_2465
212×	sqrt-prod_binary64
210×	distribute-lft-out_binary64_370
206×	add-cube-cbrt_binary64_454
205×	prod-exp_binary64
201×	cbrt-unprod_binary64
198×	unpow-prod-down_binary64_2544
194×	add-cube-cbrt_binary64_2500
190×	associate-*l/_binary64
189×	associate-*r*_binary64_3087
188×	add-log-exp_binary64_3186 add-cbrt-cube_binary64_796
182×	distribute-lft-out_binary64_29
168×	difference-of-squares_binary64_3116 cancel-sign-sub-inv_binary64_2431
165×	associate-/r*_binary64_22
164×	add-exp-log_binary64_116
158×	distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710
136×	div-exp_binary64
133×	difference-of-squares_binary64_729
132×	pow1_binary64
131×	cbrt-undiv_binary64
127×	associate-*l*_binary64_701
125×	add-cbrt-cube_binary64_114
123×	distribute-lft-out--_binary64_30
122×	distribute-lft-out_binary64_1393 add-exp-log_binary64_2503
119×	distribute-lft-out--_binary64
113×	add-exp-log_binary64_3185
112×	add-cbrt-cube_binary64_2501
108×	difference-of-squares_binary64_2093 associate-/r*_binary64 associate-*r*_binary64_359
106×	add-cbrt-cube_binary64_3183 associate-*r*_binary64_700
100×	associate-/r/_binary64_24
99×	sum-log_binary64_3238
92×	flip3-+_binary64_3150 flip-+_binary64_3121
91×	add-exp-log_binary64_2162
90×	frac-sub_binary64_428 add-log-exp_binary64_117
88×	unpow-prod-down_binary64_3226
87×	pow1_binary64_2867
85×	sqr-pow_binary64_3119
84×	exp-neg_binary64_466 difference-of-sqr-1_binary64_3117 frac-times_binary64_429
83×	pow1_binary64_821
82×	sqr-pow_binary64_2437
80×	div-inv_binary64_1439 cbrt-prod_binary64_450
78×	associate-/r*_binary64_2068 distribute-lft-out_binary64_3098 div-exp_binary64_811
75×	pow1_binary64_139 prod-exp_binary64_809
74×	sqrt-prod_binary64_2140
73×	pow1_binary64_3208 distribute-lft-out--_binary64_712
72×	div-inv_binary64_416 pow1_binary64_2185 unpow-prod-down_binary64_498 add-log-exp_binary64_799 sqrt-prod_binary64_776 add-cbrt-cube_binary64_2160
71×	associate-/r*_binary64_704 associate-/r/_binary64_706
69×	add-log-exp_binary64_1481
68×	exp-diff_binary64_467 frac-add_binary64_3155 associate-*r/_binary64_3089
67×	associate-/l*_binary64_705
66×	exp-prod_binary64
64×	add-cbrt-cube_binary64_455
63×	neg-sub0_binary64_414
61×	add-exp-log_binary64_1821 add-exp-log_binary64_457 add-log-exp_binary64
60×	cube-prod_binary64_447
59×	associate-*l*_binary64
58×	add-log-exp_binary64_2163 distribute-lft-out_binary64
57×	div-inv_binary64_75 distribute-lft-out--_binary64_2076 log-prod_binary64_2210
55×	cancel-sign-sub-inv_binary64_44 div-inv_binary64
54×	distribute-lft-in_binary64_2414 distribute-rgt-in_binary64_2415 difference-of-squares_binary64_2434
53×	add-cbrt-cube_binary64_1819 *-un-lft-identity_binary64_2806 cbrt-undiv_binary64_794
52×	exp-sum_binary64_465 associate-/r*_binary64_3091 flip3-+_binary64_81 flip-+_binary64_52
51×	associate-/l*_binary64 pow-unpow_binary64_496
50×	associate-/r/_binary64
49×	pow-prod-down_binary64 associate-*r*_binary64_18
48×	pow1_binary64_1844
47×	add-sqr-sqrt_binary64_2828
46×	associate-*r/_binary64_361 associate-*l/_binary64_362
45×	cancel-sign-sub-inv_binary64 div-exp_binary64_129 flip-+_binary64_393 flip3-+_binary64_422 pow1_binary64_480 cbrt-unprod_binary64_793
43×	flip3--_binary64_764 flip--_binary64_735 associate-*r*_binary64_2405
42×	exp-prod_binary64_812
41×	associate-/l*_binary64_23 prod-exp_binary64_127
40×	associate-*l*_binary64_19 add-sqr-sqrt_binary64_1123 div-inv_binary64_3144 add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
39×	flip3-+_binary64_763 flip-+_binary64_734 add-sqr-sqrt_binary64_1805
37×	add-exp-log_binary64_1480 pow1_binary64_2526 add-cbrt-cube_binary64_1478
36×	sqrt-prod_binary64_3163 cancel-sign-sub-inv_binary64_2090 add-log-exp_binary64_2504 div-exp_binary64_2516 log-pow_binary64_2213 cbrt-prod_binary64_109 associate-*l*_binary64_1383
34×	flip3--_binary64_423 add-cbrt-cube_binary64_2842 flip--_binary64_394 log-pow_binary64 add-exp-log_binary64_2844
32×	sqrt-pow1_binary64_2824 add-cube-cbrt_binary64_1818 prod-exp_binary64_2514 frac-times_binary64_770 *-un-lft-identity_binary64_1783 cbrt-unprod_binary64_2498 add-cube-cbrt_binary64_2841 prod-exp_binary64_1832
31×	associate-*r*_binary64_2746 associate-*r*_binary64_2064 pow-prod-down_binary64_2877 cbrt-unprod_binary64_111 associate-*l*_binary64_360
30×	add-log-exp_binary64_458 associate-/l*_binary64_3092
29×	cancel-sign-sub-inv_binary64_385 sub-neg_binary64_412
28×	distribute-lft-out--_binary64_3099 associate-*r/_binary64_2748 unswap-sqr_binary64 exp-prod_binary64_2176 cbrt-undiv_binary64_2499 sum-log_binary64_169
27×	associate-/l*_binary64_2410 pow1_binary64_1503 associate-*l*_binary64_2747 flip3-+_binary64_2127 flip-+_binary64_2098 times-frac_binary64_1107
26×	associate-*r*_binary64_1723 cbrt-unprod_binary64_1816 cbrt-undiv_binary64_112 associate-/r*_binary64_363
25×	add-log-exp_binary64_2845
24×	distribute-rgt-in_binary64 associate-/r*_binary64_2409 pow-prod-down_binary64_149 distribute-lft-in_binary64
23×	associate-/r/_binary64_365 associate-*l*_binary64_1724 log-prod_binary64_505 pow-prod-down_binary64_1854
22×	sqrt-prod_binary64_2481 div-exp_binary64_3198 prod-exp_binary64_3196 associate-*r/_binary64_702 associate-*l*_binary64_3088 cbrt-unprod_binary64_3180
21×	cbrt-prod_binary64_1473 flip3-+_binary64 flip-+_binary64 un-div-inv_binary64_417 cancel-sign-sub-inv_binary64_1067
20×	associate-*l*_binary64_2065 flip3-+_binary64_2809 flip3-+_binary64_1445 div-exp_binary64_2175 flip-+_binary64_1416 div-inv_binary64_2121 flip-+_binary64_2780
19×	associate-*l/_binary64_703 log-div_binary64_2211 associate-/r/_binary64_3093
18×	log-pow_binary64_849 flip3--_binary64_2469 flip--_binary64_2440 cbrt-div_binary64_792 swap-sqr_binary64_727 cbrt-undiv_binary64_3181 associate-/l*_binary64_364 diff-log_binary64_1534 difference-of-squares_binary64_1411
17×	associate-+l+_binary64 sub-neg_binary64_753 associate-/l*_binary64_2069 +-commutative_binary64_3077
16×	flip3--_binary64_2128 associate-/r/_binary64_1388 sqrt-div_binary64_2823 unpow-prod-down_binary64_157 cube-prod_binary64_106 flip--_binary64_2099 div-inv_binary64_2462 pow-prod-down_binary64_3218 associate-+r+_binary64
15×	sub-neg_binary64 distribute-lft-out_binary64_2075 add-log-exp_binary64_1822 frac-2neg_binary64_771 log-prod_binary64_1187 exp-sum_binary64_1147 *-commutative_binary64 clear-num_binary64_759
14×	cancel-sign-sub-inv_binary64_1749 cbrt-div_binary64_1474
13×	associate-/l/_binary64_707 sqrt-div_binary64 1-exp_binary64_804 add-log-exp_binary64_1140 sub-neg_binary64_2117 rec-exp_binary64_810 unpow-prod-down_binary64_1862 unswap-sqr_binary64_46
12×	sqrt-div_binary64_3164 cbrt-unprod_binary64_452 associate-/l/_binary64_2071 exp-sum_binary64_2170 flip3--_binary64_82 sqrt-pow1_binary64_2142 associate-*l*_binary64_2406 unswap-sqr_binary64_387 sqrt-div_binary64_777 cbrt-prod_binary64_1132 clear-num_binary64 cbrt-prod_binary64_1814 pow1/2_binary64_2886 distribute-lft-out_binary64_2757 flip--_binary64_53 frac-2neg_binary64 associate-/r/_binary64_2411 prod-exp_binary64_468
11×	distribute-lft-out--_binary64_1394 distribute-lft-in_binary64_2073 associate-/l/_binary64_2412 swap-sqr_binary64 diff-log_binary64_852 flip--_binary64_1417 add-exp-log_binary64_1139 flip3--_binary64_1446 sub-neg_binary64_1435 add-cbrt-cube_binary64_1137 distribute-rgt-in_binary64_2074 difference-of-sqr-1_binary64_2094 cbrt-undiv_binary64_2158 cube-div_binary64_448 associate-+l+_binary64_3080
10×	pow-prod-up_binary64_2876 associate-/l/_binary64 prod-exp_binary64_2173 cbrt-undiv_binary64_453 cbrt-div_binary64_451 frac-sub_binary64_769 associate-/l/_binary64_3094 cbrt-unprod_binary64_2157 diff-log_binary64_2216 associate-*r/_binary64_2066 cbrt-unprod_binary64_2839 pow-prod-down_binary64_831 associate-+r+_binary64_3079 div-exp_binary64_470 prod-exp_binary64_2855
9×	distribute-lft-out--_binary64_2417 pow-pow_binary64_491 *-commutative_binary64_9 unpow-prod-down_binary64_1180 rec-exp_binary64_128 1-exp_binary64_122 pow1/3_binary64 clear-num_binary64_77 cbrt-prod_binary64_791 sqrt-prod_binary64_1799 associate-*r/_binary64_2407 sum-log_binary64_1533 unswap-sqr_binary64_3115 frac-2neg_binary64_89
8×	associate-*r*_binary64_1382 unswap-sqr_binary64_728 clear-num_binary64_3146 associate--r+_binary64_1037 frac-times_binary64_2134 rem-log-exp_binary64_2165 unswap-sqr_binary64_2774 div-sub_binary64 pow-prod-down_binary64_2195 sqrt-div_binary64_2482 *-commutative_binary64_2737 *-commutative_binary64_3078 pow1_binary64_1162 frac-2neg_binary64_3158 *-commutative_binary64_1714 pow-prod-down_binary64_490 *-commutative_binary64_350 sqrt-div_binary64_2141 associate-/r*_binary64_1386
7×	distribute-rgt-in_binary64_2756 flip-+_binary64_2439 clear-num_binary64_2464 log-pow_binary64_508 exp-prod_binary64_471 pow1/3_binary64_1524 sub-neg_binary64_2458 diff-log_binary64_170 sub-neg_binary64_71 frac-2neg_binary64_2476 distribute-lft-in_binary64_2755 flip3-+_binary64_2468
6×	associate-/r*_binary64_1045 pow-to-exp_binary64_2534 associate-/l*_binary64_1046 *-commutative_binary64_691 pow-prod-down_binary64_2536 sqrt-prod_binary64_2822 associate-/l*_binary64_1387 unswap-sqr_binary64_2092 associate-*l/_binary64_2749 pow-sqr_binary64_2779 *-commutative_binary64_2055 pow1/2_binary64_2204 associate-/r/_binary64_1047 distribute-rgt-in_binary64_3097 +-commutative_binary64_8 associate--r+_binary64_1378 associate-*l/_binary64_2067 sqr-pow_binary64_391 pow-exp_binary64_2533 log-prod_binary64_846 sum-log_binary64 rem-sqrt-square_binary64_2137 distribute-lft-in_binary64_3096 associate-/l/_binary64_25
5×	sub-neg_binary64_1094 unswap-sqr_binary64_2433 sqrt-pow1_binary64 diff-log_binary64_2557 clear-num_binary64_418 frac-2neg_binary64_430 +-commutative_binary64_2736 sum-log_binary64_2897 associate-/r/_binary64_2070 distribute-lft-out_binary64_2416 sqr-pow_binary64_1755
4×	clear-num_binary64_2123 flip--_binary64_1076 associate-*r/_binary64_20 cbrt-unprod_binary64_1475 pow1/2_binary64_2545 unswap-sqr_binary64_1751 sqr-pow_binary64_50 distribute-rgt1-in_binary64_2762 pow1/2_binary64_3227 pow1/2_binary64 distribute-rgt-out_binary64_2759 frac-times_binary64_2816 exp-prod_binary64_1153 inv-pow_binary64_845 associate--l+_binary64_2061 associate--r+_binary64_2060 associate-/l/_binary64_366 distribute-rgt-neg-in_binary64_718 cube-div_binary64_107 rem-sqrt-square_binary64_773 unswap-sqr_binary64_1410 rem-sqrt-square_binary64 prod-exp_binary64_1491 +-commutative_binary64 cbrt-div_binary64_110 associate-*r/_binary64_1384 sqrt-pow1_binary64_3165 rem-sqrt-square_binary64_2478 *-commutative_binary64_2396 div-exp_binary64_1493 associate-+r+_binary64_10 distribute-lft-neg-in_binary64_717 pow-flip_binary64_834 frac-2neg_binary64_2135 distribute-lft-in_binary64_1050 sqrt-pow1_binary64_778 pow-exp_binary64_487 rem-sqrt-square_binary64_3160 cbrt-undiv_binary64_1476 distribute-rgt-in_binary64_1051 swap-sqr_binary64_2773 pow1/2_binary64_840 frac-times_binary64_1452 sqrt-pow1_binary64_2483 frac-times_binary64_2475 flip3--_binary64_1105
3×	cancel-sign-sub-inv_binary64_3113 diff-log_binary64_511 cube-mult_binary64_108 pow-to-exp_binary64_488 unpow3_binary64_144 difference-of-squares_binary64_388 pow-flip_binary64_152 pow1/3_binary64_501 diff-log_binary64_1193 log-prod_binary64 flip--_binary64_1758 associate--l-_binary64 inv-pow_binary64_163 exp-sum_binary64_806 rec-exp_binary64 cube-prod_binary64_1811 sqr-pow_binary64_1073 rec-exp_binary64_2174 cube-prod_binary64_1129 1-exp_binary64_2168 flip-+_binary64_1075 div-inv_binary64_1098 div-sub_binary64_765 diff-log_binary64 distribute-neg-in_binary64_721 rem-exp-log_binary64_800 pow-flip_binary64 flip3--_binary64_1787 pow-unpow_binary64_3224 pow1/3_binary64_842 flip3-+_binary64_1104 1-exp_binary64 rem-log-exp_binary64_460
2×	associate-+l+_binary64_2739 rec-exp_binary64_3197 pow-prod-up_binary64 sum-log_binary64_2556 associate--l-_binary64_2062 div-exp_binary64_1152 diff-log_binary64_1875 pow-prod-up_binary64_830 pow-exp_binary64_1851 +-commutative_binary64_2054 clear-num_binary64_1441 distribute-rgt-in_binary64_1392 associate-+r+_binary64_2738 cube-div_binary64_1812 pow-prod-down_binary64_1513 clear-num_binary64_1100 distribute-rgt-out--_binary64_32 pow1/3_binary64_160 1-exp_binary64_3191 sum-log_binary64_851 associate-+r-_binary64 cbrt-div_binary64_1815 associate-*l/_binary64_1385 pow-to-exp_binary64_1852 un-div-inv_binary64_76 frac-2neg_binary64_1453 pow-sqr_binary64_733 associate-*l/_binary64_2408 cube-div_binary64_1130 flip3--_binary64_3151 div-sub_binary64_2129 sub-neg_binary64_1776 *-commutative_binary64_1373 distribute-lft-neg-out_binary64 sum-log_binary64_2215 pow2_binary64_841 +-commutative_binary64_2395 pow-plus_binary64_823 cbrt-undiv_binary64_1135 distribute-lft-in_binary64_1391 flip--_binary64_3122 frac-2neg_binary64_1112 rem-cube-cbrt_binary64_442 unpow3_binary64_485 associate--r-_binary64_2063 cube-mult_binary64_449 cube-mult_binary64_2836 frac-sub_binary64_2474 rem-cbrt-cube_binary64_102 associate-*l/_binary64_21 pow-sqr_binary64 cbrt-div_binary64_1133 +-commutative_binary64_690
1×	pow-plus_binary64 pow2_binary64_2887 exp-diff_binary64_808 pow1/3_binary64_1183 pow-to-exp_binary64_3216 rem-log-exp_binary64_801 neg-sub0_binary64_755 rem-cbrt-cube_binary64_1807 rem-square-sqrt_binary64_2818 inv-pow_binary64_3232 rem-exp-log_binary64_1141 pow-flip_binary64_2198 div-sub_binary64_83 diff-log_binary64_3239 pow2_binary64 rem-exp-log_binary64 exp-diff_binary64_1149 distribute-lft-in_binary64_27 distribute-lft-out--_binary64_371 unsub-neg_binary64 cube-mult_binary64_1813 inv-pow_binary64_2209 pow-exp_binary64_146 pow-flip_binary64_3221 pow-exp_binary64_3215 exp-diff_binary64_2172 neg-mul-1_binary64_756 distribute-rgt-in_binary64_28 unpow3_binary64_2872 rem-log-exp_binary64 rem-cbrt-cube_binary64_1125 log-div_binary64_1188 inv-pow_binary64 div-sub_binary64_3152 pow-to-exp_binary64_147 exp-neg_binary64_807 pow-pow_binary64_3219 exp-to-pow_binary64_481 +-commutative_binary64_1372 associate-+l+_binary64_11 neg-log_binary64_853 cube-mult_binary64_1131 sqrt-unprod_binary64_2826 unpow3_binary64_1167 pow-plus_binary64_2869 rem-cbrt-cube_binary64_443 sub-neg_binary64_3140 log-pow_binary64_1190 unpow3_binary64_1849 pow1/3_binary64_1865 associate-*l/_binary64_3090 distribute-rgt-out--_binary64_2078

Counts

296 → 11429

Calls

211 calls:

333.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
140.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
96.0ms	(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (*.f64 (*.f64 (cbrt.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 (*.f64 x1 x1) 3) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)) (cbrt.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 (*.f64 x1 x1) 3) x1)) (+.f64 (*.f64 x1 x1) 1)) 3))) (cbrt.f64 (-.f64 (/.f64 (+.f64 (*.f64 x2 2) (-.f64 (*.f64 (*.f64 x1 x1) 3) x1)) (+.f64 (*.f64 x1 x1) 1)) 3)))) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
91.0ms	(*.f64 (*.f64 (-.f64 3/8 (*.f64 v 1/4)) (/.f64 (*.f64 w r) (*.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v))))) (/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w)))
66.0ms	(*.f64 t (/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t)))))

Compiler

Compiled 580458 to 348338 computations (40% saved)