rewrite3.8s (2.2%)

Algorithm

107×	rewrite-expression-head

Rules

1340×	times-frac_binary64
1168×	add-sqr-sqrt_binary64
1069×	*-un-lft-identity_binary64_1762
1037×	*-un-lft-identity_binary64
1028×	sqrt-prod_binary64_1777
838×	times-frac_binary64_420
715×	add-sqr-sqrt_binary64_435
650×	add-cube-cbrt_binary64
647×	times-frac_binary64_1768
590×	*-un-lft-identity_binary64_414
467×	add-cube-cbrt_binary64_446
435×	*-un-lft-identity_binary64_77
407×	add-sqr-sqrt_binary64_1783
406×	distribute-lft-out_binary64_1715
394×	*-un-lft-identity_binary64_2099
387×	add-sqr-sqrt_binary64_2120
375×	*-un-lft-identity_binary64_751
337×	times-frac_binary64_83
336×	add-sqr-sqrt_binary64_98
326×	add-sqr-sqrt_binary64_1446
324×	add-cube-cbrt_binary64_1794
322×	add-sqr-sqrt_binary64_772
296×	*-un-lft-identity_binary64_1425
282×	times-frac_binary64_2105
273×	add-sqr-sqrt_binary64_1109
268×	add-cube-cbrt_binary64_109
267×	times-frac_binary64_757
260×	*-un-lft-identity_binary64_1088
239×	difference-of-squares_binary64
233×	add-cube-cbrt_binary64_783
196×	sqrt-prod_binary64_2114
195×	add-cube-cbrt_binary64_2131
178×	add-exp-log_binary64
166×	distribute-lft-out--_binary64
160×	add-cube-cbrt_binary64_1457
158×	add-exp-log_binary64_112
153×	pow1_binary64_809
150×	pow1_binary64_1483
142×	add-exp-log_binary64_1123
135×	add-cbrt-cube_binary64 add-exp-log_binary64_2134
132×	add-cbrt-cube_binary64_110
130×	difference-of-squares_binary64_383 add-cube-cbrt_binary64_1120
128×	sqrt-prod_binary64
126×	times-frac_binary64_1431
123×	log-prod_binary64_160
121×	add-exp-log_binary64_786
120×	add-exp-log_binary64_1460
111×	add-log-exp_binary64 add-cbrt-cube_binary64_1458
108×	associate-/r*_binary64 add-cbrt-cube_binary64_1121
104×	add-cbrt-cube_binary64_784
102×	cbrt-prod_binary64_442
100×	add-log-exp_binary64_787
94×	add-exp-log_binary64_449
86×	pow1_binary64_1146 times-frac_binary64_1094
85×	add-cbrt-cube_binary64_2132
84×	log-pow_binary64_837 pow1_binary64_135
83×	add-log-exp_binary64_1461
82×	associate-/r*_binary64_360
81×	pow-unpow_binary64_488 distribute-lft-out_binary64_2052
79×	pow1_binary64
78×	associate-*r*_binary64_2041
77×	pow1_binary64_472 add-cbrt-cube_binary64_447 associate-*r/_binary64_1369
74×	log-prod_binary64_1171 add-log-exp_binary64_450
73×	associate-*r*_binary64_1030
70×	add-log-exp_binary64_1124 div-inv_binary64 div-exp_binary64
69×	flip3--_binary64 flip--_binary64 distribute-lft-out_binary64_30
68×	pow1_binary64_1820
67×	tan-quot_binary64_1581
66×	pow1_binary64_2157
65×	associate-/r/_binary64
64×	associate-/l*_binary64
62×	distribute-lft-out--_binary64_705 log-prod_binary64_834
60×	add-log-exp_binary64_113
58×	associate-*l*_binary64_1031
57×	sqrt-prod_binary64_429 add-exp-log_binary64_1797
56×	distribute-lft-out--_binary64_368 difference-of-squares_binary64_1394 associate-*r*_binary64_1367 cbrt-prod_binary64_2127
55×	associate-/l*_binary64_24
54×	associate-/l*_binary64_2046 associate-*l*_binary64_1368
53×	associate-*l*_binary64_2042 unpow-prod-down_binary64_490
52×	add-log-exp_binary64_1798
50×	difference-of-squares_binary64_1057
49×	associate-/r*_binary64_697 frac-times_binary64_1435
48×	exp-prod_binary64_463 associate-*r*_binary64_1704
46×	sqrt-prod_binary64_1440 flip3-+_binary64_1428 cbrt-prod_binary64_779 flip-+_binary64_1399 add-cbrt-cube_binary64_1795
45×	prod-exp_binary64_1134
43×	add-log-exp_binary64_2135 exp-prod_binary64 swap-sqr_binary64_1729
42×	associate-/r/_binary64_1710 div-exp_binary64_125
41×	associate-*l*_binary64_20 div-exp_binary64_2147
40×	unpow-prod-down_binary64_827 pow-prod-down_binary64_1493 flip3--_binary64_1429 flip--_binary64_1400 cube-prod_binary64_776
39×	cbrt-prod_binary64_105 sqrt-pow1_binary64_1779 unswap-sqr_binary64_2067 associate-/l*_binary64_1709 associate-*l*_binary64_1705
38×	difference-of-squares_binary64_2068 frac-add_binary64_1433 difference-of-squares_binary64_720
37×	associate-*r*_binary64 cbrt-undiv_binary64
35×	log-pow_binary64 div-inv_binary64_411
34×	cbrt-undiv_binary64_108 associate-/r*_binary64_2045
33×	associate-/r*_binary64_23 associate-/r*_binary64_1371 associate-/r*_binary64_1708 div-inv_binary64_74
32×	associate-*r*_binary64_19 distribute-lft-out_binary64_1378 cbrt-prod_binary64
31×	distribute-lft-out--_binary64_1379 flip-+_binary64_1736 flip3-+_binary64_1765 distribute-lft-out--_binary64_1042 associate-*r*_binary64_693 associate-/l*_binary64_698
29×	prod-exp_binary64_1471 cbrt-unprod_binary64_1118 associate-*l/_binary64_1370
28×	cbrt-unprod_binary64_1455 unswap-sqr_binary64_1056 prod-exp_binary64_2145 sqr-pow_binary64_386
27×	distribute-lft-out_binary64_1041
26×	diff-log_binary64_840 associate-/l*_binary64_361
25×	cbrt-prod_binary64_1453 diff-log_binary64 distribute-lft-out_binary64 flip3--_binary64_755 flip--_binary64_726
24×	distribute-lft-out_binary64_704 unpow-prod-down_binary64_1164 sub-neg_binary64 unswap-sqr_binary64_1730 associate-/r/_binary64_2047 sqrt-div_binary64_2115 sqrt-pow1_binary64_1442 flip3-+_binary64_2102 flip-+_binary64_2073 pow-pow_binary64_483 div-exp_binary64_799
23×	associate-*l*_binary64_694 div-inv_binary64_1759 associate-/l/_binary64_1374 distribute-lft-out--_binary64_2053 div-exp_binary64_462
22×	flip3--_binary64_1092 unswap-sqr_binary64_1393 sqrt-div_binary64 flip--_binary64_1063
20×	unpow-prod-down_binary64 cbrt-unprod_binary64_107 cube-prod_binary64_2124 div-inv_binary64_748 prod-exp_binary64_123 unpow-prod-down_binary64_2175
19×	flip3--_binary64_418 distribute-lft-in_binary64_702 associate-/l*_binary64_1372 flip-+_binary64_1062 flip--_binary64_389 flip3-+_binary64_1091 distribute-rgt-in_binary64_703
18×	cbrt-undiv_binary64_782 cbrt-undiv_binary64_2130 log-div_binary64_835 distribute-lft-out--_binary64_31
17×	flip-+_binary64_725 log-pow_binary64_500 prod-exp_binary64_797 difference-of-squares_binary64_46 flip3-+_binary64_754 log-div_binary64_1172 log-pow_binary64_1174
16×	pow-prod-down_binary64_1156 pow-flip_binary64_1833 pow-prod-down_binary64_2167 div-inv_binary64_2096 inv-pow_binary64_1844 cube-prod_binary64 *-commutative_binary64_1358
15×	rem-log-exp_binary64_115 pow1/2_binary64_1502 rec-exp_binary64_2146 *-commutative_binary64_1021 cbrt-unprod_binary64_781 frac-sub_binary64_1434 sqrt-div_binary64_1778 1-exp_binary64_2140 pow1/2_binary64_1839
14×	associate-/l/_binary64 distribute-rgt-in_binary64_1377 distribute-lft-in_binary64_1376 sqrt-prod_binary64_766 rem-sqrt-square_binary64 log-pow_binary64_163 cbrt-unprod_binary64_2129 cbrt-undiv_binary64_445 associate-/l*_binary64_1035 associate-*r/_binary64_1032
13×	unswap-sqr_binary64_45 flip-+_binary64_51 sub-neg_binary64_1418 rec-exp_binary64 clear-num_binary64 associate-*r*_binary64_356 1-exp_binary64 associate--l+_binary64_690 div-inv_binary64_1085 pow-flip_binary64_2170 associate-/r/_binary64_1036 frac-2neg_binary64 div-inv_binary64_1422 associate-*r/_binary64_2043 sub-neg_binary64_744 pow1/3_binary64_156 pow1/3_binary64_493 associate-/l/_binary64_26 flip3-+_binary64_80
12×	prod-exp_binary64 sqr-pow_binary64_1060 diff-log_binary64_503 frac-2neg_binary64_88 cube-div_binary64_2125 sub-neg_binary64_407 cube-prod_binary64_1113 sqrt-pow1_binary64 associate-/r/_binary64_25 associate-/r/_binary64_1373 clear-num_binary64_76
11×	pow1/2_binary64_2176 log-prod_binary64 pow1/2_binary64 sqr-pow_binary64_1397 associate-*l/_binary64_2044 unpow-prod-down_binary64_1838 unpow-prod-down_binary64_1501 diff-log_binary64_1514 log-div_binary64_161 sqrt-pow1_binary64_2116
10×	div-exp_binary64_1136 sub-neg_binary64_1081 clear-num_binary64_750 sum-log_binary64_839 frac-2neg_binary64_762 cbrt-unprod_binary64 rem-log-exp_binary64_1126
9×	unpow3_binary64_1488 rem-sqrt-square_binary64_1775 distribute-rgt-out--_binary64_1381 associate-/r*_binary64_1034 pow-prod-up_binary64_1829 pow-prod-down_binary64_819 distribute-lft-out--_binary64_1716 associate-/r/_binary64_699 pow-prod-up_binary64_1492 div-exp_binary64_1810 exp-prod_binary64_1474 pow-unpow_binary64 associate-*l*_binary64 cube-prod_binary64_1450 swap-sqr_binary64_44 div-exp_binary64_1473 swap-sqr_binary64_1392 pow-pow_binary64 cbrt-prod_binary64_1116 prod-exp_binary64_1808
8×	flip3-+_binary64 sqrt-div_binary64_430 unswap-sqr_binary64_719 sqr-pow_binary64_2071 exp-sum_binary64 difference-of-sqr-1_binary64_1058 frac-times_binary64_1098 *-commutative_binary64_2032 sum-log_binary64_1850 frac-2neg_binary64_2110 diff-log_binary64_1177 cbrt-div_binary64_2128 cbrt-undiv_binary64_1119 clear-num_binary64_2098 sqrt-div_binary64_767 frac-add_binary64_2107 flip-+_binary64
7×	diff-log_binary64_1851 rem-log-exp_binary64_789 difference-of-squares_binary64_1731 sin-mult_binary64_2251 pow-prod-down_binary64_1830 inv-pow_binary64_2181 *-commutative_binary64_684 rem-sqrt-square_binary64_1438 pow-exp_binary64_1153 pow-to-exp_binary64_480 flip--_binary64_2074 flip3--_binary64_2103 pow-to-exp_binary64_1154 associate--r+_binary64_689 associate-*r/_binary64_21 pow-prod-down_binary64_145 pow-sqr_binary64_1398 distribute-lft-out_binary64_367 cbrt-undiv_binary64_1456 sqr-pow_binary64 pow-exp_binary64_479 associate-*r/_binary64_695
6×	flip3--_binary64_1766 clear-num_binary64_413 associate-*l*_binary64_357 cube-prod_binary64_439 *-commutative_binary64_10 associate-/l/_binary64_1037 associate--l+_binary64_1027 unpow3_binary64_2162 cube-div_binary64 frac-2neg_binary64_1436 difference-of-sqr-1_binary64_721 pow-unpow_binary64_2173 flip--_binary64_1737 cos-mult_binary64_2250 sub-neg_binary64_1755 sum-log_binary64_1513 cube-mult_binary64_2126 frac-2neg_binary64_425 clear-num_binary64_1424
5×	pow-sqr_binary64_1735 associate-*r/_binary64_1706 flip--_binary64_52 associate-/r/_binary64_362 tan-quot_binary64_233 difference-of-sqr-1_binary64_1395 clear-num_binary64_1761 distribute-rgt-in_binary64_1040 cbrt-undiv_binary64_1793 +-commutative_binary64_1694 cbrt-unprod_binary64_1792 frac-2neg_binary64_1773 unswap-sqr_binary64 distribute-rgt-neg-in_binary64 div-sub_binary64 *-commutative_binary64_1695 sin-sum_binary64_207 sqr-pow_binary64_1734 flip3--_binary64_81 +-commutative_binary64_1357 associate-/l/_binary64_2048 distribute-lft-in_binary64_1039
4×	frac-2neg_binary64_1099 frac-sub_binary64_760 1-exp_binary64_792 associate--r+_binary64_1026 clear-num_binary64_1087 associate--l+_binary64_1364 associate-*l/_binary64_1033 rec-exp_binary64_798 div-sub_binary64_756 frac-sub_binary64_2108 diff-log_binary64_166 associate-*r/_binary64 sqrt-pow1_binary64_431 associate--l+_binary64_16 sum-log_binary64_165 prod-exp_binary64_460 unpow3_binary64 sub-neg_binary64_70 sum-log_binary64_2187 cube-mult_binary64 associate-/l/_binary64_363 +-commutative_binary64_1020 +-commutative_binary64_683 cbrt-div_binary64 frac-add_binary64_1770 pow-pow_binary64_1831 pow1/3_binary64_1504 div-sub_binary64_82 1-exp_binary64_1803 rec-exp_binary64_1809 pow1/2_binary64_491 pow-div_binary64_1834 associate-*l/_binary64_696 sqrt-pow1_binary64_768 rem-sqrt-square_binary64_764 distribute-rgt-out--_binary64 pow1/2_binary64_828 sum-log_binary64_1176 rem-sqrt-square_binary64_427 cbrt-unprod_binary64_444
3×	sub-neg_binary64_2092 associate--l-_binary64_17 pow-unpow_binary64_1499 flip3-+_binary64_417 pow-prod-up_binary64_144 pow-to-exp_binary64 pow1/3_binary64_1167 pow-plus_binary64_1485 cube-mult_binary64_1115 unpow2_binary64 sub-div_binary64_2106 pow-unpow_binary64_1836 exp-prod_binary64_1137 pow-exp_binary64 pow-exp_binary64_1827 sqr-sin-a_binary64_222 frac-times_binary64_87 diff-log_binary64_2188 cube-prod_binary64_1787 associate-*l/_binary64_22 exp-diff_binary64 rec-exp_binary64_461 unpow3_binary64_1151 distribute-rgt-in_binary64_1714 exp-prod_binary64_1811 associate-+l+_binary64_1360 sqrt-unprod_binary64_2118 1-exp_binary64_455 pow-sqr_binary64_50 distribute-lft-in_binary64_1713 pow-to-exp_binary64_1828 flip-+_binary64_388 sin-mult_binary64_229 exp-to-pow_binary64_473 log-div_binary64 associate-+r+_binary64_1696 associate--r+_binary64_15 exp-to-pow_binary64_1147 pow-unpow_binary64_825
2×	pow-pow_binary64_1494 cube-mult_binary64_778 pow-prod-down_binary64 pow2_binary64_155 pow-flip_binary64_1496 frac-times_binary64_761 +-commutative_binary64_9 exp-neg_binary64_1806 sin-sum_binary64_2229 cos-sum_binary64_208 associate-/l/_binary64_700 cbrt-div_binary64_443 cube-div_binary64_777 sqr-pow_binary64_723 tan-sum_binary64_1557 neg-sub0_binary64_1757 rem-cbrt-cube_binary64_2122 pow-plus_binary64_137 pow1/3_binary64 unswap-sqr_binary64_382 pow-exp_binary64_2164 pow1/3_binary64_2178 div-sub_binary64_419 frac-sub_binary64 inv-pow_binary64_833 rem-cube-cbrt_binary64_2121 rem-exp-log_binary64_451 rem-cube-cbrt_binary64_773 pow-to-exp_binary64_2165 sum-log_binary64 pow-exp_binary64_1490 pow-flip_binary64 pow2_binary64_1503 frac-times_binary64_424 pow-pow_binary64_2168 rem-sqrt-square_binary64_2112 +-commutative_binary64_2031 inv-pow_binary64_1507 associate-*l/_binary64_359 exp-diff_binary64_1807 inv-pow_binary64 rem-cube-cbrt_binary64 unpow3_binary64_814 associate--r-_binary64_692 pow-exp_binary64_816 +-commutative_binary64 1-exp_binary64_1466 associate--r-_binary64_1029 associate-+l-_binary64_1362 div-sub_binary64_1430 frac-times_binary64 rec-exp_binary64_1472 associate--l-_binary64_1028 pow-flip_binary64_822 associate-*l/_binary64 *-commutative_binary64 associate-+r+_binary64_1359
1×	rec-exp_binary64_124 frac-add_binary64_1096 pow-to-exp_binary64_817 sin-cos-mult_binary64_2252 pow-prod-down_binary64_482 rem-cbrt-cube_binary64_774 1-exp_binary64_1129 associate-/l/_binary64_1711 inv-pow_binary64_496 associate--l-_binary64 pow-to-exp_binary64_1491 tan-quot_binary64_1244 associate--l+_binary64_2038 pow-flip_binary64_485 associate--l-_binary64_691 rem-cbrt-cube_binary64 neg-sub0_binary64 1-exp_binary64_118 rem-square-sqrt_binary64_1437 pow3_binary64_1505 un-div-inv_binary64_2097 cube-mult_binary64_441 *-commutative_binary64_347 cos-sum_binary64_2230 rem-log-exp_binary64 unpow3_binary64_1825 distribute-rgt-in_binary64_29 associate--r+_binary64_1700 frac-sub_binary64_1097 pow-pow_binary64_820 rem-exp-log_binary64_1125 sqrt-unprod_binary64_1444 sqrt-unprod_binary64_1781 diff-atan_binary64_1579 rem-exp-log_binary64 associate--r-_binary64_1703 div-sub_binary64_1093 inv-pow_binary64_1170 pow1/3_binary64_830 cube-mult_binary64_1789 inv-pow_binary64_159 rem-cube-cbrt_binary64_1784 frac-times_binary64_1772 distribute-lft-in_binary64_28 unpow3_binary64_477 neg-log_binary64 frac-times_binary64_2109 frac-sub_binary64_86 associate-+r+_binary64_685 cbrt-div_binary64_780 associate-+l-_binary64_1699 rem-square-sqrt_binary64_1774 pow-plus_binary64_1822 pow-flip_binary64_1159 sub-div_binary64 associate-+r+_binary64_11 un-div-inv_binary64 sum-log_binary64_502 diff-cos_binary64_225 +-commutative_binary64_346 rem-cube-cbrt_binary64_436 pow2_binary64_1840 associate-*r/_binary64_358 rec-exp_binary64_1135 div-sub_binary64_2104 associate-+l+_binary64_1697 associate-*l/_binary64_1707 sqrt-undiv_binary64_1782 pow-flip_binary64_148 associate-+r+_binary64_2033 diff-sin_binary64_2246 un-div-inv_binary64_749

Calls

344 calls:

76.0ms	(-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 1 (/.f64 (-.f64 x (tan.f64 x)) (sin.f64 x))))
43.0ms	(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
42.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
38.0ms	(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
36.0ms	(-.f64 (/.f64 x (-.f64 x (tan.f64 x))) (/.f64 (sin.f64 x) (-.f64 x (tan.f64 x))))