rewrite3.8s (2.3%)

Algorithm

104×	rewrite-expression-head

Rules

944×	*-un-lft-identity_binary64_1425
857×	*-un-lft-identity_binary64_1088
842×	sqrt-prod_binary64_1440
677×	*-un-lft-identity_binary64
673×	add-sqr-sqrt_binary64_1109
643×	add-sqr-sqrt_binary64
630×	times-frac_binary64
621×	times-frac_binary64_1431
601×	*-un-lft-identity_binary64_1762
559×	times-frac_binary64_1768
545×	add-sqr-sqrt_binary64_1783
476×	add-sqr-sqrt_binary64_772
463×	add-sqr-sqrt_binary64_1446
451×	*-un-lft-identity_binary64_77
447×	times-frac_binary64_1094
412×	*-un-lft-identity_binary64_751
384×	add-sqr-sqrt_binary64_98
371×	add-cube-cbrt_binary64_1457
370×	times-frac_binary64_83 add-cube-cbrt_binary64
356×	times-frac_binary64_757
342×	add-cube-cbrt_binary64_1794
312×	distribute-lft-out_binary64_1378
309×	add-cube-cbrt_binary64_1120
302×	add-cube-cbrt_binary64_109
257×	add-cube-cbrt_binary64_783
245×	sqrt-prod_binary64_1777
194×	add-sqr-sqrt_binary64_435
186×	difference-of-squares_binary64_1057
168×	cbrt-prod_binary64_1116
163×	distribute-lft-out_binary64_1041
156×	*-un-lft-identity_binary64_414
151×	log-prod_binary64_1171
149×	pow1_binary64_1483
147×	add-exp-log_binary64_1797
146×	cbrt-prod_binary64_105 add-exp-log_binary64_112
145×	sqrt-prod_binary64
144×	add-exp-log_binary64
139×	add-exp-log_binary64_1460
133×	add-cbrt-cube_binary64_110
130×	distribute-lft-out_binary64_1715
126×	add-cbrt-cube_binary64 sqrt-prod_binary64_1103
123×	add-exp-log_binary64_1123
122×	add-exp-log_binary64_786 difference-of-squares_binary64
121×	difference-of-squares_binary64_720
118×	add-cbrt-cube_binary64_1458
116×	cbrt-prod_binary64_442
110×	add-cbrt-cube_binary64_1795
108×	log-prod_binary64_834
104×	pow1_binary64_809
101×	add-log-exp_binary64 add-cbrt-cube_binary64_784
100×	add-cbrt-cube_binary64_1121
97×	distribute-lft-out--_binary64 distribute-lft-out--_binary64_1042
95×	add-cube-cbrt_binary64_446
93×	pow1_binary64_1146
91×	add-log-exp_binary64_1124
88×	pow1_binary64_135
86×	associate-/l*_binary64 div-inv_binary64_1085
79×	log-prod_binary64_160
78×	add-log-exp_binary64_1798
77×	*-un-lft-identity_binary64_2099 pow1_binary64 associate-/l*_binary64_1709
76×	flip3--_binary64_1092 flip--_binary64_1063
74×	add-log-exp_binary64_787 add-sqr-sqrt_binary64_2120
73×	pow1_binary64_1820
70×	associate-/r*_binary64 associate-/r*_binary64_1034
68×	add-log-exp_binary64_450
67×	add-log-exp_binary64_1461 associate-*l*_binary64_1031
65×	difference-of-squares_binary64_383
64×	sqrt-div_binary64_1441
60×	unpow-prod-down_binary64_490 associate-*r/_binary64_1032 distribute-lft-out_binary64_30
59×	frac-add_binary64_1096 distribute-lft-out_binary64 associate-/l*_binary64_24 add-exp-log_binary64_449 add-log-exp_binary64_113 associate-/r*_binary64_1708
58×	associate-/r*_binary64_697 associate-*r*_binary64_1704
56×	cbrt-prod_binary64_2127
55×	associate-*l*_binary64_1368
54×	add-cbrt-cube_binary64_447
53×	pow1_binary64_472
52×	associate-/r/_binary64_1710 distribute-lft-out--_binary64_705
51×	log-pow_binary64_1174
50×	add-cube-cbrt_binary64_2131 flip-+_binary64_1062 flip3-+_binary64_1091
49×	associate-*r*_binary64_1367 cbrt-div_binary64_1117 associate-/l*_binary64_1035
48×	associate-*r*_binary64_1030 associate-*l*_binary64_20 difference-of-squares_binary64_1731 flip3--_binary64 frac-times_binary64_1098 flip--_binary64
47×	swap-sqr_binary64_1055
45×	sqrt-pow1_binary64_1442
44×	prod-exp_binary64_1471 associate-*r*_binary64
43×	pow-prod-down_binary64_1493
42×	associate-/l*_binary64_1372 exp-prod_binary64_1137 associate-/l*_binary64_698
40×	cbrt-unprod_binary64_1455 associate-*r*_binary64_693
39×	flip3-+_binary64_1428 div-exp_binary64_125 flip-+_binary64_1736 flip3-+_binary64_1765 log-prod_binary64_497 div-exp_binary64_1810 flip-+_binary64_1399 associate-*l*_binary64_1705
38×	associate-*r*_binary64_19 div-exp_binary64
37×	exp-prod_binary64 div-inv_binary64_74
36×	associate-/r*_binary64_23 associate-/r/_binary64_1036 associate-*r*_binary64_2041 sqrt-prod_binary64_766 sqr-pow_binary64_386
35×	cbrt-undiv_binary64_108
33×	associate-/r/_binary64 log-pow_binary64_837
32×	tan-quot_binary64_1918 distribute-rgt-in_binary64_1377 difference-of-sqr-1_binary64_1058 flip3--_binary64_755 flip--_binary64_726 log-pow_binary64 distribute-lft-in_binary64_1376 cbrt-prod_binary64_779
31×	cbrt-undiv_binary64
30×	cbrt-prod_binary64_1453 div-inv_binary64_1759 associate-*r/_binary64_1369
29×	distribute-lft-out--_binary64_1716
28×	associate-/l/_binary64_1037 associate-/r/_binary64_1373
27×	unswap-sqr_binary64_1730 associate-/r*_binary64_1371 div-inv_binary64
26×	distribute-lft-out--_binary64_368 associate-*l*_binary64_694 distribute-rgt-neg-in_binary64 log-pow_binary64_500 add-exp-log_binary64_2134 sqrt-div_binary64
25×	pow1/2_binary64_1502 unpow-prod-down_binary64_1838
24×	associate-*l/_binary64_1033 sqrt-prod_binary64_429 add-cbrt-cube_binary64_2132 swap-sqr_binary64_1392 prod-exp_binary64_1808 pow1_binary64_2157
23×	times-frac_binary64_420 div-inv_binary64_748 div-exp_binary64_799
22×	flip3--_binary64_418 diff-log_binary64 unpow-prod-down_binary64_153 cbrt-undiv_binary64_1793 unswap-sqr_binary64_1393 flip--_binary64_389 cube-prod_binary64_102
21×	cbrt-undiv_binary64_782 log-div_binary64_835 add-log-exp_binary64_2135 distribute-lft-neg-in_binary64 neg-mul-1_binary64 cbrt-prod_binary64_1790
20×	div-exp_binary64_1136 sub-neg_binary64 prod-exp_binary64 unswap-sqr_binary64_1056 cube-prod_binary64_2124 exp-sum_binary64_120 pow1/3_binary64_493 unpow-prod-down_binary64_2175
19×	cbrt-unprod_binary64_107 sub-neg_binary64_1081 sub-neg_binary64_407 prod-exp_binary64_123 prod-exp_binary64_1134 log-pow_binary64_163 swap-sqr_binary64_44
18×	distribute-lft-out--_binary64_31 associate-/r/_binary64_699 pow1/3_binary64_830 exp-prod_binary64_1474 prod-exp_binary64_797 sqrt-div_binary64_1778
17×	pow1/3_binary64_1167 unswap-sqr_binary64_45 difference-of-squares_binary64_46
16×	associate-*r/_binary64_1706 unpow-prod-down_binary64_1164 *-commutative_binary64_1358
15×	associate-/l/_binary64 unswap-sqr_binary64_719 difference-of-squares_binary64_1394 cbrt-unprod_binary64_1118 times-frac_binary64_2105 exp-prod_binary64_463 distribute-lft-out_binary64_2052 associate-*l*_binary64 cbrt-undiv_binary64_1119 associate-/l/_binary64_26 associate-/l*_binary64_361
14×	distribute-lft-in_binary64_702 cbrt-unprod_binary64_1792 cbrt-unprod_binary64 cbrt-unprod_binary64_781 div-inv_binary64_1422 pow1/3_binary64_156 distribute-rgt-in_binary64_703
13×	flip-+_binary64_51 diff-log_binary64_503 associate--l+_binary64_690 frac-2neg_binary64_88 log-prod_binary64_1508 associate--r+_binary64_689 clear-num_binary64_76 flip3-+_binary64_80
12×	flip3--_binary64_1766 frac-2neg_binary64_1099 sqrt-div_binary64_430 clear-num_binary64_1087 pow-prod-down_binary64_1830 sqr-pow_binary64_1060 clear-num_binary64 cube-div_binary64_2125 cube-prod_binary64_1113 diff-log_binary64_1177 flip--_binary64_1737 associate-*l*_binary64_2042 unswap-sqr_binary64_2067 associate-/r/_binary64_25 frac-2neg_binary64 div-exp_binary64_1473
11×	distribute-lft-out_binary64_704 associate-/l/_binary64_1711 cbrt-div_binary64_443 pow-prod-down_binary64_1156 unpow-prod-down_binary64 pow1/2_binary64 clear-num_binary64_1761 pow-prod-up_binary64_1492 frac-2neg_binary64_1773 sqrt-pow1_binary64 diff-log_binary64_840 frac-add_binary64_1770 rem-sqrt-square_binary64 sqr-pow_binary64_1734 pow1/3_binary64_1504
10×	flip3-+_binary64 clear-num_binary64_750 sum-log_binary64_1850 swap-sqr_binary64_718 unswap-sqr_binary64 frac-2neg_binary64_762 sqrt-pow1_binary64_1779 *-commutative_binary64_1695 sub-neg_binary64_744 sum-log_binary64_1176 pow1/2_binary64_1839 flip-+_binary64
9×	distribute-lft-out--_binary64_1379 log-pow_binary64_1511 pow-flip_binary64_1833 cube-prod_binary64_1787 unpow3_binary64_1151 *-commutative_binary64_1021 1-exp_binary64_1803 rec-exp_binary64_1809
8×	diff-log_binary64_1851 rem-log-exp_binary64_789 sqr-pow_binary64_2071 exp-prod_binary64_126 unpow-prod-down_binary64_827 rem-sqrt-square_binary64_1438 sqrt-div_binary64_1104 div-sub_binary64 cbrt-div_binary64_2128 sub-neg_binary64_1755 distribute-lft-out_binary64_367 pow-pow_binary64 rem-log-exp_binary64_1126 distribute-rgt-out--_binary64_1044 sqrt-div_binary64_767
7×	rem-log-exp_binary64_115 cbrt-div_binary64_106 sin-mult_binary64_2251 sub-neg_binary64_1418 pow-prod-down_binary64_819 *-commutative_binary64_684 +-commutative_binary64_1694 log-div_binary64_161 log-div_binary64_1172 pow-sqr_binary64_1398
6×	log-div_binary64_498 pow-unpow_binary64_151 distribute-rgt-in_binary64_1040 exp-diff_binary64_459 pow-unpow_binary64_1836 pow-exp_binary64_1827 frac-sub_binary64_1097 unpow-prod-down_binary64_1501 unpow3_binary64_2162 pow-pow_binary64_146 frac-sub_binary64_1771 pow-unpow_binary64_2173 +-commutative_binary64_1020 pow-unpow_binary64 diff-log_binary64_1514 cos-mult_binary64_2250 pow-to-exp_binary64_1828 rem-log-exp_binary64_452 associate-*r/_binary64_21 pow-prod-down_binary64_145 cube-mult_binary64_2126 exp-sum_binary64_457 cbrt-undiv_binary64_1456 distribute-lft-in_binary64_1039
5×	pow-prod-down_binary64 flip--_binary64_52 pow-flip_binary64_1496 tan-quot_binary64_233 associate-/l/_binary64_700 *-commutative_binary64_10 difference-of-sqr-1_binary64_1395 rec-exp_binary64 div-sub_binary64_756 1-exp_binary64 sqrt-pow1_binary64_431 flip-+_binary64_725 flip3--_binary64_1429 sum-log_binary64_839 flip--_binary64_1400 pow-pow_binary64_1831 associate-/l*_binary64_2046 inv-pow_binary64_1844 flip3-+_binary64_754 flip3--_binary64_81 cbrt-div_binary64_1791 div-inv_binary64_411 pow1/2_binary64_491 frac-times_binary64 cbrt-undiv_binary64_445 sqr-pow_binary64 associate-*l/_binary64 div-exp_binary64_462 associate-/r*_binary64_360 rem-sqrt-square_binary64_427
4×	pow-pow_binary64_1494 cube-mult_binary64_104 cube-div_binary64_1788 sqr-pow_binary64_723 unpow-prod-up_binary64_1500 diff-log_binary64_166 pow-prod-up_binary64_818 pow-sqr_binary64_724 *-commutative_binary64_2032 associate--l+_binary64_16 sum-log_binary64_165 associate-+l+_binary64_1023 sub-neg_binary64_70 unpow3_binary64_140 associate-/l/_binary64_363 frac-times_binary64_87 frac-2neg_binary64_1436 associate-*l/_binary64_22 pow-prod-down_binary64_2167 flip--_binary64_2074 flip3--_binary64_2103 prod-exp_binary64_2145 pow-sqr_binary64_1061 pow-prod-up_binary64_1155 pow1/3_binary64_1841 associate-*r/_binary64_2043 div-sub_binary64_82 cbrt-unprod_binary64_2129 rem-log-exp_binary64_1463 sqr-pow_binary64_49 sqrt-pow1_binary64_1105 1-exp_binary64_1466 sqrt-pow1_binary64_768 clear-num_binary64_1424 rem-sqrt-square_binary64_764 pow1/2_binary64_828 rec-exp_binary64_1472 frac-times_binary64_1435 cube-prod_binary64_776 pow1/2_binary64_1165 *-commutative_binary64 associate-+r+_binary64_1359 associate-*l/_binary64_1370
3×	clear-num_binary64_413 associate--l-_binary64_17 pow-prod-up_binary64_144 1-exp_binary64_1129 pow-to-exp_binary64 pow-to-exp_binary64_1491 log-prod_binary64 neg-sub0_binary64 frac-sub_binary64_2108 unpow2_binary64 sub-div_binary64_2106 associate-*r/_binary64 unpow3_binary64_1825 pow-exp_binary64 sqr-sin-a_binary64_222 sum-log_binary64_2187 un-div-inv_binary64_1086 sum-log_binary64 sqrt-unprod_binary64_1781 pow-exp_binary64_1490 div-sub_binary64_1093 associate-/r*_binary64_2045 inv-pow_binary64_1170 cube-mult_binary64_1789 inv-pow_binary64_1507 exp-prod_binary64_1811 pow-sqr_binary64_50 sin-sum_binary64_207 sum-log_binary64_1513 sin-mult_binary64_229 frac-2neg_binary64_425 pow-flip_binary64_1159 rem-exp-log_binary64_1462 +-commutative_binary64_1357 associate-+r+_binary64_1696 distribute-frac-neg_binary64 cube-prod_binary64 associate--r+_binary64_15 rec-exp_binary64_1135 associate-+r+_binary64_1022
2×	pow2_binary64_155 rem-sqrt-square_binary64_1775 +-commutative_binary64_9 pow-to-exp_binary64_817 exp-neg_binary64_1806 pow-plus_binary64_1148 exp-diff_binary64_1470 sin-sum_binary64_2229 pow-to-exp_binary64_143 associate-+l-_binary64_1025 pow-exp_binary64_142 rem-cube-cbrt_binary64_99 pow-plus_binary64_1485 cos-sum_binary64_208 exp-sum_binary64_1131 exp-sum_binary64_1468 div-sub_binary64_1767 associate--l-_binary64_691 neg-sub0_binary64_1757 rem-cbrt-cube_binary64_2122 pow-plus_binary64_811 pow-plus_binary64_137 pow2_binary64_1166 pow-exp_binary64_2164 pow1/3_binary64_2178 sqr-pow_binary64_1397 prod-exp_binary64_460 rem-cube-cbrt_binary64_2121 rem-exp-log_binary64_1125 pow-to-exp_binary64_2165 pow-flip_binary64 pow2_binary64_1503 pow-pow_binary64_2168 pow-exp_binary64_1153 distribute-rgt-in_binary64_1714 +-commutative_binary64_683 exp-diff_binary64_1807 rem-cube-cbrt_binary64_1784 frac-times_binary64_1772 rem-cbrt-cube_binary64_100 inv-pow_binary64 pow-to-exp_binary64_1154 flip3-+_binary64_2102 distribute-lft-in_binary64_1713 pow2_binary64_829 associate--r-_binary64_692 pow-exp_binary64_816 exp-diff_binary64_1133 flip-+_binary64_2073 associate-*l/_binary64_696 +-commutative_binary64 tan-sum_binary64_1894 un-div-inv_binary64 associate-/l/_binary64_2048 associate-*l/_binary64_1707 cbrt-unprod_binary64_444
1×	cube-mult_binary64_778 rec-exp_binary64_124 cbrt-undiv_binary64_2130 difference-of-squares_binary64_2068 sub-neg_binary64_2092 tan-quot_binary64_907 frac-sub_binary64_760 pow-unpow_binary64_1499 flip3-+_binary64_417 1-exp_binary64_792 sin-cos-mult_binary64_2252 sqrt-undiv_binary64 rem-sqrt-square_binary64_1101 exp-to-pow_binary64_1484 associate--l-_binary64 associate--l+_binary64_2038 rec-exp_binary64_798 cube-mult_binary64_1115 1-exp_binary64_118 rem-square-sqrt_binary64_1437 cos-sum_binary64_2230 rem-log-exp_binary64 associate-/l/_binary64_1374 div-exp_binary64_2147 div-sub_binary64_419 inv-pow_binary64_833 unpow3_binary64 sqrt-unprod_binary64_1444 frac-2neg_binary64_2110 cube-mult_binary64 sub-div_binary64_421 diff-log_binary64_2188 diff-atan_binary64_1579 exp-diff_binary64 +-commutative_binary64_2031 inv-pow_binary64_159 distribute-rgt-out--_binary64_370 rem-cube-cbrt_binary64 neg-log_binary64 clear-num_binary64_2098 frac-sub_binary64_86 rem-cbrt-cube_binary64_1785 associate-+r+_binary64_685 unpow3_binary64_814 associate-+l-_binary64_1699 flip-+_binary64_388 div-inv_binary64_2096 log-div_binary64_1509 log-div_binary64 rem-exp-log_binary64_114 associate-+r+_binary64_11 distribute-rgt-out--_binary64 distribute-lft-out--_binary64_2053 diff-cos_binary64_225 pow-flip_binary64_822 associate--l+_binary64 associate-+l+_binary64_1697 pow-flip_binary64_148 frac-sub_binary64_423 associate-+r+_binary64_2033 diff-sin_binary64_2246

Calls

339 calls:

48.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
42.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))))
38.0ms	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
36.0ms	(-.f64 (/.f64 1 (/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps))) (+.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))