rewrite6.2s (2.3%)

Algorithm

144×	rewrite-expression-head

Rules

2740×	add-exp-log_binary64_2134
1520×	prod-exp_binary64_2145
1481×	pow-exp_binary64_2164
1308×	div-exp_binary64_2147
1253×	times-frac_binary64
1181×	add-sqr-sqrt_binary64
1037×	times-frac_binary64_2442
990×	*-un-lft-identity_binary64
754×	add-sqr-sqrt_binary64_2457
746×	pow-to-exp_binary64_2165
744×	add-cube-cbrt_binary64
720×	*-un-lft-identity_binary64_2436
658×	*-un-lft-identity_binary64_2099
570×	*-un-lft-identity_binary64_1088
559×	add-cube-cbrt_binary64_2468
538×	add-sqr-sqrt_binary64_2120
450×	times-frac_binary64_2105
414×	add-sqr-sqrt_binary64_1109
397×	sqrt-prod_binary64
357×	add-cube-cbrt_binary64_2131
311×	*-un-lft-identity_binary64_1425
308×	flip3--_binary64_1429 flip--_binary64_1400
305×	*-un-lft-identity_binary64_77
302×	add-exp-log_binary64_2471
293×	add-sqr-sqrt_binary64_1783
289×	*-un-lft-identity_binary64_414 times-frac_binary64_1094
288×	add-cbrt-cube_binary64_110 associate-*r*_binary64 add-exp-log_binary64_112
280×	associate-*l/_binary64_1370
279×	add-sqr-sqrt_binary64_98
271×	add-exp-log_binary64_1797
270×	frac-times_binary64_1435
267×	add-sqr-sqrt_binary64_435
264×	cbrt-prod_binary64_2127
257×	add-cbrt-cube_binary64_1795
254×	add-sqr-sqrt_binary64_1446
251×	log-prod_binary64_1171
249×	add-exp-log_binary64
247×	rec-exp_binary64_2146 1-exp_binary64_2140
244×	add-exp-log_binary64_1460
241×	add-cbrt-cube_binary64
240×	add-cbrt-cube_binary64_1458
231×	*-un-lft-identity_binary64_1762
230×	associate-*l*_binary64 add-sqr-sqrt_binary64_2794
228×	add-cube-cbrt_binary64_1120
222×	*-un-lft-identity_binary64_2773
214×	add-exp-log_binary64_1123 sqrt-div_binary64_1441
203×	frac-add_binary64_1433
202×	add-sqr-sqrt_binary64_772
197×	*-un-lft-identity_binary64_751
195×	times-frac_binary64_83 add-cube-cbrt_binary64_109
194×	times-frac_binary64_420
187×	times-frac_binary64_1768 add-cube-cbrt_binary64_446
184×	times-frac_binary64_1431
178×	add-cbrt-cube_binary64_1121
177×	add-cube-cbrt_binary64_1457
175×	add-cube-cbrt_binary64_1794
168×	pow1_binary64_1483
165×	add-cbrt-cube_binary64_2469
153×	add-exp-log_binary64_449
147×	associate-*r*_binary64_2041 add-cbrt-cube_binary64_447
146×	difference-of-squares_binary64 associate-/r*_binary64_2382
140×	pow1_binary64 times-frac_binary64_2779
138×	add-cube-cbrt_binary64_2805
137×	pow1_binary64_135
133×	add-cbrt-cube_binary64_2132
131×	times-frac_binary64_757 pow1_binary64_1820
126×	div-exp_binary64_2484
124×	associate-*r/_binary64_1369
120×	add-cube-cbrt_binary64_783
115×	pow1_binary64_1146
107×	difference-of-squares_binary64_1057
106×	distribute-lft-out_binary64_2052 unpow-prod-down_binary64_2175
105×	add-log-exp_binary64_113
102×	associate-/r*_binary64
99×	distribute-lft-out--_binary64_1042
98×	associate-*r*_binary64_2378
95×	add-log-exp_binary64_450
93×	cbrt-prod_binary64
92×	pow1_binary64_2157
89×	distribute-lft-out_binary64_1041
88×	pow1_binary64_472
85×	prod-exp_binary64_1808
84×	cbrt-unprod_binary64_107 add-log-exp_binary64_1798 prod-exp_binary64_123
83×	cos-mult_binary64_1576
82×	difference-of-squares_binary64_2405
81×	cbrt-unprod_binary64_1792
79×	associate-/l*_binary64_24
78×	prod-exp_binary64_1471 cbrt-unprod_binary64_1455
77×	prod-exp_binary64_2482 add-log-exp_binary64 div-inv_binary64
74×	associate-/l*_binary64
71×	associate-*l*_binary64_2379
70×	cbrt-undiv_binary64_2467
69×	add-log-exp_binary64_1124 cbrt-prod_binary64_2464
68×	add-exp-log_binary64_786
67×	unpow-prod-down_binary64_1164 associate-/r*_binary64_2045
66×	cbrt-undiv_binary64_108 div-exp_binary64_125
65×	sqrt-prod_binary64_1777
64×	unpow-prod-down_binary64_2512 associate-*r*_binary64_356 add-log-exp_binary64_1461 unswap-sqr_binary64
63×	div-exp_binary64_1810
61×	add-log-exp_binary64_2135
60×	sqrt-prod_binary64_1440 cbrt-prod_binary64_2801
59×	distribute-lft-out--_binary64 associate-*l*_binary64_2042
58×	cbrt-undiv_binary64 cbrt-undiv_binary64_1793 flip3-+_binary64_2102 div-exp_binary64 flip-+_binary64_2073
57×	add-log-exp_binary64_2472
56×	add-log-exp_binary64_787
55×	flip3--_binary64 flip--_binary64
54×	div-exp_binary64_1473
53×	associate-*r/_binary64_2043 log-prod_binary64_834
52×	difference-of-squares_binary64_1731 add-cbrt-cube_binary64_784 cbrt-undiv_binary64_1456
51×	prod-exp_binary64 add-exp-log_binary64_2808 cbrt-unprod_binary64 prod-exp_binary64_1134 associate-/l*_binary64_1709
50×	*-un-lft-identity_binary64_3110 distribute-lft-out_binary64_1378 unpow-prod-down_binary64_490 add-cbrt-cube_binary64_2806 difference-of-squares_binary64_2742
49×	div-inv_binary64_2433 associate-*r*_binary64_1704
48×	div-exp_binary64_1136 associate-/l*_binary64_2046 cbrt-prod_binary64_442
47×	cbrt-unprod_binary64_1118
46×	distribute-lft-out--_binary64_2390 cube-prod_binary64_439 pow-prod-down_binary64_1493 cbrt-prod_binary64_1116
45×	associate-*r*_binary64_19 distribute-lft-out_binary64_367 frac-times_binary64
44×	associate-/r*_binary64_23 associate-*r*_binary64_1030 associate-*l*_binary64_357 add-log-exp_binary64_2809 associate-/r/_binary64_2047 associate-*r*_binary64_1367 sqrt-prod_binary64_766
43×	associate-*r/_binary64 pow1_binary64_2831
42×	log-prod_binary64_3193 sqrt-prod_binary64_429 unswap-sqr_binary64_2067 difference-of-squares_binary64_46 pow1_binary64_2494 log-pow_binary64_1174 distribute-lft-out_binary64_30
40×	difference-of-squares_binary64_2068 unpow-prod-down_binary64 associate-*l*_binary64_1368
39×	cube-prod_binary64_1113 pow-prod-down_binary64_145
38×	pow1_binary64_809 difference-of-squares_binary64_720
37×	prod-exp_binary64_460 cbrt-undiv_binary64_1119 cbrt-unprod_binary64_2466
36×	associate-*l*_binary64_20 sqr-pow_binary64_2408 add-sqr-sqrt_binary64_3131
35×	pow-prod-down_binary64_1830 associate-/l*_binary64_2383 frac-sub_binary64_2108 associate-/r*_binary64_1371 associate-*l/_binary64
34×	unpow-prod-down_binary64_827 associate-/r/_binary64_25 exp-sum_binary64_794
33×	associate-/r*_binary64_2719 associate-/l*_binary64_2720 div-inv_binary64_2096 swap-sqr_binary64_2066 cbrt-unprod_binary64_444
32×	associate-*l*_binary64_1031 associate-*l*_binary64_1705
31×	distribute-lft-out--_binary64_2053
30×	pow-prod-down_binary64 cbrt-undiv_binary64_2130 cube-prod_binary64_2461
29×	flip3-+_binary64_417 distribute-lft-out_binary64 add-cube-cbrt_binary64_3142 flip-+_binary64_388 cbrt-unprod_binary64_2129 associate-/l*_binary64_361
28×	flip3--_binary64_1766 associate-/l*_binary64_1372 associate-/r*_binary64_1034 cbrt-prod_binary64_1790 flip--_binary64_1737 associate-*r*_binary64_693 cbrt-undiv_binary64_445 div-exp_binary64_462
27×	associate-/l/_binary64 sqrt-prod_binary64_92 flip--_binary64_2074 flip3--_binary64_2103 distribute-lft-out--_binary64_2727
26×	flip-+_binary64_51 flip3-+_binary64_80 *-commutative_binary64
25×	flip3-+_binary64 associate-/r/_binary64_2384 unswap-sqr_binary64_2404 distribute-lft-out_binary64_2389 associate-/l*_binary64_1035 flip-+_binary64
24×	flip--_binary64_52 sqrt-prod_binary64_1103 pow-unpow_binary64 flip3--_binary64_81 sqrt-div_binary64_1778 associate-/l/_binary64_2048 sqr-pow_binary64 associate-/r*_binary64_360
23×	associate-/r/_binary64_362 sqr-pow_binary64_1060 pow1_binary64_3168 sqr-pow_binary64_49 div-inv_binary64_74 add-log-exp_binary64_3146
22×	cosh-undef_binary64_605
21×	distribute-lft-out--_binary64_1716 log-pow_binary64_837 frac-times_binary64_2109 log-prod_binary64_2519
20×	distribute-lft-out_binary64_704 sqrt-prod_binary64_3125 unswap-sqr_binary64_382
19×	add-exp-log_binary64_3145 difference-of-squares_binary64_1394 exp-prod_binary64_800 clear-num_binary64 flip3--_binary64_1092 unpow-prod-down_binary64_1501 frac-2neg_binary64 cube-prod_binary64_1450 sin-mult_binary64_1577 flip--_binary64_1063
18×	sub-neg_binary64 div-inv_binary64_1085 cube-prod_binary64_2798 unpow-prod-down_binary64_2849
17×	distribute-lft-in_binary64_702 div-inv_binary64_1759 pow1/3_binary64_2178 frac-2neg_binary64_2110 clear-num_binary64_2098 div-inv_binary64_1422 rem-log-exp_binary64_1126 distribute-rgt-in_binary64_703
16×	frac-2neg_binary64_88 associate--l+_binary64_3049 div-sub_binary64_1093 associate-/r/_binary64_1036 associate-*r*_binary64_2715 clear-num_binary64_76 associate-/r*_binary64_1708 add-cbrt-cube_binary64_3143
15×	associate-/r/_binary64 associate-*l*_binary64_694 sin-diff_binary64_1221 associate-*l/_binary64_2044 div-inv_binary64_748 pow-pow_binary64_2168 pow-unpow_binary64_2173 associate-*l*_binary64_2716 sub-neg_binary64_1755 cbrt-div_binary64_1791 div-inv_binary64_411 associate-/l*_binary64_698
14×	flip3--_binary64_418 flip3--_binary64_2777 pow-prod-down_binary64_482 associate-+r+_binary64_3044 flip--_binary64_2748 flip3-+_binary64_1428 unswap-sqr_binary64_1056 rec-exp_binary64_2483 1-exp_binary64_2477 sub-neg_binary64_70 sqrt-div_binary64_1104 pow-prod-down_binary64_2167 prod-exp_binary64_797 flip-+_binary64_1399 flip--_binary64_389
13×	associate-*r/_binary64_1706 distribute-lft-out--_binary64_705 unpow2_binary64 diff-log_binary64_166 associate-+l+_binary64_3045 associate-/l/_binary64_1374 distribute-lft-out--_binary64_31 sub-neg_binary64_407 clear-num_binary64_2435 unswap-sqr_binary64_1393 *-commutative_binary64_1695 frac-2neg_binary64_2447 log-div_binary64_1172 associate-/l/_binary64_26 sum-log_binary64_502
12×	rem-sqrt-square_binary64_1775 diff-log_binary64_1851 flip-+_binary64_2410 pow-unpow_binary64_1499 cbrt-prod_binary64_1453 *-commutative_binary64_10 sqrt-div_binary64_93 sqrt-pow1_binary64_1779 pow1/3_binary64_1841 flip--_binary64_2411 +-commutative_binary64_346 tan-quot_binary64 pow1/2_binary64_1839
11×	sub-neg_binary64_2092 flip3-+_binary64_2439 pow-prod-down_binary64_1156 unpow-prod-down_binary64_153 flip-+_binary64_3084 unswap-sqr_binary64_1730 *-commutative_binary64_2032 flip3--_binary64_755 flip--_binary64_726 flip3-+_binary64_3113 difference-of-sqr-1_binary64_2069 flip3--_binary64_2440
10×	distribute-lft-out_binary64_3063 sqrt-div_binary64_430 unswap-sqr_binary64_719 difference-of-squares_binary64_383 *-commutative_binary64_347 frac-2neg_binary64_1436 flip-+_binary64_1062 associate-/r/_binary64_1373 flip3-+_binary64_1091 clear-num_binary64_1424 log-div_binary64_3194 div-exp_binary64_799
9×	frac-2neg_binary64_1099 distribute-lft-out--_binary64_1379 associate-/r/_binary64_1710 clear-num_binary64_1087 sqr-pow_binary64_2071 swap-sqr_binary64 exp-prod_binary64_126 flip-+_binary64_1736 flip3-+_binary64_1765 clear-num_binary64_1761 diff-log_binary64_503 associate-/r*_binary64_697 sum-log_binary64_2524 pow-prod-up_binary64_1492 cube-mult_binary64_2463 frac-2neg_binary64_1773 log-div_binary64_2520 diff-log_binary64_840 distribute-rgt-in_binary64 unpow3_binary64_2499 pow-sqr_binary64_1398 associate-*r/_binary64_1032 *-commutative_binary64_1358 distribute-lft-in_binary64
8×	div-sub_binary64_2778 associate-+r+_binary64_348 pow-to-exp_binary64 cbrt-prod_binary64_105 associate-/l/_binary64_1711 log-prod_binary64_2182 associate-*r*_binary64_3052 pow-exp_binary64 flip-+_binary64_725 difference-of-sqr--1_binary64_2070 log-pow_binary64_3196 sqrt-div_binary64_3126 frac-times_binary64_1772 swap-sqr_binary64_2740 cosh-undef_binary64_942 cbrt-unprod_binary64_781 flip3-+_binary64_754 log-pow_binary64_163 associate-/r/_binary64_2721 pow-pow_binary64 sinh-undef_binary64_941
7×	clear-num_binary64_413 cbrt-undiv_binary64_782 sub-neg_binary64_3103 acos-asin_binary64_2951 +-commutative_binary64_9 frac-sub_binary64_2445 cbrt-undiv_binary64_2804 sub-neg_binary64_2766 unswap-sqr_binary64_45 pow1/2_binary64_1502 div-exp_binary64_2821 sum-log_binary64_165 rem-sqrt-square_binary64_1438 associate-*r/_binary64_2380 div-inv_binary64_2770 diff-log_binary64_1177 cbrt-div_binary64_2128 sqrt-pow1_binary64_1442 *-commutative_binary64_1021 frac-2neg_binary64_2784 distribute-lft-out_binary64_1715 associate-*r/_binary64_21 diff-log_binary64_2525 frac-2neg_binary64_425 sub-neg_binary64_744 clear-num_binary64_2772 log-pow_binary64_2859 associate-*l/_binary64_1707
6×	exp-prod_binary64_2822 sqr-pow_binary64_2745 sin-cos-mult_binary64_1915 sqrt-pow1_binary64_94 sqr-pow_binary64_723 associate-*l*_binary64_3053 pow-unpow_binary64_151 rem-sqrt-square_binary64_90 distribute-rgt-in_binary64_2051 inv-pow_binary64_2181 unpow3_binary64_2836 associate-/l/_binary64_1037 cos-diff_binary64_1896 sum-log_binary64 sum-log_binary64_3198 associate--r+_binary64_2037 sum-log_binary64_839 pow-flip_binary64_2170 cos-diff_binary64_548 distribute-lft-in_binary64_365 swap-sqr_binary64_1729 swap-sqr_binary64_381 distribute-rgt-in_binary64_366 cube-mult_binary64_2800 distribute-rgt-in_binary64_3062 acos-asin_binary64_255 frac-sub_binary64_1434 distribute-rgt-out--_binary64 distribute-lft-in_binary64_3061 pow1/2_binary64_154 sqrt-div_binary64_767 sub-neg_binary64_2429 sqr-pow_binary64_386 distribute-lft-in_binary64_2050
5×	pow-pow_binary64_1494 pow-to-exp_binary64_2502 unpow3_binary64_1488 pow-exp_binary64_142 rem-cube-cbrt_binary64_99 pow-plus_binary64_1485 cube-mult_binary64_1452 diff-log_binary64 sub-neg_binary64_1418 asin-acos_binary64_1602 *-commutative_binary64_2369 sqrt-pow1_binary64_431 frac-times_binary64_2446 distribute-rgt-in_binary64_29 sqr-pow_binary64_1397 pow-exp_binary64_1490 pow-pow_binary64_146 frac-times_binary64_424 diff-log_binary64_2188 pow-exp_binary64_1153 pow-exp_binary64_2501 flip3-+_binary64_2776 rem-cube-cbrt_binary64_1447 diff-log_binary64_1514 distribute-lft-in_binary64_28 pow-to-exp_binary64_1154 sin-mult_binary64_229 div-sub_binary64_82 pow1/2_binary64_491 swap-sqr_binary64_1392 sqrt-pow1_binary64_768 rem-sqrt-square_binary64_764 pow1/2_binary64_828 sum-log_binary64_1176 flip-+_binary64_2747 rem-sqrt-square_binary64_427
4×	cbrt-unprod_binary64_2803 +-commutative_binary64_3042 distribute-lft-out--_binary64_368 associate--r+_binary64_1026 associate-/l/_binary64_700 +-commutative_binary64_2368 pow-to-exp_binary64_1491 cube-div_binary64_1114 cube-mult_binary64_1115 difference-of-sqr-1_binary64_1395 div-sub_binary64_1767 frac-times_binary64_1098 sub-neg_binary64_1081 frac-add_binary64 associate-*l/_binary64_2381 difference-of-sqr-1_binary64 cube-prod_binary64_2124 diff-log_binary64_2862 associate-*r/_binary64_3054 +-commutative_binary64_2705 frac-times_binary64_2783 unpow3_binary64_1151 +-commutative_binary64_683 div-sub_binary64 cube-div_binary64_1451 associate-+r-_binary64_2709 diff-log_binary64_3199 sub-div_binary64_1432 distribute-lft-out_binary64_2726 difference-of-sqr--1_binary64_1396 log-prod_binary64_2856 associate--r+_binary64_689 sum-log_binary64_2861 *-commutative_binary64_2706 difference-of-sqr-1_binary64_2406 pow-exp_binary64_816 associate-*r/_binary64_2717 prod-exp_binary64_2819 log-div_binary64_2183 cube-prod_binary64_776 pow-exp_binary64_479 pow-prod-down_binary64_2841 unswap-sqr_binary64_2741
3×	log-prod_binary64_160 pow-to-exp_binary64_817 rem-log-exp_binary64_789 log-pow_binary64_2522 cube-mult_binary64_104 pow1/3_binary64_1167 rem-log-exp_binary64_3148 cube-mult_binary64_441 pow-unpow_binary64_488 pow-unpow_binary64_1162 log-prod_binary64_497 clear-num_binary64_750 pow-prod-down_binary64_2504 acos-neg_binary64_2953 flip--_binary64_3085 *-commutative_binary64_684 associate--l+_binary64_1027 unpow3_binary64_140 associate-/l/_binary64_363 pow2_binary64_1503 cos-diff_binary64_2907 +-commutative_binary64_1020 pow-to-exp_binary64_480 sin-mult_binary64_1914 pow-unpow_binary64_2847 associate-*l/_binary64_359 frac-2neg_binary64_762 log-pow_binary64_500 pow-plus_binary64 unpow3_binary64_477 sqrt-pow1_binary64_3127 pow1/2_binary64_3187 pow-prod-up_binary64_2166 sqrt-prod_binary64_2451 distribute-rgt-out_binary64_706 distribute-frac-neg_binary64_2738 sin-sum_binary64_544 1-exp_binary64_1803 pow-sqr_binary64 pow-sqr_binary64_2072 rec-exp_binary64_1809 sqrt-pow1_binary64_1105 rem-log-exp_binary64_2474 pow-prod-up_binary64 flip3--_binary64_3114 pow2_binary64 associate-*r/_binary64_358 pow1/2_binary64_1165 cube-prod_binary64_102 pow-unpow_binary64_825
2×	pow-sqr_binary64_1735 pow-flip_binary64_1496 frac-times_binary64_761 frac-sub_binary64_760 prod-exp_binary64_3156 pow-prod-down_binary64_3178 unpow2_binary64_813 associate-+r+_binary64_2370 pow-to-exp_binary64_143 associate-*l/_binary64_1033 log-pow_binary64_2185 associate--l+_binary64_2038 cube-div_binary64_103 distribute-rgt-in_binary64_2725 cbrt-unprod_binary64_3140 difference-of-sqr-1_binary64_1058 inv-pow_binary64_2518 un-div-inv_binary64_2097 pow1/3_binary64 associate--l-_binary64_3050 sqrt-div_binary64_2452 associate-+l-_binary64_3047 pow-prod-up_binary64_1829 frac-add_binary64_2444 frac-sub_binary64 sum-log_binary64_1850 pow-flip_binary64_1833 associate-/r/_binary64_699 sum-log_binary64_2187 rem-cbrt-cube_binary64_1111 associate-*l/_binary64_2718 exp-diff_binary64_122 pow2_binary64_2177 pow-plus_binary64_2159 +-commutative_binary64_2031 inv-pow_binary64_1507 *-commutative_binary64_3043 distribute-rgt-in_binary64_1714 cos-mult_binary64_1913 unswap-sqr_binary64_3078 associate--r-_binary64_2040 distribute-lft-in_binary64_1713 sum-log_binary64_1513 pow-flip_binary64_2507 cbrt-div_binary64_1117 difference-of-sqr-1_binary64_384 associate-/l/_binary64_2385 difference-of-sqr--1_binary64_385 +-commutative_binary64_1357 associate-*l/_binary64_696 sqr-cos-a_binary64_1571 1-exp_binary64_1466 distribute-lft-in_binary64_2724 div-sub_binary64_1430 associate--l+_binary64_2375 rem-cube-cbrt_binary64_436 sin-mult_binary64_566 cosh-def_binary64_597 rec-exp_binary64_1472 cos-sum_binary64_1893 div-sub_binary64_2104 cos-sum_binary64_545 cube-div_binary64_440
1×	pow-exp_binary64_2838 associate--r+_binary64_2374 cube-mult_binary64_778 exp-to-pow_binary64_810 log-div_binary64_835 distribute-lft-out--_binary64_3064 pow-sqr_binary64_2746 rem-log-exp_binary64_115 pow1/3_binary64_2515 1-exp_binary64_792 rem-cube-cbrt_binary64_2795 associate--l+_binary64_1364 cbrt-div_binary64_106 pow-plus_binary64_474 associate-+l-_binary64 rem-sqrt-square_binary64_1101 cos-sum_binary64_208 cbrt-div_binary64_443 rem-exp-log_binary64_788 distribute-rgt1-in_binary64_709 tanh-def-b_binary64_936 log-div_binary64_2857 rec-exp_binary64_798 sin-diff_binary64_547 difference-of-sqr--1_binary64 rem-sqrt-square_binary64_2449 distribute-rgt-in_binary64_2388 div-sub_binary64_756 rem-sqrt-square_binary64_3123 neg-sub0_binary64_1757 sin-sum_binary64_1892 associate-+r-_binary64_2372 associate-+r-_binary64_1024 associate--l+_binary64_690 tanh-def-a_binary64_935 div-sub_binary64_419 rem-cbrt-cube_binary64_1448 pow-prod-down_binary64_819 associate-+r-_binary64_3046 pow-to-exp_binary64_2839 pow-pow_binary64_2842 pow-pow_binary64_820 pow-prod-up_binary64_481 unpow3_binary64_2162 exp-prod_binary64_463 +-commutative_binary64_1694 pow-plus_binary64_2833 associate-+l+_binary64 associate-+r+_binary64 rem-cbrt-cube_binary64_437 pow-pow_binary64_1157 rem-log-exp_binary64_2811 associate--l+_binary64_353 rem-cbrt-cube_binary64_100 pow-sqr_binary64_387 sqrt-unprod_binary64_1107 rem-cube-cbrt_binary64_1110 unpow3_binary64_814 log-div_binary64_161 associate-+l-_binary64_1699 inv-pow_binary64_1844 rem-log-exp_binary64_452 pow1/3_binary64_1504 rem-log-exp_binary64_2137 pow1/3_binary64_2852 exp-sum_binary64_2816 cube-mult_binary64_2126 pow-plus_binary64_1822 difference-of-squares_binary64_3079 exp-to-pow_binary64_473 pow2_binary64_2851 pow1/3_binary64_156 rem-exp-log_binary64_114 cos-diff_binary64_211 frac-add_binary64_759 pow1/3_binary64_493 rem-cbrt-cube_binary64_2796 +-commutative_binary64 sub-div_binary64 distribute-lft-in_binary64_2387 cos-sum_binary64_2904 associate--r-_binary64_1029 pow1/2_binary64_2513 sin-diff_binary64_1895 neg-log_binary64_1852 tanh-def-c_binary64_937 pow2_binary64_1840 pow2_binary64_492 pow-pow_binary64_483 sqrt-pow1_binary64_2453 exp-diff_binary64_2818 distribute-rgt-neg-in_binary64_1722 associate-*r/_binary64_695 pow-prod-up_binary64_2840 tanh-undef_binary64_943 un-div-inv_binary64_749

Calls

478 calls:

88.0ms	(*.f64 (/.f64 (/.f64 m (fabs.f64 (cbrt.f64 v))) (sqrt.f64 (cbrt.f64 v))) (/.f64 (-.f64 1 m) (sqrt.f64 v)))
73.0ms	(-.f64 (/.f64 1 (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))
53.0ms	(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
53.0ms	(-.f64 (/.f64 1 (+.f64 (pow.f64 (tan.f64 x) 2) 1)) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 (pow.f64 (tan.f64 x) 2) 1)))
46.0ms	(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (+.f64 1 (*.f64 c_p (+.f64 (*.f64 t 1/2) (log.f64 1/2)))) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))