rewrite33.6s (11.8%)

Algorithm

101×	rewrite-expression-head

Rules

2402×	times-frac_binary64_766
1747×	*-un-lft-identity_binary64_760
1648×	times-frac_binary64_84
1563×	add-sqr-sqrt_binary64_782
1230×	add-sqr-sqrt_binary64_100
1146×	*-un-lft-identity_binary64_78
1115×	add-cube-cbrt_binary64_795
912×	*-un-lft-identity_binary64_1442
909×	times-frac_binary64_1448
763×	add-sqr-sqrt_binary64_1464
674×	add-cube-cbrt_binary64_113
657×	cancel-sign-sub-inv_binary64_726
536×	*-un-lft-identity_binary64
526×	add-sqr-sqrt_binary64
479×	times-frac_binary64
473×	add-cube-cbrt_binary64_1477
470×	times-frac_binary64_425
413×	*-un-lft-identity_binary64_419
335×	add-exp-log_binary64
308×	add-cbrt-cube_binary64
288×	cancel-sign-sub-inv_binary64_385
285×	add-exp-log_binary64_798 add-cube-cbrt_binary64
284×	add-sqr-sqrt_binary64_441
260×	distribute-lft-out_binary64_711
247×	div-inv_binary64_757
240×	associate-*r*_binary64_1382
225×	add-cube-cbrt_binary64_454
212×	difference-of-squares_binary64_47
207×	difference-of-squares_binary64_729
203×	add-cbrt-cube_binary64_796
202×	distribute-lft-out_binary64_1393
171×	pow1_binary64
169×	difference-of-squares_binary64_1411
168×	associate-*r*_binary64
164×	add-log-exp_binary64_2504
162×	*-un-lft-identity_binary64_2465
158×	sqrt-prod_binary64
157×	*-un-lft-identity_binary64_2124
153×	cbrt-unprod_binary64 prod-exp_binary64
146×	add-exp-log_binary64_116
140×	associate-/l*_binary64_23 add-exp-log_binary64_1480
138×	associate-*r/_binary64_1384
132×	cbrt-prod_binary64_2155
129×	associate-*r*_binary64_700 distribute-lft-out_binary64_29
119×	add-cbrt-cube_binary64_1478 add-log-exp_binary64_1481
118×	difference-of-squares_binary64 add-cbrt-cube_binary64_114
112×	distribute-lft-out_binary64_370
111×	associate-*l*_binary64_701
110×	distribute-lft-out--_binary64_712
107×	flip3-+_binary64_1445 flip-+_binary64_1416
106×	distribute-lft-out--_binary64_30 unpow-prod-down_binary64_1521
102×	div-exp_binary64_811
96×	associate-/r*_binary64_704
94×	add-sqr-sqrt_binary64_3510
91×	sqr-pow_binary64_1414
90×	distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710
88×	frac-add_binary64_1450
86×	*-un-lft-identity_binary64_3488 prod-exp_binary64_809
85×	pow-prod-down_binary64 add-cube-cbrt_binary64_3523 div-inv_binary64_1439 add-sqr-sqrt_binary64_2828
84×	difference-of-sqr-1_binary64_1412 exp-neg_binary64_466 frac-times_binary64_429
83×	times-frac_binary64_3494
82×	sum-log_binary64_2556 pow1_binary64_139
81×	frac-sub_binary64_428
79×	pow1_binary64_3208 div-inv_binary64_416 add-log-exp_binary64_799
78×	associate-*l*_binary64
77×	distribute-lft-out_binary64_2075 distribute-lft-out_binary64_2416 associate-/r*_binary64_1386
75×	*-un-lft-identity_binary64_2806
74×	add-cube-cbrt_binary64_2841 pow1_binary64_1503
73×	add-exp-log_binary64_1139
68×	pow1_binary64_821 times-frac_binary64_2812
66×	associate-/l*_binary64_705
65×	associate-/r*_binary64_22 add-sqr-sqrt_binary64_1805
64×	add-log-exp_binary64_2163
63×	neg-sub0_binary64_414 distribute-lft-out--_binary64 exp-diff_binary64_467 cbrt-undiv_binary64_794
61×	add-cbrt-cube_binary64_1137 sqrt-prod_binary64_776
59×	add-sqr-sqrt_binary64_1123 add-log-exp_binary64
56×	*-un-lft-identity_binary64_1783 cbrt-undiv_binary64 div-exp_binary64
55×	pow1_binary64_1162
54×	unpow-prod-down_binary64_2203 associate-/r/_binary64_24
52×	associate-/l*_binary64_1387
51×	pow-pow_binary64_1514
50×	div-inv_binary64_75 cbrt-unprod_binary64_793
48×	cube-prod_binary64_2152 exp-prod_binary64_1494
47×	flip--_binary64_735 flip3--_binary64_764 add-sqr-sqrt_binary64_2487
45×	associate-/l*_binary64 associate-*r*_binary64_18
44×	associate-*l/_binary64_362 *-un-lft-identity_binary64_1101
43×	div-exp_binary64_129 add-sqr-sqrt_binary64_2146
42×	associate-*l*_binary64_1042 cbrt-div_binary64_1474 associate-*r/_binary64_361
40×	add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_3147
39×	add-cube-cbrt_binary64_1818 flip-+_binary64_393 flip3-+_binary64_422 add-cube-cbrt_binary64_2500 associate-/r/_binary64_706 add-cube-cbrt_binary64_1136 associate-/r*_binary64
38×	sum-log_binary64_1533 add-exp-log_binary64_2844
37×	prod-exp_binary64_127 distribute-lft-out_binary64
36×	flip--_binary64_394 add-exp-log_binary64_3526 sqrt-prod_binary64_2822 flip3--_binary64_423
34×	prod-exp_binary64_1150 div-exp_binary64_1493
33×	div-inv_binary64 add-sqr-sqrt_binary64_3169
32×	sqrt-pow1_binary64_3165 associate-*r*_binary64_1041 add-cbrt-cube_binary64_2842
31×	associate-/r/_binary64_1388 cbrt-unprod_binary64_111 add-log-exp_binary64_117
30×	add-log-exp_binary64_1140 associate-*l*_binary64_19 add-cbrt-cube_binary64_3524 associate-*r/_binary64_3089
29×	distribute-lft-out--_binary64_1394 sum-log_binary64_2215
28×	associate-*l/_binary64 pow-prod-down_binary64_3218
27×	cbrt-prod_binary64_2496 pow-prod-down_binary64_149 associate-*l*_binary64_360
26×	add-cbrt-cube_binary64_2501 cbrt-unprod_binary64_1134 add-exp-log_binary64_2503 associate-/r/_binary64 cbrt-undiv_binary64_112 pow1_binary64_2526
25×	flip-+_binary64_2439 times-frac_binary64_1789 frac-times_binary64_770 sub-neg_binary64_753 cbrt-undiv_binary64_1476 flip3-+_binary64_2468
24×	flip3--_binary64 flip--_binary64
23×	associate-*r*_binary64_3087 add-cube-cbrt_binary64_3182 add-cbrt-cube_binary64_1819 add-log-exp_binary64_458 prod-exp_binary64_1491 add-exp-log_binary64_3185
22×	flip-+_binary64 flip3-+_binary64 flip3-+_binary64_2809 pow-prod-down_binary64_1172 add-log-exp_binary64_2845 pow1_binary64_2185 flip-+_binary64_2780 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160 associate-*l*_binary64_1383
21×	add-exp-log_binary64_1821 pow1_binary64_1844 add-cbrt-cube_binary64_455 associate-/r*_binary64_2750 un-div-inv_binary64_417 pow1_binary64_2867 associate-/r*_binary64_3432
20×	frac-times_binary64 add-log-exp_binary64_1822 add-cbrt-cube_binary64_3183 unswap-sqr_binary64
19×	cbrt-unprod_binary64_1475 diff-log_binary64_852 add-log-exp_binary64_3527 1-exp_binary64_804 pow1_binary64_480
18×	sqrt-prod_binary64_3504 associate-*r/_binary64_702 cbrt-div_binary64_2497 cbrt-prod_binary64 pow1_binary64_3549 difference-of-squares_binary64_388 associate-/l*_binary64_3433 exp-prod_binary64_1835 sqrt-prod_binary64_1458
17×	associate-*l/_binary64_703 add-exp-log_binary64_457
16×	sqrt-div_binary64_3164 log-pow_binary64_167 associate-/r/_binary64_3434 *-commutative_binary64 associate-*l*_binary64_3088
15×	associate-*r*_binary64_2746 flip-+_binary64_3121 associate-*r*_binary64_3428 cbrt-prod_binary64_3519 flip3-+_binary64_3150 exp-prod_binary64_130 flip3-+_binary64_81 flip-+_binary64_52
14×	log-prod_binary64_1528 flip3--_binary64_82 associate-/l/_binary64_2753 cancel-sign-sub-inv_binary64_2090 cancel-sign-sub-inv_binary64_2431 flip--_binary64_53 diff-log_binary64_1534
13×	unswap-sqr_binary64_1410 flip3-+_binary64_763 flip-+_binary64_734 difference-of-squares_binary64_1752 associate-/l*_binary64_2751
12×	flip3-+_binary64_2127 clear-num_binary64_1441 flip3--_binary64_1446 flip-+_binary64_2098 associate-*r/_binary64 sqrt-div_binary64_2823 pow1/2_binary64_3227 flip--_binary64_1417 sqrt-div_binary64_777 frac-2neg_binary64_1453 unswap-sqr_binary64_1069 sqrt-div_binary64_1459 cbrt-prod_binary64_791 +-commutative_binary64_2395 frac-sub_binary64_1451 cancel-sign-sub-inv_binary64 add-log-exp_binary64_3186 unswap-sqr_binary64_46 associate-/r/_binary64_2752 associate-*r*_binary64_359
11×	unswap-sqr_binary64_728 *-commutative_binary64_1032 clear-num_binary64_77 distribute-lft-out_binary64_3098 pow-prod-down_binary64_1513 associate-/l*_binary64_1728 frac-2neg_binary64_89
10×	associate-/l/_binary64 associate-/l/_binary64_3435 pow-prod-up_binary64_3217 frac-sub_binary64_769 sqrt-div_binary64 flip3--_binary64_3492 diff-log_binary64_2557 flip--_binary64_3463 cbrt-div_binary64_2156 cube-div_binary64_2153 flip-+_binary64_3462 flip3-+_binary64_3491
9×	pow1/3_binary64_2547 cancel-sign-sub-inv_binary64_1408 frac-2neg_binary64_771 clear-num_binary64 div-exp_binary64_3539 associate-*l*_binary64_1724 cbrt-prod_binary64_1473 swap-sqr_binary64_727 clear-num_binary64_759 associate-*r*_binary64_1723 pow-unpow_binary64_1519 frac-2neg_binary64 unpow-prod-down_binary64_839 div-exp_binary64_2857
8×	associate-/l/_binary64_707 associate-/r/_binary64_365 div-sub_binary64 sqr-pow_binary64_2096 div-inv_binary64_3485 cube-mult_binary64_2154 unpow-prod-down_binary64_1180 flip-+_binary64_1075 pow-prod-down_binary64_831 flip3-+_binary64_1104 associate--r+_binary64_696
7×	*-commutative_binary64_1373 +-commutative_binary64_2054 unpow3_binary64_2190 associate-*l*_binary64_2065 cbrt-undiv_binary64_3522 *-commutative_binary64_9 rec-exp_binary64_128 pow-to-exp_binary64_1511 1-exp_binary64_122 rec-exp_binary64_810 associate-+l+_binary64_2398 cbrt-undiv_binary64_2840 pow-exp_binary64_1510
6×	frac-2neg_binary64_3499 frac-times_binary64_2816 prod-exp_binary64_3196 pow-sqr_binary64_3120 sqrt-prod_binary64_3163 sub-neg_binary64_412 distribute-lft-out--_binary64_371 div-inv_binary64_2803 pow-prod-up_binary64_148 associate-*r*_binary64_2064 diff-log_binary64_511 sqrt-div_binary64_3505 rem-sqrt-square_binary64_773 clear-num_binary64_3487 cube-prod_binary64_1470 sqrt-prod_binary64_1117 cube-prod_binary64 *-commutative_binary64_691 rem-sqrt-square_binary64_1455 sqrt-pow1_binary64_1460 +-commutative_binary64_1372 pow-prod-down_binary64_1854 rem-log-exp_binary64_1483 pow1/2_binary64_1522 unpow-prod-down_binary64 sqrt-pow1_binary64_778 sum-log_binary64_1192 rem-sqrt-square_binary64 pow-plus_binary64_141 pow1/2_binary64_840 associate-*r/_binary64_1043
5×	associate-+r+_binary64_2397 frac-2neg_binary64_2817 distribute-lft-out--_binary64_2417 sub-neg_binary64_1435 flip3--_binary64_2469 flip--_binary64_2440 div-sub_binary64_3493 distribute-lft-out--_binary64_1735 cbrt-unprod_binary64_3180 *-commutative_binary64_3078 exp-prod_binary64_3199 sub-neg_binary64_2458 clear-num_binary64_2805 distribute-rgt-in_binary64_3097 distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050 prod-exp_binary64_2855 flip3-+_binary64_1786 flip-+_binary64_1757 difference-of-sqr-1_binary64_1753 distribute-lft-in_binary64_3096 unswap-sqr_binary64_3115 difference-of-squares_binary64_2434 associate-/l/_binary64_25
4×	prod-exp_binary64_2173 distribute-rgt-in_binary64 sqrt-pow1_binary64_2824 associate-+l+_binary64 sub-neg_binary64 associate-/l*_binary64_364 *-commutative_binary64_350 associate-/l/_binary64_1389 log-pow_binary64_3236 pow-prod-down_binary64_490 cbrt-unprod_binary64_452 cancel-sign-sub-inv_binary64_44 log-prod_binary64_1187 pow1/2_binary64 unpow-prod-down_binary64_157 associate-*l/_binary64_2749 unswap-sqr_binary64_387 sqrt-pow1_binary64 associate--l-_binary64 cbrt-unprod_binary64_1816 cbrt-unprod_binary64_2157 +-commutative_binary64_2736 frac-add_binary64_2473 swap-sqr_binary64_3114 pow-prod-down_binary64_2195 rem-cbrt-cube_binary64_2148 sqr-pow_binary64_1073 associate-+r+_binary64_2056 flip3--_binary64_1787 +-commutative_binary64 pow1/3_binary64_2206 cube-prod_binary64_1129 sum-log_binary64_2897 cube-prod_binary64_106 prod-exp_binary64_3537 associate-/r*_binary64_1727 associate--r+_binary64_2401 diff-log_binary64_170 pow1/2_binary64_2886 +-commutative_binary64_1031 cancel-sign-sub-inv_binary64_1749 flip--_binary64_1758 rem-sqrt-square_binary64_2819 sub-neg_binary64_71 log-div_binary64_3234 diff-log_binary64 pow-prod-up_binary64_1853 associate-/l/_binary64_1730 prod-exp_binary64_1832 pow-sqr_binary64_1756 sum-log_binary64 associate-*r/_binary64_1725 prod-exp_binary64_468 distribute-lft-in_binary64 frac-times_binary64_3157
3×	associate-*r/_binary64_2748 pow-to-exp_binary64_1170 flip3--_binary64_2128 flip--_binary64_2781 +-commutative_binary64_1713 sub-neg_binary64_1094 sum-log_binary64_1874 sub-neg_binary64_3481 unswap-sqr_binary64_1751 flip3--_binary64_2810 pow-unpow_binary64 1-exp_binary64_1486 log-prod_binary64_164 swap-sqr_binary64_1750 associate-*l*_binary64_2747 unswap-sqr_binary64_2774 cancel-sign-sub-inv_binary64_3454 unswap-sqr_binary64_3456 diff-log_binary64_3580 difference-of-sqr-1_binary64_389 *-commutative_binary64_1714 pow1/3_binary64_1524 div-exp_binary64_1834 distribute-rgt-out_binary64_2077 cbrt-undiv_binary64_1817 pow1/3_binary64 rec-exp_binary64_1492 distribute-rgt1-in_binary64_2080 associate-+r+_binary64_1374 pow-exp_binary64_1169 flip--_binary64_2099 associate-*l*_binary64_3429 cube-prod_binary64_788 associate-/r*_binary64_363 cbrt-unprod_binary64_2839 sqr-pow_binary64_732 cancel-sign-sub-inv_binary64_1067
2×	frac-times_binary64_3498 div-sub_binary64_1788 rec-exp_binary64_3538 associate-/r/_binary64_1729 log-prod_binary64_3233 exp-diff_binary64_3195 diff-log_binary64_1875 sqrt-pow1_binary64_3506 sqr-pow_binary64_50 rec-exp_binary64_2856 pow1/2_binary64_3568 sqr-pow_binary64 distribute-rgt-in_binary64_1392 unswap-sqr_binary64_2092 frac-2neg_binary64_1794 associate-*r/_binary64_2066 cbrt-div_binary64_792 associate-+r+_binary64_1715 pow2_binary64_159 cbrt-unprod_binary64_3521 associate-*l/_binary64_1044 1-exp_binary64_2850 inv-pow_binary64_163 flip--_binary64_1076 cube-div_binary64_789 *-commutative_binary64_2055 unpow3_binary64_1508 log-pow_binary64_1531 associate-*l/_binary64_1385 rem-log-exp_binary64_3188 log-div_binary64_1188 associate-+r-_binary64 diff-log_binary64_2216 distribute-rgt-in_binary64_1733 sub-neg_binary64_1776 associate-+r+_binary64_1033 unpow3_binary64 clear-num_binary64_1782 associate-*l/_binary64_2067 sub-neg_binary64_2117 associate-/l/_binary64_366 distribute-lft-in_binary64_1391 distribute-lft-out_binary64_1052 cube-mult_binary64_1472 pow-sqr_binary64_51 div-inv_binary64_1780 cube-mult_binary64 distribute-lft-in_binary64_1732 rem-sqrt-square_binary64_3501 frac-times_binary64_1452 1-exp_binary64_3532 pow-flip_binary64_152 flip3--_binary64_1105 associate-*l/_binary64_3090 associate-*l/_binary64_3431 associate-+l+_binary64_3080
1×	unpow3_binary64_1167 sum-log_binary64_3238 cube-mult_binary64_108 pow2_binary64_3228 unpow3_binary64_144 pow-prod-down_binary64_3559 diff-log_binary64_1193 inv-pow_binary64_1527 pow-plus_binary64_3210 associate-*r/_binary64_20 rem-square-sqrt_binary64_3159 inv-pow_binary64_845 unpow3_binary64_826 rem-cbrt-cube_binary64 associate-+l+_binary64_1375 rem-cube-cbrt_binary64 cbrt-div_binary64_3520 rem-cbrt-cube_binary64_784 pow-plus_binary64_1846 rem-exp-log_binary64_3187 distribute-rgt-out--_binary64_32 cube-mult_binary64_790 sqrt-unprod_binary64_3167 pow-flip_binary64_2880 frac-times_binary64_88 pow2_binary64_1864 distribute-lft-out_binary64_1734 rem-log-exp_binary64_119 pow-exp_binary64_146 distribute-rgt-in_binary64_2074 exp-sum_binary64_3193 div-sub_binary64_1447 inv-pow_binary64_2891 cbrt-undiv_binary64_453 inv-pow_binary64_3573 associate-+l+_binary64_1034 pow-prod-down_binary64_2877 pow3_binary64_161 clear-num_binary64_418 pow1/3_binary64_842 frac-2neg_binary64_430 pow-to-exp_binary64 un-div-inv_binary64_76 un-div-inv_binary64_2804 distribute-rgt1-in_binary64_1057 associate-+l+_binary64_2057 rem-log-exp_binary64_1142 *-commutative_binary64_2737 pow-to-exp_binary64_147 associate--r+_binary64_1378 pow2_binary64_841 pow1/3_binary64_3570 div-sub_binary64_765 associate--l+_binary64_1379 pow-flip_binary64_834 pow-plus_binary64_823 cube-mult_binary64_1131 *-commutative_binary64_3419 div-sub_binary64_83 pow-sqr_binary64_733 div-exp_binary64_470 sqrt-undiv_binary64 rem-3cbrt-lft_binary64_103 associate-*r/_binary64_3430 pow-pow_binary64 log-pow_binary64_1190 pow-exp_binary64 un-div-inv_binary64_1440 distribute-lft-in_binary64_2073 pow-flip_binary64_1516 pow-prod-up_binary64_830 un-div-inv_binary64_3486 +-commutative_binary64_3077 associate-*l/_binary64_21 distribute-rgt-out_binary64_1054 pow-flip_binary64_3562

Counts

267 → 9279

Calls

187 calls:

415.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
86.0ms	(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
85.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)))
77.0ms	(/.f64 4 (+.f64 2 (+.f64 t (/.f64 1 t))))
69.0ms	(*.f64 (-.f64 (/.f64 1 a) (/.f64 1 b)) (/.f64 (/.f64 PI.f64 2) (-.f64 b a)))

Compiler

Compiled 387753 to 227381 computations (41.4% saved)