rewrite7.6s (1.8%)

Algorithm

140×	rewrite-expression-head

Rules

1219×	add-exp-log_binary64_3185
828×	times-frac_binary64_2130
810×	*-un-lft-identity_binary64
742×	times-frac_binary64
720×	add-sqr-sqrt_binary64
692×	pow-exp_binary64_3215
688×	prod-exp_binary64_3196
598×	*-un-lft-identity_binary64_1783
597×	div-exp_binary64_3198
582×	add-sqr-sqrt_binary64_2146
557×	times-frac_binary64_84
545×	*-un-lft-identity_binary64_2124
540×	*-un-lft-identity_binary64_419
516×	times-frac_binary64_425
502×	*-un-lft-identity_binary64_1101
496×	add-cube-cbrt_binary64_2159
490×	add-cube-cbrt_binary64
478×	*-un-lft-identity_binary64_78
461×	add-sqr-sqrt_binary64_441
437×	times-frac_binary64_1789
432×	*-un-lft-identity_binary64_2465
420×	add-sqr-sqrt_binary64_1123
391×	add-sqr-sqrt_binary64_100
377×	times-frac_binary64_1107
349×	add-exp-log_binary64_116
346×	add-sqr-sqrt_binary64_2487
344×	pow-to-exp_binary64_3216
333×	add-cube-cbrt_binary64_454
328×	add-cube-cbrt_binary64_113
323×	add-cbrt-cube_binary64_114
310×	flip--_binary64_735 flip3--_binary64_764
304×	add-sqr-sqrt_binary64_1805
282×	*-un-lft-identity_binary64_1442
280×	sqrt-prod_binary64_435
276×	times-frac_binary64_2471
274×	associate-*l/_binary64_703 add-cube-cbrt_binary64_1136
268×	frac-times_binary64_770
264×	add-cube-cbrt_binary64_1818
259×	add-sqr-sqrt_binary64_1464
233×	pow1_binary64 add-exp-log_binary64_2162
226×	sqrt-div_binary64_777
218×	sqrt-prod_binary64_1117
212×	add-exp-log_binary64
205×	add-exp-log_binary64_1139
203×	add-cbrt-cube_binary64
200×	frac-add_binary64_768
198×	add-sqr-sqrt_binary64_2828
194×	add-cube-cbrt_binary64_2500
191×	add-cube-cbrt_binary64_1477
186×	*-un-lft-identity_binary64_2806 add-cbrt-cube_binary64_2160 add-exp-log_binary64_1480
181×	add-cbrt-cube_binary64_1478 *-un-lft-identity_binary64_760
180×	*-un-lft-identity_binary64_3147
171×	add-cbrt-cube_binary64_1137
168×	add-exp-log_binary64_1821
166×	add-cbrt-cube_binary64_1819
159×	add-sqr-sqrt_binary64_3169
158×	add-sqr-sqrt_binary64_782
149×	times-frac_binary64_2812
148×	cbrt-prod_binary64_2155
147×	sqrt-prod_binary64_1799
146×	times-frac_binary64_1448
141×	add-exp-log_binary64_457
140×	associate-*r*_binary64
138×	add-cube-cbrt_binary64_2841
135×	add-cbrt-cube_binary64_455
132×	cbrt-prod_binary64_1473
118×	1-exp_binary64_3191 rec-exp_binary64_3197
117×	associate-/r*_binary64 pow1_binary64_1503
116×	associate-*l*_binary64
115×	associate-/r*_binary64_2068
113×	pow1_binary64_139
112×	div-exp_binary64_129 distribute-lft-out_binary64_1734
111×	associate-*r/_binary64_702 add-log-exp_binary64_117
106×	pow1_binary64_821
105×	log-prod_binary64_1187
104×	add-log-exp_binary64_458
103×	add-cube-cbrt_binary64_795
98×	sqrt-prod_binary64
97×	difference-of-squares_binary64
95×	associate-/r*_binary64_22
94×	cbrt-undiv_binary64_112
93×	log-prod_binary64_3233 distribute-lft-out_binary64_370 pow1_binary64_1844
90×	distribute-lft-out_binary64
88×	cancel-sign-sub-inv_binary64_1408
86×	prod-exp_binary64_127 log-pow_binary64_1531
85×	cancel-sign-sub-inv_binary64_2431 add-log-exp_binary64_1481
84×	cbrt-unprod_binary64_111
83×	add-log-exp_binary64
82×	add-exp-log_binary64_798
81×	difference-of-squares_binary64_2434
79×	distribute-lft-out_binary64_1052
78×	sqrt-pow1_binary64_1460 div-exp_binary64_2175
77×	times-frac_binary64_3153
76×	cbrt-prod_binary64_1814
73×	cos-mult_binary64_914 pow1_binary64_480
72×	associate-/l*_binary64_23
70×	pow1_binary64_2185 add-cube-cbrt_binary64_3182 add-cbrt-cube_binary64_796 add-exp-log_binary64_2503
68×	unpow-prod-down_binary64_1180
67×	associate-/r/_binary64_24 pow1_binary64_1162
66×	distribute-lft-out_binary64_29
65×	add-cbrt-cube_binary64_2501 associate-*r*_binary64_2064
64×	add-log-exp_binary64_1140 associate-/r*_binary64_2409
62×	difference-of-squares_binary64_1070 cancel-sign-sub-inv_binary64 add-log-exp_binary64_2163
61×	associate-*r*_binary64_1723
60×	cbrt-undiv_binary64_2158 add-log-exp_binary64_2504 times-frac_binary64_766
59×	add-log-exp_binary64_799 add-log-exp_binary64_2845 associate-/l*_binary64_364
58×	add-exp-log_binary64_2844
57×	cube-prod_binary64_1470 unpow-prod-down_binary64_1521
56×	unpow-prod-down_binary64_2885 associate-*r*_binary64_18
55×	div-exp_binary64_1152 add-log-exp_binary64_1822
52×	associate-*l*_binary64_1042 associate-/l*_binary64_1046 distribute-lft-out--_binary64_2417
51×	cancel-sign-sub-inv_binary64_2772 associate-*r*_binary64_359
50×	cbrt-unprod_binary64_1475 pow1_binary64_3208 prod-exp_binary64_1491
49×	associate-/r*_binary64_1045 div-inv_binary64_75
48×	cbrt-undiv_binary64_1135 prod-exp_binary64_1150 cbrt-unprod_binary64_1816 associate--l+_binary64_3084 distribute-lft-out_binary64_2416 div-inv_binary64_2121 prod-exp_binary64_1832
47×	associate-/l*_binary64 prod-exp_binary64_2173 difference-of-squares_binary64_3116 div-inv_binary64 associate-*l*_binary64_1724
46×	pow-prod-down_binary64 prod-exp_binary64 distribute-lft-out--_binary64 associate-*r*_binary64_1041 cbrt-unprod_binary64
45×	unpow-prod-down_binary64
44×	associate-/l*_binary64_1728 div-exp_binary64 tan-quot_binary64
42×	flip3-+_binary64_422 cbrt-undiv_binary64 div-inv_binary64_1098 flip-+_binary64_393 pow1_binary64_2867
41×	associate-*r*_binary64_1382 flip-+_binary64_52 cbrt-unprod_binary64_2157 pow1_binary64_2526 flip3-+_binary64_81
40×	add-cbrt-cube_binary64_2842 cube-prod_binary64_2834 associate-/l*_binary64_2069
39×	sqrt-prod_binary64_776 div-exp_binary64_1493 pow-prod-up_binary64
38×	cbrt-undiv_binary64_1476 cbrt-unprod_binary64_1134 associate-/r*_binary64_363 distribute-lft-out--_binary64_1394 associate-/l*_binary64_2410
36×	log-prod_binary64_2210 unpow-prod-down_binary64_3226 flip3--_binary64 log-prod_binary64_1528 add-cbrt-cube_binary64_3183 flip--_binary64 associate-/r/_binary64_365
35×	sqrt-prod_binary64_2822 associate-*r/_binary64 associate-*l/_binary64
34×	flip--_binary64_2440 flip3--_binary64_2469 associate-/r/_binary64_2411
33×	cbrt-undiv_binary64_1817 associate-/r*_binary64_1727 cancel-sign-sub-inv_binary64_385 div-exp_binary64_1834 frac-times_binary64
32×	associate-/r/_binary64 associate-*l*_binary64_360
31×	sqrt-div_binary64_436 distribute-lft-out--_binary64_3099 associate-/r*_binary64_2750 distribute-lft-out--_binary64_1735
30×	associate-*l*_binary64_19 swap-sqr_binary64_1750 div-inv_binary64_1780 unswap-sqr_binary64 difference-of-squares_binary64_2093
29×	associate-*l*_binary64_2065 associate-*r*_binary64_700
28×	difference-of-squares_binary64_388 difference-of-squares_binary64_2775 prod-exp_binary64_468 div-exp_binary64_470 cbrt-undiv_binary64_453 distribute-lft-out_binary64_1393 log-pow_binary64_1190
27×	sqrt-prod_binary64_94 pow-prod-down_binary64_1854 sqrt-prod_binary64_1458
26×	cancel-sign-sub-inv_binary64_3113 associate--r+_binary64_3083
25×	distribute-lft-out--_binary64_712 pow-sqr_binary64
24×	associate-/l/_binary64 flip--_binary64_53 cbrt-div_binary64_1815 cbrt-unprod_binary64_452 unpow-prod-down_binary64_2544 log-pow_binary64_3236 difference-of-squares_binary64_1411 flip3--_binary64_82 cancel-sign-sub-inv_binary64_44
23×	distribute-lft-out_binary64_711 cancel-sign-sub-inv_binary64_2090 associate-*l*_binary64_1383 distribute-lft-out--_binary64_1053 pow-prod-down_binary64_149 unpow-prod-down_binary64_839
22×	associate-/r/_binary64_1047 distribute-lft-in_binary64_3096 sqr-pow_binary64_2778 distribute-rgt-in_binary64_3097 *-commutative_binary64 log-div_binary64_3234
21×	flip3--_binary64_2810 div-inv_binary64_416 associate-*l*_binary64_701 pow-plus_binary64 flip--_binary64_2781 log-prod_binary64_2892 pow-prod-down_binary64_831
19×	exp-prod_binary64_1153 unswap-sqr_binary64_1069 log-prod_binary64_846
18×	flip3-+_binary64 distribute-lft-out_binary64_3098 div-inv_binary64_1439 associate-/r/_binary64_1388 prod-exp_binary64_809 sqrt-div_binary64_1118 div-exp_binary64_2516 flip3-+_binary64_1786 flip-+_binary64_1757 associate-/l*_binary64_1387 flip3-+_binary64_1104 pow-unpow_binary64 distribute-rgt-out_binary64_1395 sqrt-div_binary64_2823 flip-+_binary64_1075 pow1/2_binary64_1522 difference-of-squares_binary64_47 associate-/r*_binary64_704 flip-+_binary64
17×	cancel-sign-sub-inv_binary64_726 flip3-+_binary64_763 frac-2neg_binary64_89 clear-num_binary64_77 sum-log_binary64_510 flip-+_binary64_734 cbrt-prod_binary64_1132 sqr-pow_binary64
16×	associate-/r*_binary64_1386 flip3--_binary64_423 clear-num_binary64 flip--_binary64_394 *-commutative_binary64_1714 frac-2neg_binary64 div-inv_binary64_2462 +-commutative_binary64_349 sub-neg_binary64_71 pow2_binary64 flip3--_binary64_1105 flip--_binary64_1076
15×	cbrt-div_binary64_2838 sub-neg_binary64_412 associate-*l*_binary64_2747 unswap-sqr_binary64_2092 diff-log_binary64_170 unswap-sqr_binary64_387 difference-of-squares_binary64_729
14×	exp-prod_binary64_1494 frac-times_binary64_1793 div-sub_binary64_1788 frac-add_binary64_1791 div-sub_binary64_1447 log-pow_binary64_849 diff-log_binary64_1534 associate-/r/_binary64_2070 cbrt-undiv_binary64_2499 exp-to-pow_binary64_1504 distribute-lft-out_binary64_2757 cbrt-unprod_binary64_793 unswap-sqr_binary64_1751 associate-*r*_binary64_2405 log-div_binary64_2211
13×	distribute-rgt-in_binary64_369 flip-+_binary64_1416 unpow2_binary64 sin-cos-mult_binary64_1939 pow-prod-down_binary64_1513 sqrt-prod_binary64_2140 associate-/l*_binary64_705 clear-num_binary64_2123 distribute-lft-in_binary64_368 sin-diff_binary64_1578 associate-*r*_binary64_3087 add-log-exp_binary64_3186 frac-2neg_binary64_2135 cancel-sign-sub-inv_binary64_1749
12×	unswap-sqr_binary64_728 *-commutative_binary64_9 flip3-+_binary64_1445 distribute-lft-out--_binary64_2076 unpow3_binary64_2872 associate-/l/_binary64_25 clear-num_binary64_1100 frac-2neg_binary64_1112 frac-2neg_binary64_2476 associate-*l*_binary64_2406 div-inv_binary64_3144 sin-sum_binary64_552 flip--_binary64_1417 flip--_binary64_3122 flip3-+_binary64_2468 cube-prod_binary64_2493 associate-+r+_binary64_351 sqrt-div_binary64_95 cube-mult_binary64_2836 associate-*r/_binary64_2066 cosh-undef_binary64_613 unpow2_binary64_2189 flip3--_binary64_3151 frac-times_binary64_2475 cube-prod_binary64 sqr-pow_binary64_1073 clear-num_binary64_2464 flip-+_binary64_2439
11×	flip3--_binary64_1446 associate-*r/_binary64_1725 sub-neg_binary64_2458 cosh-undef_binary64_954 sqrt-pow1_binary64_1119 pow1/2_binary64_1181 diff-log_binary64_2898 sqrt-div_binary64
10×	distribute-rgt-out_binary64_1054 flip3--_binary64_2128 frac-2neg_binary64_1794 sub-neg_binary64 distribute-lft-out_binary64_2075 diff-log_binary64_2557 swap-sqr_binary64 associate-*r*_binary64_2746 flip-+_binary64_2780 log-pow_binary64_2213 cos-diff_binary64_1920 associate-/l/_binary64_1048 flip--_binary64_2099 flip3-+_binary64_2809 associate--r+_binary64_1378 clear-num_binary64_1782 unswap-sqr_binary64_46 distribute-lft-out--_binary64_2758 associate--r-_binary64_3086 associate-*r/_binary64_2407
9×	clear-num_binary64_418 pow1/2_binary64_2886 unpow3_binary64_2531 pow1/2_binary64_840 difference-of-sqr-1_binary64_2435 sub-neg_binary64_1435 unpow-prod-down_binary64_2203 log-div_binary64_2893 frac-2neg_binary64_430 difference-of-sqr-1_binary64_389 sqrt-pow1_binary64_2824 associate-/r*_binary64_3091 sum-log_binary64 *-commutative_binary64_1373 rem-sqrt-square_binary64_2819 *-commutative_binary64_350 diff-log_binary64_2216 diff-log_binary64_852 div-exp_binary64_2857 sub-neg_binary64_2117 cos-mult_binary64_232 sqr-pow_binary64_732 cos-sum_binary64_1917 associate-/l*_binary64_2751 sqrt-pow1_binary64_778 distribute-lft-out--_binary64_30 diff-log_binary64_511
8×	+-commutative_binary64_8 cube-prod_binary64_1129 pow-prod-down_binary64_2195 unpow-prod-down_binary64_498 sqr-pow_binary64_2437 diff-log_binary64 cbrt-unprod_binary64_3180 flip-+_binary64_3121 associate-/r/_binary64_3093 flip-+_binary64_2098 swap-sqr_binary64_2432 flip3-+_binary64_2127 acos-asin_binary64_1964 flip3-+_binary64_3150 pow-exp_binary64_1169 cos-sum_binary64_553 pow1/3_binary64_2206 sub-neg_binary64_2799 distribute-rgt-in_binary64 pow1/3_binary64_1524 sinh-undef_binary64_953 rem-sqrt-square_binary64_1114 frac-sub_binary64_2815 rem-log-exp_binary64_1142 1-exp_binary64_2168 div-exp_binary64_811 distribute-lft-in_binary64 sum-log_binary64_169 rec-exp_binary64_2174
7×	pow-prod-down_binary64_490 sum-log_binary64_851 pow-to-exp_binary64 log-div_binary64_1188 cbrt-div_binary64_1474 log-pow_binary64_2554 clear-num_binary64_1441 pow-exp_binary64 sub-neg_binary64_3140 associate-*l/_binary64_1726 frac-2neg_binary64_1453 sqr-pow_binary64_2096 distribute-rgt-in_binary64_2415 sqr-pow_binary64_1414 distribute-lft-out--_binary64_371 distribute-lft-in_binary64_2414 sin-mult_binary64_233 associate-*r/_binary64_20 cube-mult_binary64_1472 unpow3_binary64_1508 associate-/l*_binary64_3092 log-prod_binary64_2551 unswap-sqr_binary64_2774 unswap-sqr_binary64_1410 rem-sqrt-square_binary64_432
6×	cbrt-undiv_binary64_794 +-commutative_binary64_1031 exp-sum_binary64_806 difference-of-squares_binary64_1752 cbrt-undiv_binary64_3181 rec-exp_binary64_128 rem-log-exp_binary64_2165 exp-prod_binary64_812 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 sum-log_binary64_2556 1-exp_binary64_122 associate-/l/_binary64_2412 *-commutative_binary64_2055 exp-prod_binary64_2517 sum-log_binary64_1192 pow-unpow_binary64_3224 prod-exp_binary64_2855 sin-mult_binary64_1597 frac-times_binary64_429 rem-sqrt-square_binary64_773 associate-*l/_binary64_2408 frac-times_binary64_2816 log-div_binary64_847 distribute-rgt-out--_binary64_2078 pow1/3_binary64_1865 cancel-sign-sub-inv_binary64_1067 pow-to-exp_binary64_1170 associate-*r/_binary64_2748 sqrt-pow1_binary64_437 pow-flip_binary64_1175 associate--l-_binary64_3085 pow-pow_binary64 pow1/2_binary64_158 pow1/2_binary64_499 distribute-rgt-out--_binary64 pow-unpow_binary64_1178 pow-pow_binary64_3219 cos-diff_binary64_556
5×	associate-/l/_binary64_1730 pow-exp_binary64_2874 *-commutative_binary64_1032 +-commutative_binary64_1713 +-commutative_binary64_2395 frac-sub_binary64_1451 cbrt-unprod_binary64_2498 pow-to-exp_binary64_2875 sum-log_binary64_1874 associate-*r/_binary64_361 sum-log_binary64_2897 pow-prod-up_binary64_830 sub-neg_binary64_1776 pow-sqr_binary64_733 sub-neg_binary64_753 prod-exp_binary64_2514 *-commutative_binary64_691 frac-sub_binary64_2474
4×	associate-*l/_binary64_362 associate-*r/_binary64_1384 distribute-rgt-in_binary64_1733 cube-prod_binary64_447 associate--l+_binary64_1379 pow-to-exp_binary64_829 associate-/l/_binary64_1389 distribute-lft-in_binary64_1732 div-inv_binary64_2803 pow-pow_binary64_2196 sub-neg_binary64_1094 exp-sum_binary64_2511 pow-exp_binary64_828 rem-log-exp_binary64_1483 associate-*l*_binary64_3088 frac-add_binary64 acos-asin_binary64_259 cube-prod_binary64_788 pow-prod-down_binary64_3218 difference-of-sqr-1_binary64 frac-sub_binary64 associate-+r-_binary64_1717 sqr-pow_binary64_391 unpow3_binary64 distribute-rgt-out_binary64_2418 associate-/l/_binary64_366 cube-mult_binary64 associate-+l+_binary64 frac-2neg_binary64_771 swap-sqr_binary64_727 cube-mult_binary64_2495 sin-mult_binary64_1938 +-commutative_binary64_690 pow-flip_binary64_3221 sqrt-div_binary64_2141 diff-log_binary64_1193 cos-sum_binary64_212 associate--r+_binary64_696 associate--l+_binary64_2061 pow-flip_binary64_2198 frac-add_binary64_1109 rem-sqrt-square_binary64 associate-/r/_binary64_706 clear-num_binary64_759 sin-sum_binary64_1916 associate--l+_binary64_697 associate-*r/_binary64_3089 inv-pow_binary64_3232 rem-cbrt-cube_binary64_1466 div-inv_binary64_757 frac-times_binary64_88
3×	associate--r+_binary64_2401 flip3--_binary64_1787 associate-*l/_binary64_21 log-prod_binary64_164 pow1/3_binary64_2888 clear-num_binary64_3146 *-commutative_binary64_2396 associate-/l/_binary64_707 log-pow_binary64_1872 rem-log-exp_binary64_3188 pow-plus_binary64_823 pow-unpow_binary64_1519 cos-diff_binary64_215 cbrt-undiv_binary64_2840 cbrt-prod_binary64_450 associate-*r/_binary64_1043 associate-+r+_binary64_1033 pow-unpow_binary64_837 rem-log-exp_binary64_2847 unswap-sqr_binary64_2433 1-exp_binary64_1145 rec-exp_binary64_1151 log-prod_binary64_1869 distribute-frac-neg_binary64_1746 div-sub_binary64_2470 frac-times_binary64_1111 cube-prod_binary64_2152 pow-unpow_binary64_2201 exp-prod_binary64_2176 cbrt-prod_binary64_2837 clear-num_binary64_2805 log-pow_binary64_167 pow-prod-down_binary64_2536 acos-neg_binary64_1966 div-sub_binary64_83 frac-2neg_binary64_3158 distribute-rgt1-in_binary64_1057 +-commutative_binary64 diff-log_binary64_3239 flip--_binary64_1758 associate-/l/_binary64_2071 log-pow_binary64_2895 associate-*l/_binary64_2749 inv-pow_binary64_2209 frac-2neg_binary64_2817 difference-of-sqr-1_binary64_1412
2×	pow-to-exp_binary64_2534 associate-/r/_binary64_1729 pow1/2_binary64_2204 rem-cube-cbrt_binary64_1465 diff-log_binary64_1875 inv-pow_binary64_1186 distribute-lft1-in_binary64_1397 pow2_binary64_841 pow-exp_binary64_2533 cbrt-div_binary64_451 sum-log_binary64_1533 inv-pow_binary64_163 *-commutative_binary64_2737 pow-pow_binary64_1173 pow1/2_binary64 frac-add_binary64_86 distribute-rgt1-in_binary64_1398 exp-diff_binary64_808 sqrt-pow1_binary64_2142 distribute-rgt-in_binary64_28 unpow2_binary64_1166 cube-div_binary64_1471 difference-of-sqr-1_binary64_730 distribute-lft-in_binary64_27 pow-sqr_binary64_1756 cube-mult_binary64_1131 sqrt-pow1_binary64 associate--l-_binary64_1380 cbrt-unprod_binary64_2839 pow-to-exp_binary64_488 *-commutative_binary64_3078 unpow3_binary64_1167 cos-mult_binary64_1937 asin-acos_binary64_1622 frac-add_binary64_2814 pow-exp_binary64_1510 rem-log-exp_binary64_801 associate--l+_binary64_2743 associate--l-_binary64_2062 sub-div_binary64 pow-exp_binary64_487 pow-flip_binary64_152 +-commutative_binary64_2736 sqr-pow_binary64_3119 pow-prod-up_binary64_1853
1×	tanh-undef_binary64_955 inv-pow_binary64_1527 pow1/3_binary64_501 log-div_binary64_2552 associate--l+_binary64_356 unpow2_binary64_825 associate--r-_binary64_2404 neg-log_binary64_2558 sqrt-unprod_binary64_780 distribute-rgt1-in_binary64 associate-+l-_binary64 associate--r+_binary64 unswap-sqr_binary64_3115 count-2_binary64_1390 associate--r-_binary64_699 associate--r+_binary64_2742 unpow3_binary64_826 div-sub_binary64_765 sin-diff_binary64_555 1-exp_binary64_1486 cube-mult_binary64_449 pow-plus_binary64_1846 distribute-lft-in_binary64_1050 pow-exp_binary64_2192 sin-mult_binary64_574 rem-exp-log_binary64_800 pow-plus_binary64_2528 cube-mult_binary64_2154 pow-prod-up_binary64_2535 exp-to-pow_binary64_1845 rem-cube-cbrt_binary64_2147 tanh-def-c_binary64_949 pow-flip_binary64_1516 distribute-rgt1-in_binary64_2421 sinh-def_binary64_945 associate-+r-_binary64_694 distribute-rgt-out_binary64 associate-+r+_binary64 rem-log-exp_binary64_1824 sin-diff_binary64_1919 associate-*l/_binary64_2067 rem-log-exp_binary64_119 sqrt-undiv_binary64_1122 div-sub_binary64 +-commutative_binary64_2054 cube-mult_binary64_790 unpow3_binary64_2190 cbrt-div_binary64_2156 pow1/3_binary64_1183 pow2_binary64_2546 exp-prod_binary64_130 sqr-cos-a_binary64_909 associate-*l/_binary64_1044 pow-to-exp_binary64_2193 tanh-def-a_binary64_947 pow-prod-down_binary64_1172 un-div-inv_binary64_2122 tanh-def-b_binary64_948 unpow3_binary64_485 distribute-rgt-in_binary64_1051 sum-log_binary64_2215 associate--l-_binary64_2403 exp-prod_binary64_1835 frac-times_binary64_2134 div-sub_binary64_2129 pow-sqr_binary64_2438 frac-add_binary64_2473 rem-log-exp_binary64_2506 exp-to-pow_binary64_1163 rec-exp_binary64_1492 pow2_binary64_1864 exp-to-pow_binary64_140 pow-to-exp_binary64_1511 exp-diff_binary64_2513 pow-pow_binary64_832 div-sub_binary64_1106 neg-sub0_binary64_2460 pow-pow_binary64_1514 div-sub_binary64_424

Calls

457 calls:

98.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
94.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))
88.0ms	(*.f64 (/.f64 1 (sqrt.f64 x)) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x))))
73.0ms	(-.f64 (/.f64 1/8 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1/16 (pow.f64 x 5))))
59.0ms	(-.f64 (/.f64 -1 (*.f64 x x)) (+.f64 (/.f64 3 x) (/.f64 3 (pow.f64 x 3))))