rewrite4.1s (2.5%)

Algorithm

107×	rewrite-expression-head

Rules

1173×	times-frac_binary64_85
962×	*-un-lft-identity_binary64_79
861×	add-sqr-sqrt_binary64_101
781×	*-un-lft-identity_binary64
770×	times-frac_binary64
735×	add-sqr-sqrt_binary64
666×	add-cube-cbrt_binary64_114
526×	*-un-lft-identity_binary64_1455
518×	*-un-lft-identity_binary64_1799
504×	add-sqr-sqrt_binary64_1821
462×	*-un-lft-identity_binary64_1111
461×	add-cube-cbrt_binary64
440×	times-frac_binary64_1805
439×	add-sqr-sqrt_binary64_1477
422×	add-sqr-sqrt_binary64_789
372×	add-sqr-sqrt_binary64_1133
354×	*-un-lft-identity_binary64_767
329×	*-un-lft-identity_binary64_423
311×	times-frac_binary64_1117
302×	sqrt-prod_binary64_1815
301×	add-cube-cbrt_binary64_1834
245×	add-sqr-sqrt_binary64_445
242×	add-cube-cbrt_binary64_1146
241×	add-cube-cbrt_binary64_802
239×	times-frac_binary64_773
222×	sqrt-prod_binary64_95
218×	add-cube-cbrt_binary64_1490
213×	times-frac_binary64_429
201×	add-exp-log_binary64_117
197×	times-frac_binary64_1461
186×	add-exp-log_binary64_1149
171×	add-cube-cbrt_binary64_458
170×	add-cbrt-cube_binary64_115
163×	add-cbrt-cube_binary64_1147
159×	add-exp-log_binary64_1493
158×	sqrt-prod_binary64_1471
150×	cbrt-prod_binary64_798
148×	add-cbrt-cube_binary64_1491
145×	pow1_binary64_828
144×	add-exp-log_binary64
139×	distribute-lft-out_binary64_1406
132×	pow1_binary64_1860
129×	add-cbrt-cube_binary64
127×	swap-sqr_binary64_46 cbrt-prod_binary64_1486
123×	associate-*l*_binary64_20
122×	associate-*r*_binary64_19
121×	add-exp-log_binary64_1837 distribute-lft-out_binary64_30
120×	difference-of-squares_binary64 pow1_binary64_1516
117×	pow1_binary64_140
116×	add-log-exp_binary64
110×	add-exp-log_binary64_805 distribute-lft-out_binary64_1750
104×	log-prod_binary64_165
102×	pow1_binary64_1172
100×	distribute-lft-out--_binary64
98×	associate-/r*_binary64
97×	associate-/l*_binary64
96×	add-exp-log_binary64_461
94×	log-pow_binary64_856
91×	add-cbrt-cube_binary64_1835
90×	add-cbrt-cube_binary64_459
86×	add-log-exp_binary64_1494
85×	add-cbrt-cube_binary64_803
83×	pow1_binary64 add-log-exp_binary64_1150
81×	difference-of-squares_binary64_1424
80×	unpow-prod-down_binary64_158 sqrt-prod_binary64
79×	add-log-exp_binary64_462
78×	pow-unpow_binary64_156
76×	div-inv_binary64_1452 sqrt-pow1_binary64_1817
72×	add-log-exp_binary64_118
71×	add-log-exp_binary64_806 difference-of-squares_binary64_736
68×	add-log-exp_binary64_1838 cancel-sign-sub-inv_binary64_733
66×	log-prod_binary64_853
64×	associate-*r*_binary64_1395 associate-/l*_binary64_1744
61×	distribute-lft-out_binary64_1062 cancel-sign-sub-inv_binary64_1765
60×	div-exp_binary64_130
59×	distribute-lft-out_binary64 associate-*r/_binary64_1053
58×	cancel-sign-sub-inv_binary64 associate-*l*_binary64_1396
57×	associate-*r*_binary64_1051
54×	associate-/r*_binary64_23 prod-exp_binary64_1160 associate-/r/_binary64_25
53×	pow1_binary64_484
52×	pow1/2_binary64_1879 associate-*r*_binary64_1739 cancel-sign-sub-inv_binary64_389
51×	swap-sqr_binary64_1422 associate-/l*_binary64_1056
50×	log-prod_binary64_1197
49×	difference-of-squares_binary64_1080 div-inv_binary64_76
47×	cbrt-undiv_binary64_113 associate-*l*_binary64_1052 difference-of-squares_binary64_48 distribute-lft-out_binary64_374
46×	flip3--_binary64 flip--_binary64
45×	associate-*r*_binary64_707 distribute-lft-out--_binary64_375 flip-+_binary64_1429 cancel-sign-sub-inv_binary64_1077 associate-*l*_binary64_1740 associate-/l*_binary64_24 flip3-+_binary64_1458 flip--_binary64_1086 flip3--_binary64_1115
44×	difference-of-squares_binary64_1768 cbrt-unprod_binary64_1144 associate-/l*_binary64_1400 associate-/r*_binary64_711 cancel-sign-sub-inv_binary64_45
43×	distribute-rgt-neg-in_binary64 associate-/r*_binary64_1055
42×	sqrt-pow1_binary64_1473 flip3-+_binary64_1114 flip-+_binary64_1085
41×	distribute-lft-out--_binary64_719 associate-*l*_binary64
40×	add-sqr-sqrt_binary64_2165 associate-/r/_binary64
39×	prod-exp_binary64_1504 cbrt-div_binary64_1487 cancel-sign-sub-inv_binary64_1421 distribute-lft-out--_binary64_1063
38×	sqrt-div_binary64_1472
37×	pow-prod-up_binary64_1869 flip3-+_binary64_1802 flip-+_binary64_1773 associate-/l*_binary64_368
36×	flip-+_binary64_53 distribute-lft-neg-in_binary64 flip3-+_binary64_82
35×	cbrt-unprod_binary64_1488 frac-add_binary64_1119
34×	associate-/r/_binary64_1745 *-un-lft-identity_binary64_2143
33×	exp-prod_binary64_819 sqr-pow_binary64_51
32×	associate-*l*_binary64_708 associate-*r*_binary64 cbrt-unprod_binary64_112 associate-/r*_binary64_1743 div-exp_binary64_1162 prod-exp_binary64_128 div-inv_binary64 div-exp_binary64
31×	associate-/r*_binary64_1399 difference-of-sqr-1_binary64_1425
29×	cbrt-prod_binary64_2174 associate-*l*_binary64_364 cbrt-undiv_binary64_1145 unswap-sqr_binary64_1767
28×	div-exp_binary64_1850 log-prod_binary64_509 associate-/r*_binary64_367
27×	distribute-lft-out--_binary64_1407 div-inv_binary64_1108 cbrt-undiv_binary64 add-cube-cbrt_binary64_2178 distribute-lft-out--_binary64_1751
26×	sqrt-prod_binary64_783 div-exp_binary64_1506 diff-log_binary64_515 neg-mul-1_binary64 sqrt-div_binary64_96 sqrt-pow1_binary64_785
25×	pow1/3_binary64_849 associate-/r/_binary64_1401 cbrt-prod_binary64_1830 associate-*r*_binary64_363 unswap-sqr_binary64_47
24×	sqrt-div_binary64_1816 flip--_binary64_1430 pow-prod-down_binary64_1182 flip3--_binary64_1459 associate-/l/_binary64_1058 associate-*r/_binary64_1397 difference-of-squares_binary64_392 unswap-sqr_binary64_1423
23×	div-exp_binary64_474 cbrt-undiv_binary64_1489
22×	pow1/2_binary64_1535 diff-log_binary64 sqrt-prod_binary64_439 div-inv_binary64_1796 pow-prod-down_binary64_1870 div-inv_binary64_420 log-pow_binary64_168 associate-/r/_binary64_1057 pow-prod-down_binary64_1526 frac-times_binary64_1465
21×	exp-sum_binary64_813 distribute-lft-out--_binary64_31 cbrt-undiv_binary64_457
20×	add-log-exp_binary64_2182 associate--l+_binary64_360 prod-exp_binary64 unpow3_binary64_1177 unpow-prod-down_binary64_846 cbrt-prod_binary64_110 prod-exp_binary64_1848 associate-/l*_binary64_712
19×	sub-neg_binary64 unswap-sqr_binary64_1079
18×	distribute-rgt-out_binary64_1064 pow1_binary64_2204 unpow-prod-down_binary64 add-exp-log_binary64_2181 prod-exp_binary64_816 unpow-prod-down_binary64_1534 associate-+l+_binary64_1044 flip3--_binary64_427 frac-times_binary64_1121 associate-*r*_binary64_2083 flip--_binary64_398 cube-prod_binary64_1483 cbrt-div_binary64_1831 sqrt-div_binary64
17×	flip3-+_binary64 unswap-sqr_binary64_735 sqrt-prod_binary64_1127 add-cbrt-cube_binary64_2179 flip-+_binary64
16×	distribute-rgt-in_binary64_1061 tan-quot_binary64_1614 sqr-pow_binary64_1427 exp-prod_binary64_131 swap-sqr_binary64_1766 distribute-lft-in_binary64_1060 prod-exp_binary64_472
15×	distribute-rgt-in_binary64_373 log-div_binary64_854 distribute-lft-in_binary64_372 associate-/l/_binary64_1402 unpow-prod-down_binary64_1878 flip3-+_binary64_426 cbrt-undiv_binary64_1833 flip-+_binary64_397 frac-add_binary64_1463 div-inv_binary64_764
14×	associate-*r/_binary64_1741 cbrt-unprod_binary64_800 clear-num_binary64 cbrt-unprod_binary64_1832 pow-prod-down_binary64_838 unswap-sqr_binary64 rem-sqrt-square_binary64_1468 cbrt-unprod_binary64 pow-prod-down_binary64_150 frac-2neg_binary64 difference-of-sqr--1_binary64_1082 cbrt-unprod_binary64_456
13×	sub-neg_binary64_416 flip--_binary64_742 div-exp_binary64_818 *-commutative_binary64_1042 *-commutative_binary64_1386 flip3--_binary64_771
12×	associate-/l/_binary64 distribute-lft-out_binary64_718 sub-neg_binary64_1448 flip3-+_binary64_770 frac-2neg_binary64_90 associate-/r/_binary64_369 unpow-prod-down_binary64_1190 rem-log-exp_binary64_120 flip--_binary64_54 clear-num_binary64_78 flip3--_binary64_83 flip-+_binary64_741 sub-neg_binary64_1104
11×	pow-sqr_binary64_1772 sub-neg_binary64_760 frac-2neg_binary64_1466 distribute-lft-in_binary64_1404 distribute-rgt-in_binary64_1405 pow1/3_binary64_1537 pow-prod-up_binary64_1525 associate--r+_binary64_359 clear-num_binary64_1454 rem-sqrt-square_binary64_1812
10×	swap-sqr_binary64_734 flip--_binary64_1774 sub-neg_binary64_1792 unpow-prod-down_binary64_2222 *-commutative_binary64_10 frac-2neg_binary64_1122 diff-log_binary64_1203 *-commutative_binary64_698 clear-num_binary64_422 flip3--_binary64_1803 associate-*l/_binary64_1054 rem-log-exp_binary64_808 cube-prod_binary64_2171 frac-2neg_binary64_434 diff-log_binary64_1547 associate-*l/_binary64_1398 clear-num_binary64_1110
9×	log-div_binary64_1198 pow1/2_binary64 distribute-rgt-in_binary64_29 distribute-lft-neg-in_binary64_1068 log-pow_binary64_512 sqrt-pow1_binary64 div-sub_binary64 distribute-lft-in_binary64_28 neg-mul-1_binary64_1107 *-commutative_binary64_1730 pow1/3_binary64_1881 rem-sqrt-square_binary64 associate-/l/_binary64_26 distribute-rgt-neg-in_binary64_1069 sub-neg_binary64_72
8×	cube-prod_binary64_1139 pow-prod-down_binary64 diff-log_binary64_859 diff-log_binary64_1891 sqrt-div_binary64_1128 cbrt-undiv_binary64_801 associate-/r/_binary64_713 pow-flip_binary64_1873 sum-log_binary64 sqrt-div_binary64_440 log-pow_binary64_1200 cbrt-div_binary64_799 sum-log_binary64_1202 associate--l+_binary64_1736 pow-pow_binary64 sqr-pow_binary64
7×	1-exp_binary64_1843 clear-num_binary64_1798 rec-exp_binary64_1849 cube-prod_binary64_107 frac-times_binary64_89 sqr-pow_binary64_1771 log-div_binary64_166 sum-log_binary64_1546 unswap-sqr_binary64_391 +-commutative_binary64 +-commutative_binary64_1385 diff-log_binary64_171 pow-sqr_binary64_1428 frac-2neg_binary64_1810
6×	pow-exp_binary64_147 +-commutative_binary64_1041 frac-2neg_binary64_778 sin-mult_binary64_234 associate-*r/_binary64_709 sqr-pow_binary64_739 exp-prod_binary64 sum-log_binary64_170 pow-pow_binary64_151 associate--l+_binary64_1048 associate-*l/_binary64_22 pow-to-exp_binary64_148 sum-log_binary64_1890 pow-unpow_binary64 associate-*l*_binary64_2084 sqrt-unprod_binary64_1819 associate-*r/_binary64_21 unswap-sqr_binary64_2111 sqr-pow_binary64_1083 clear-num_binary64_766 cube-prod_binary64 cbrt-prod_binary64_1142 pow-pow_binary64_839 sum-log_binary64_514 *-commutative_binary64
5×	sin-mult_binary64_1610 distribute-lft-in_binary64_1748 difference-of-sqr-1_binary64_1081 neg-sub0_binary64 difference-of-sqr-1_binary64_737 associate-*l/_binary64_366 distribute-rgt-in_binary64_1749 associate-*r/_binary64_365 distribute-lft-in_binary64_716 frac-sub_binary64_432 distribute-rgt-in_binary64_717
4×	rec-exp_binary64_129 pow-to-exp_binary64_836 pow-prod-down_binary64_494 +-commutative_binary64_9 pow-to-exp_binary64 div-sub_binary64_772 1-exp_binary64_123 associate--l+_binary64_16 pow-prod-up_binary64_837 pow-exp_binary64 frac-add_binary64_1807 pow-pow_binary64_1527 rem-sqrt-square_binary64_436 *-commutative_binary64_354 tan-quot_binary64_238 sqr-abs_binary64_1470 sum-log_binary64_858 pow-exp_binary64_1179 associate-/l/_binary64_1746 pow1/2_binary64_1191 pow1/2_binary64_503 frac-sub_binary64_1464 pow-pow_binary64_1871 rem-sqrt-square_binary64_1124 frac-times_binary64_433 pow-exp_binary64_835 rem-log-exp_binary64_1152 pow-to-exp_binary64_1180 pow-sqr_binary64_740 div-sub_binary64_84 distribute-frac-neg_binary64 sqrt-pow1_binary64_1129 sqrt-pow1_binary64_441 cube-prod_binary64_795 sqr-pow_binary64_2115 frac-times_binary64 associate-+l+_binary64_1732 inv-pow_binary64_1884 frac-times_binary64_1809 sqr-sin-a_binary64_227 associate--r+_binary64_1047
3×	inv-pow_binary64_1540 associate--l-_binary64_17 associate-/l/_binary64_370 pow-unpow_binary64_2220 exp-prod_binary64_1507 +-commutative_binary64_1729 unpow3_binary64_2209 rec-exp_binary64_1505 rec-exp_binary64_817 rec-exp_binary64 1-exp_binary64 unpow2_binary64 pow-to-exp_binary64_1868 associate-*r/_binary64 cos-mult_binary64_1609 cube-mult_binary64_2173 exp-prod_binary64_1851 1-exp_binary64_811 pow-unpow_binary64_844 pow2_binary64_160 distribute-lft-out_binary64_2094 pow-prod-up_binary64_149 pow1/2_binary64_847 pow-exp_binary64_1867 sin-sum_binary64_212 pow-sqr_binary64_52 cancel-sign-sub-inv_binary64_2109 exp-diff_binary64_815 1-exp_binary64_1499 pow-plus_binary64_142 pow-unpow_binary64_1532 pow-unpow_binary64_1876 associate--r+_binary64_15 pow-flip_binary64_1529 associate-*l/_binary64 sum-log_binary64_2234 difference-of-sqr--1_binary64_1426
2×	1-exp_binary64_467 exp-diff_binary64_1847 pow-prod-down_binary64_2214 cube-mult_binary64_1141 pow2_binary64_1536 pow-to-exp_binary64_1524 pow2_binary64_848 cube-div_binary64_108 associate--l-_binary64 cos-sum_binary64_213 sin-sum_binary64_2276 neg-sub0_binary64_1794 pow1/3_binary64_1193 inv-pow_binary64_164 tan-sum_binary64_1590 div-sub_binary64_1460 pow-plus_binary64_1518 div-sub_binary64_1116 +-commutative_binary64_353 unpow3_binary64 associate-+r+_binary64_1043 associate--r-_binary64_1050 sin-cos-mult_binary64_235 cube-mult_binary64 cbrt-unprod_binary64_2176 pow-flip_binary64_841 associate-+r+_binary64 prod-exp_binary64_2192 frac-sub_binary64_1120 exp-neg_binary64_1846 +-commutative_binary64_697 1-exp_binary64_1155 cbrt-div_binary64_111 rec-exp_binary64_1161 rec-exp_binary64_473 pow2_binary64_1880 distribute-rgt-in_binary64 neg-log_binary64 pow-exp_binary64_1523 pow-plus_binary64_1862 pow-flip_binary64_1185 associate--r-_binary64_362 pow-plus_binary64_830 associate--l-_binary64_1049 pow-flip_binary64_153 inv-pow_binary64_1196 distribute-lft-in_binary64 associate-*l/_binary64_1742 sqrt-div_binary64_784 inv-pow_binary64_852 pow1/3_binary64_2225 *-commutative_binary64_2074
1×	associate-+l-_binary64_1046 +-commutative_binary64_2073 div-sub_binary64_1804 associate-+r+_binary64_1731 sin-cos-mult_binary64_2299 flip--_binary64_2118 distribute-rgt-out--_binary64_377 cube-mult_binary64_797 frac-sub_binary64_776 associate--r+_binary64 sqr-abs_binary64_1814 rem-exp-log_binary64_1151 neg-sub0_binary64_1106 cube-mult_binary64_1485 unpow3_binary64_1521 distribute-lft-out--_binary64_2095 pow-to-exp_binary64_2212 unpow3_binary64_833 unsub-neg_binary64_1105 inv-pow_binary64_508 difference-of-sqr--1_binary64_738 difference-of-squares_binary64_2112 log-rec_binary64_167 sqrt-unprod_binary64_1475 exp-to-pow_binary64_1173 pow-flip_binary64 diff-sin_binary64_2293 diff-atan_binary64_1956 rem-cbrt-cube_binary64_103 flip3--_binary64_2147 associate-+r+_binary64_2075 diff-log_binary64_2235 rem-cube-cbrt_binary64_1478 cube-mult_binary64_109 pow-pow_binary64_2215 associate-+r+_binary64_699 inv-pow_binary64 rem-cube-cbrt_binary64 pow-flip_binary64_497 sub-neg_binary64_2136 tan-quot_binary64_926 associate--l+_binary64_2080 frac-sub_binary64_1808 difference-of-sqr-1_binary64_393 rem-cbrt-cube_binary64_2167 associate-+r-_binary64_1045 associate--l-_binary64_361 flip-+_binary64_2117 pow1/3_binary64_161 rem-exp-log_binary64_119 un-div-inv_binary64_421 cos-mult_binary64_2297 rem-square-sqrt_binary64_1467 flip3-+_binary64_2146 associate-+r+_binary64_11 rem-square-sqrt_binary64_1811 distribute-rgt-out--_binary64 un-div-inv_binary64 cbrt-div_binary64_2175 neg-log_binary64_1204 sqrt-pow2_binary64_786 rem-cube-cbrt_binary64_2166 associate-+l-_binary64_1734 pow-exp_binary64_2211 unpow3_binary64_145 exp-to-pow_binary64_141 exp-prod_binary64_1163 diff-cos_binary64_230

Calls

339 calls:

142.0ms	(*.f64 (/.f64 (/.f64 (sin.f64 x) (sqrt.f64 (+.f64 1 (cos.f64 x)))) x) (/.f64 (/.f64 (sin.f64 x) (sqrt.f64 (+.f64 1 (cos.f64 x)))) x))
50.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
46.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
41.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 b) (/.f64 1 a))) (cbrt.f64 (+.f64 (/.f64 1 b) (/.f64 1 a))))
35.0ms	(-.f64 (/.f64 (cbrt.f64 (+.f64 -1 (*.f64 x x))) (cbrt.f64 (+.f64 x -1))) (cbrt.f64 x))