rewrite6.3s (1.9%)

Algorithm

144×	rewrite-expression-head

Rules

1296×	add-exp-log_binary64_2471
900×	associate-*l/_binary64_1370
817×	*-un-lft-identity_binary64
745×	add-sqr-sqrt_binary64
705×	pow-exp_binary64_2501
697×	times-frac_binary64
695×	prod-exp_binary64_2482
685×	flip3--_binary64_1429 flip--_binary64_1400
660×	*-un-lft-identity_binary64_1762
629×	times-frac_binary64_2779
609×	div-exp_binary64_2484
508×	*-un-lft-identity_binary64_2436
469×	*-un-lft-identity_binary64_2099
468×	add-sqr-sqrt_binary64_2457
463×	*-un-lft-identity_binary64_1088
458×	*-un-lft-identity_binary64_751
454×	times-frac_binary64_2442
452×	frac-add_binary64_1433
450×	add-cube-cbrt_binary64 frac-times_binary64_1435
446×	add-sqr-sqrt_binary64_1783
444×	times-frac_binary64_1768
424×	add-sqr-sqrt_binary64_772
397×	add-sqr-sqrt_binary64_1109
381×	add-sqr-sqrt_binary64_2120
365×	add-cube-cbrt_binary64_2468
361×	times-frac_binary64_757
355×	pow-to-exp_binary64_2502
344×	*-un-lft-identity_binary64_414
336×	add-sqr-sqrt_binary64_2794
322×	add-cube-cbrt_binary64_2805 *-un-lft-identity_binary64_2773
312×	times-frac_binary64_2105
297×	*-un-lft-identity_binary64_77
293×	times-frac_binary64_1094
275×	add-cube-cbrt_binary64_2131
268×	add-cbrt-cube_binary64_110 add-exp-log_binary64_112
259×	add-sqr-sqrt_binary64_98 add-sqr-sqrt_binary64_435
252×	add-cube-cbrt_binary64_1794
243×	add-sqr-sqrt_binary64_1446
240×	log-prod_binary64_1171
233×	add-cube-cbrt_binary64_783 associate-*r/_binary64_1369
231×	add-cube-cbrt_binary64_1120
228×	cbrt-prod_binary64_1116
217×	add-exp-log_binary64
212×	times-frac_binary64_420 add-cbrt-cube_binary64
210×	add-cube-cbrt_binary64_446 sqrt-div_binary64_1441
208×	add-exp-log_binary64_786
204×	*-un-lft-identity_binary64_1425
203×	log-div_binary64_1509
198×	add-cbrt-cube_binary64_784
194×	sqrt-prod_binary64_766
187×	add-cube-cbrt_binary64_109
181×	add-exp-log_binary64_1797
173×	cbrt-prod_binary64_2127
168×	add-cube-cbrt_binary64_1457
167×	times-frac_binary64_83
164×	add-exp-log_binary64_1123
161×	add-cbrt-cube_binary64_1795
158×	add-exp-log_binary64_449
155×	sqrt-prod_binary64_2451
154×	add-sqr-sqrt_binary64_3131
153×	pow1_binary64_2157
152×	add-exp-log_binary64_1460
150×	*-un-lft-identity_binary64_3110
149×	difference-of-squares_binary64
147×	add-cbrt-cube_binary64_447
144×	add-cbrt-cube_binary64_1458
142×	add-exp-log_binary64_2134
136×	unpow-prod-down_binary64_1838 add-cbrt-cube_binary64_2132 cube-prod_binary64_1787
133×	cbrt-div_binary64_1454
132×	pow1_binary64 sqrt-prod_binary64_2114
129×	associate-/r*_binary64
124×	unpow-prod-down_binary64_2512
123×	add-cbrt-cube_binary64_1121
122×	difference-of-squares_binary64_720
119×	pow1_binary64_135
116×	rec-exp_binary64_2483 1-exp_binary64_2477
110×	add-log-exp_binary64_113 pow1_binary64_1483
106×	associate-*l*_binary64
105×	associate-*r*_binary64
103×	add-log-exp_binary64
97×	distribute-lft-out_binary64_1715
94×	distribute-lft-out_binary64_704 cbrt-prod_binary64_1790
93×	times-frac_binary64_1431
91×	add-cbrt-cube_binary64_2469
88×	add-log-exp_binary64_450
86×	distribute-lft-out--_binary64_1716 difference-of-squares_binary64_1057
83×	add-log-exp_binary64_2472
82×	distribute-lft-out_binary64 pow1_binary64_2494
80×	pow1_binary64_472 add-log-exp_binary64_1461
78×	unpow-prod-down_binary64_490
77×	times-frac_binary64_3116
76×	unpow-prod-down_binary64_827
75×	cbrt-prod_binary64_2464
74×	difference-of-squares_binary64_1731
73×	cbrt-unprod_binary64_107 prod-exp_binary64_123 log-prod_binary64_2519
72×	unpow-prod-down_binary64_1164 distribute-lft-out_binary64_2052 associate-*r*_binary64_2041
71×	exp-diff_binary64_1470
70×	sqrt-prod_binary64_1103
69×	associate-/l*_binary64_24
68×	associate-*l*_binary64_2042 pow1_binary64_1146 associate-*r*_binary64_1704
67×	distribute-lft-out--_binary64
66×	add-log-exp_binary64_2135 pow-sub_binary64_1498 add-cube-cbrt_binary64_3142 associate-/r*_binary64_1708
65×	flip3--_binary64 cbrt-undiv_binary64_108 div-exp_binary64_125 flip--_binary64
64×	associate-/r*_binary64_2719 add-log-exp_binary64_1798 prod-exp_binary64_797
63×	pow1_binary64_1820
62×	pow1_binary64_809
61×	add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806 distribute-lft-out_binary64_367
60×	cbrt-unprod_binary64_781
59×	log-prod_binary64_834
58×	distribute-lft-out_binary64_1041 add-log-exp_binary64_787 associate-/l*_binary64
56×	sqr-pow_binary64_723 associate-*r*_binary64_2715 swap-sqr_binary64_2066
55×	div-exp_binary64_799
54×	cbrt-undiv_binary64_782
51×	div-inv_binary64_748 associate-*r*_binary64_693 associate-/l*_binary64_698
50×	cube-prod_binary64_439 associate-*r*_binary64_356 associate-/r/_binary64_2047 associate-/r*_binary64_2382 difference-of-squares_binary64_3079
48×	div-exp_binary64_1810 cbrt-prod_binary64_442
47×	associate-/r/_binary64_362 add-log-exp_binary64_1124 associate-*r*_binary64_19
45×	div-exp_binary64
44×	prod-exp_binary64 pow-prod-down_binary64_2167 cbrt-unprod_binary64 distribute-lft-out_binary64_30
43×	cbrt-undiv_binary64 associate-/r*_binary64_697 frac-times_binary64 associate-/l*_binary64_361
42×	unpow-prod-down_binary64_1501 distribute-lft-out--_binary64_1042 prod-exp_binary64_2145 associate-+r+_binary64_1022
41×	associate-/r*_binary64_23 flip3-+_binary64_417 associate-/l*_binary64_2383 cbrt-undiv_binary64_1793 cbrt-unprod_binary64_1792 flip-+_binary64_388 prod-exp_binary64_1808
40×	associate-*l*_binary64_20 cube-prod_binary64_2461 distribute-lft-out_binary64_2389 log-prod_binary64_1508 associate-/l*_binary64_1709 cbrt-unprod_binary64_2129 associate-/r*_binary64_360
39×	div-exp_binary64_1136 sqrt-prod_binary64_92 difference-of-squares_binary64_1394 cube-prod_binary64_1450
38×	associate-/r/_binary64 prod-exp_binary64_1134
37×	sqrt-prod_binary64_1440 difference-of-squares_binary64_2405
36×	associate-*r/_binary64 sqr-pow_binary64_1397 div-inv_binary64
35×	associate-/l*_binary64_1372 associate-/r*_binary64_2045
34×	div-inv_binary64_2770 associate-*l/_binary64
33×	flip3-+_binary64 log-pow_binary64_1511 div-inv_binary64_1759 div-exp_binary64_462 flip-+_binary64
32×	prod-exp_binary64_460 associate-/r/_binary64_25 flip-+_binary64_2073
31×	distribute-lft-out--_binary64_2390 flip3-+_binary64_2102 cbrt-undiv_binary64_445
30×	associate-*r*_binary64_1030 cbrt-unprod_binary64_1118 cbrt-div_binary64_2128 associate-/l*_binary64_2046 log-pow_binary64_1174
29×	sqr-pow_binary64_2408
28×	cbrt-prod_binary64_1453 associate-*r*_binary64_1367 cbrt-undiv_binary64_1119 pow-prod-down_binary64_145 cbrt-unprod_binary64_444 add-log-exp_binary64_3146
27×	pow-prod-down_binary64 flip--_binary64_52 distribute-lft-out--_binary64_3064 div-inv_binary64_2096 associate-*l*_binary64_2379 flip3--_binary64_81
26×	add-exp-log_binary64_3145 associate-*r*_binary64_2378 associate-*l*_binary64_1031 cosh-undef_binary64_942 associate-+r+_binary64_685 add-cbrt-cube_binary64_3143
25×	associate-/l/_binary64 prod-exp_binary64_1471 flip-+_binary64_51 unswap-sqr_binary64_2067 distribute-lft-out--_binary64_2053 flip3-+_binary64_80
24×	difference-of-squares_binary64_2068 cbrt-undiv_binary64_2804 unpow-prod-down_binary64 pow1_binary64_3168 cbrt-unprod_binary64_1455 div-exp_binary64_2821 exp-prod_binary64_1474 unswap-sqr_binary64 div-exp_binary64_1473 associate-/r*_binary64_3056 cbrt-undiv_binary64_1456 cbrt-div_binary64_2465
23×	pow1/3_binary64_2178 sqrt-pow1_binary64_1442 *-commutative_binary64 associate-*l*_binary64_1705
22×	unpow2_binary64_813 pow-unpow_binary64_1499 associate-/r*_binary64_1034 difference-of-squares_binary64_46 cbrt-prod_binary64_779 sqr-pow_binary64_1734 div-inv_binary64_74
21×	flip-+_binary64_2410 flip3-+_binary64_2439 associate-/l*_binary64_2720 unpow3_binary64_1825 pow-unpow_binary64_2510 associate-*l*_binary64_1368 flip--_binary64_2411 associate-*r/_binary64_358 flip3--_binary64_2440
20×	flip3-+_binary64_1428 associate-*l*_binary64_357 sqrt-div_binary64_2115 log-div_binary64_2520 flip-+_binary64_1399 cosh-undef_binary64_605 distribute-rgt-out_binary64_706 associate-/l*_binary64_1035 cube-prod_binary64_776
19×	clear-num_binary64 div-inv_binary64_2433 frac-2neg_binary64
18×	distribute-lft-out--_binary64_705 cbrt-prod_binary64_105 exp-prod_binary64_1137 sqrt-prod_binary64_1777 pow-pow_binary64_2505 div-inv_binary64_411 cube-prod_binary64 div-sub_binary64_1430
17×	associate-*r/_binary64_1706
16×	flip3--_binary64_418 pow1/2_binary64_2176 sub-neg_binary64 associate-/r/_binary64_1710 sqrt-div_binary64_93 div-inv_binary64_1085 cube-prod_binary64_1113 associate-/r*_binary64_1371 associate-/r/_binary64_1373 cbrt-div_binary64_1117 sqrt-pow1_binary64_2116 flip--_binary64_389
15×	cos-mult_binary64_565 clear-num_binary64_1761 flip3--_binary64_1092 pow-unpow_binary64_488 frac-2neg_binary64_88 sin-diff_binary64_1558 sub-neg_binary64_70 sqrt-prod_binary64_429 frac-2neg_binary64_1773 frac-add_binary64_422 clear-num_binary64_76 flip--_binary64_1063
14×	flip-+_binary64_1736 flip3-+_binary64_1765 diff-log_binary64_166 unswap-sqr_binary64_1730 *-commutative_binary64_2032 div-exp_binary64_2147 flip--_binary64_3085 associate-*l/_binary64_2044 pow-exp_binary64_1490 frac-times_binary64_424 sqrt-div_binary64_1104 flip--_binary64_2074 flip3--_binary64_3114 tan-quot_binary64 sqr-pow_binary64_386
13×	cbrt-undiv_binary64_2467 difference-of-sqr-1_binary64_1732 pow1/3_binary64_2515 pow-prod-down_binary64_1830 associate-/l/_binary64_700 difference-of-sqr-1_binary64 sum-log_binary64 flip3--_binary64_2103 associate-/r/_binary64_1036
12×	pow-pow_binary64_1494 log-pow_binary64_2522 sin-cos-mult_binary64_2252 *-commutative_binary64_10 unpow-prod-down_binary64_153 unswap-sqr_binary64_1056 pow-unpow_binary64_1162 flip3--_binary64_755 pow-prod-down_binary64_1493 flip--_binary64_726 cube-mult_binary64_2463 unswap-sqr_binary64_2404 unpow3_binary64_2499 log-div_binary64_1172 associate-/l*_binary64_3057 cbrt-prod_binary64 cube-prod_binary64_102
11×	clear-num_binary64_413 cbrt-unprod_binary64_2803 unpow3_binary64_1488 cbrt-undiv_binary64_2130 associate-*l*_binary64_694 cube-mult_binary64_1452 pow1/2_binary64_1502 unswap-sqr_binary64_382 clear-num_binary64_750 distribute-lft-out--_binary64_31 flip-+_binary64_725 pow1_binary64_2831 frac-2neg_binary64_762 flip-+_binary64_1062 pow1/3_binary64_1841 flip3-+_binary64_754 frac-2neg_binary64_425 flip3-+_binary64_1091 prod-exp_binary64_2819 associate-/l/_binary64_26 rem-log-exp_binary64_1126 sum-log_binary64_502 cbrt-unprod_binary64_2466 sqrt-prod_binary64
10×	flip3--_binary64_1766 unswap-sqr_binary64_45 associate-/l/_binary64_1711 diff-log_binary64 sqr-pow_binary64_1060 difference-of-squares_binary64_383 swap-sqr_binary64_2403 associate-*r*_binary64_3052 sum-log_binary64_2524 frac-2neg_binary64_2110 sub-neg_binary64_407 cube-mult_binary64_1789 flip--_binary64_1737 pow-flip_binary64_2170 distribute-lft-out_binary64_1378 div-sub_binary64_2441 clear-num_binary64_2098 +-commutative_binary64_346 pow-exp_binary64_479
9×	+-commutative_binary64_9 log-div_binary64_835 swap-sqr_binary64 associate-*l*_binary64_3053 sum-log_binary64_165 pow-exp_binary64_1153 distribute-rgt-out_binary64_1717 pow-unpow_binary64 frac-times_binary64_2109 pow-prod-up_binary64_2166 div-inv_binary64_1422 diff-log_binary64_2525 rem-log-exp_binary64_2474 sqrt-div_binary64_1778
8×	sqrt-div_binary64_430 frac-sub_binary64_2445 unswap-sqr_binary64_719 distribute-lft-out--_binary64_1379 pow-prod-down_binary64_482 pow-to-exp_binary64_1491 pow-prod-down_binary64_1156 associate-/r/_binary64_3058 diff-log_binary64_503 pow3_binary64_1505 pow-exp_binary64_1827 exp-prod_binary64 difference-cubes_binary64_1427 frac-sub_binary64_1771 rem-sqrt-square_binary64_2112 pow-to-exp_binary64_480 clear-num_binary64_2435 rem-cube-cbrt_binary64_1447 frac-add_binary64_1770 frac-2neg_binary64_2447 swap-sqr_binary64_3077 sqrt-pow1_binary64_1105 sinh-undef_binary64_941 sin-mult_binary64_1577 sqrt-div_binary64_767 sqr-pow_binary64 pow1/2_binary64_1165 sub-neg_binary64_2429 associate-*r/_binary64_695
7×	sub-neg_binary64_3103 log-prod_binary64_160 frac-2neg_binary64_1099 sub-neg_binary64_2092 diff-log_binary64_1851 clear-num_binary64_1087 sqrt-pow1_binary64_94 +-commutative_binary64_2368 exp-sum_binary64_1468 *-commutative_binary64_347 associate-/l/_binary64_1374 add-log-exp_binary64_2809 associate-/l/_binary64_1037 pow-prod-down_binary64_819 pow-pow_binary64_820 log-pow_binary64_3196 sum-log_binary64_839 associate-*l/_binary64_359 unswap-sqr_binary64_1393 log-pow_binary64_837 *-commutative_binary64_1695 associate-*r/_binary64_2043 pow-sqr_binary64_2072 pow1/2_binary64_154
6×	exp-prod_binary64_3159 associate-+r+_binary64_348 distribute-rgt1-in_binary64_709 sub-neg_binary64_1418 rem-sqrt-square_binary64_90 associate-+l+_binary64_686 associate-/r/_binary64_2384 sqrt-div_binary64_2452 pow-unpow_binary64_1836 pow-prod-down_binary64_2504 unpow3_binary64 cube-mult_binary64 exp-prod_binary64_2485 rem-sqrt-square_binary64_1438 frac-2neg_binary64_1436 pow-pow_binary64_1157 cos-diff_binary64_2233 +-commutative_binary64_683 associate-*l*_binary64_2716 cube-div_binary64_1451 cos-diff_binary64_548 distribute-rgt-in_binary64 pow-to-exp_binary64_1154 sub-neg_binary64_1755 pow-to-exp_binary64_1828 swap-sqr_binary64_381 associate-/r/_binary64_2721 rem-log-exp_binary64_1463 frac-add_binary64_759 +-commutative_binary64 distribute-neg-in_binary64_714 clear-num_binary64_1424 associate--l+_binary64_2375 pow-pow_binary64_483 *-commutative_binary64_1358 distribute-lft-in_binary64 acos-asin_binary64_2614 pow-unpow_binary64_825
5×	pow1/3_binary64_1167 rem-sqrt-square_binary64_1101 *-commutative_binary64_2369 cube-mult_binary64_441 difference-of-sqr--1_binary64_1733 sum-log_binary64_1850 *-commutative_binary64_684 associate-/r/_binary64_699 associate-/l/_binary64_363 log-pow_binary64 diff-log_binary64_1514 diff-log_binary64_840 *-commutative_binary64_1021 distribute-lft-in_binary64_365 unpow3_binary64_477 frac-2neg_binary64_2784 distribute-rgt-in_binary64_366 sin-mult_binary64_229 sub-neg_binary64_744 clear-num_binary64_2772 rem-cube-cbrt_binary64_436 sin-mult_binary64_566 associate-*r/_binary64_1032 cube-div_binary64_440 unswap-sqr_binary64_2741
4×	distribute-lft-out_binary64_3063 frac-times_binary64_3120 pow-to-exp_binary64_817 distribute-lft-out--_binary64_368 cbrt-undiv_binary64_3141 pow-to-exp_binary64 log-prod_binary64_3193 sin-mult_binary64_2251 cube-div_binary64_103 clear-num_binary64_3109 cube-div_binary64_777 sum-cubes_binary64_415 cube-div_binary64_1788 log-prod_binary64 div-exp_binary64_3158 associate-+r-_binary64_2372 sqrt-pow1_binary64_431 frac-times_binary64_2446 frac-times_binary64_1098 flip-+_binary64_3084 frac-add_binary64 pow-exp_binary64 +-commutative_binary64_1694 associate-*r/_binary64_3054 associate-*r/_binary64_2380 flip3-+_binary64_3113 diff-log_binary64_2188 cube-div_binary64 +-commutative_binary64_1020 rem-cube-cbrt_binary64_1784 cos-mult_binary64_2250 diff-log_binary64_3199 unpow2_binary64_1150 exp-sum_binary64_120 distribute-rgt-neg-in_binary64_711 pow-exp_binary64_816 div-sub_binary64_82 pow1/2_binary64_491 cos-mult_binary64_1576 cube-div_binary64_2462 frac-2neg_binary64_3121 sum-log_binary64_1176 rem-sqrt-square_binary64_427 div-inv_binary64_3107
3×	cube-mult_binary64_778 +-commutative_binary64_3042 1-exp_binary64_1129 exp-prod_binary64_800 log-pow_binary64_2185 distribute-frac-neg_binary64_2401 log-prod_binary64_2182 cube-mult_binary64_1115 unpow-prod-up_binary64_1500 pow-unpow_binary64_151 div-sub_binary64_756 associate--r+_binary64_1700 sinh-def_binary64_933 rec-exp_binary64_2146 associate-+r-_binary64_687 sum-log_binary64_3198 pow-pow_binary64_146 pow2_binary64_2177 pow-plus_binary64_2159 unpow3_binary64_1151 div-sub_binary64 frac-times_binary64_1772 associate--l+_binary64_353 pow-plus_binary64 unpow3_binary64_814 sum-log_binary64_1513 pow1/3_binary64_1504 acos-asin_binary64_255 acos-neg_binary64_2616 cbrt-div_binary64_1791 associate-*r/_binary64_2717 1-exp_binary64_1803 pow-sqr_binary64 rec-exp_binary64_1809 swap-sqr_binary64_1392 +-commutative_binary64_1357 pow-pow_binary64 sqrt-pow1_binary64_768 pow1/2_binary64_2513 1-exp_binary64_2140 pow-prod-up_binary64 pow1/2_binary64_828 unpow2_binary64_2498 pow2_binary64 sqrt-pow1_binary64_2453 rec-exp_binary64_1135 pow-flip_binary64_822 associate-*l/_binary64_1707
2×	cosh-def_binary64_934 frac-times_binary64_761 rem-log-exp_binary64_789 prod-exp_binary64_3156 pow-prod-down_binary64_3178 cube-mult_binary64_104 cbrt-div_binary64_106 pow-prod-up_binary64_2503 associate-*l/_binary64_1033 rem-cube-cbrt_binary64_2458 exp-sum_binary64 cbrt-unprod_binary64_3140 difference-of-sqr-1_binary64_1058 inv-pow_binary64_2518 unpow2_binary64 associate-/l/_binary64_2722 distribute-rgt-in_binary64_2051 cos-sum_binary64_2230 inv-pow_binary64_2181 cos-diff_binary64_2570 sub-neg_binary64_1081 associate-*l/_binary64_2381 frac-add_binary64_2444 frac-sub_binary64 distribute-rgt1-in_binary64_1720 sum-log_binary64_2187 unpow3_binary64_140 rem-exp-log_binary64 associate-*l/_binary64_22 +-commutative_binary64_2031 *-commutative_binary64_3043 distribute-rgt-in_binary64_1714 diff-log_binary64_1177 cbrt-div_binary64 associate--l-_binary64_2376 unswap-sqr_binary64_3078 pow-pow_binary64_1831 distribute-lft-in_binary64_1713 *-commutative_binary64_2706 cbrt-div_binary64_780 pow-flip_binary64_2507 distribute-rgt-in_binary64_3062 difference-of-sqr-1_binary64_384 difference-of-sqr--1_binary64_385 pow-flip_binary64_1159 sqr-pow_binary64_49 associate-*l/_binary64_696 asin-acos_binary64_254 distribute-lft-in_binary64_3061 associate-*l/_binary64_3055 pow-sqr_binary64_2409 cos-sum_binary64_545 distribute-lft-in_binary64_2050 pow-prod-down_binary64_2841
1×	associate--r+_binary64_2374 sqrt-pow2_binary64_95 exp-diff_binary64_3155 cos-sum_binary64_2567 sin-sum_binary64_2229 rem-log-exp_binary64_115 pow-to-exp_binary64_143 1-exp_binary64_792 pow-exp_binary64_142 distribute-rgt1-in_binary64 rem-cbrt-cube_binary64_774 rem-cube-cbrt_binary64_99 pow-plus_binary64_474 associate-+l-_binary64 rem-square-sqrt_binary64_2111 pow-plus_binary64_1485 associate--r+_binary64 cos-sum_binary64_208 cbrt-div_binary64_443 pow-sqr_binary64_3083 tanh-def-b_binary64_936 rec-exp_binary64_798 pow2_binary64_2514 asin-acos_binary64_1602 sin-diff_binary64_547 div-sub_binary64_1767 rem-sqrt-square_binary64_2449 distribute-rgt-in_binary64_2388 exp-sum_binary64_3153 rem-cbrt-cube_binary64 rem-log-exp_binary64_3148 rem-cbrt-cube_binary64_2459 frac-sub_binary64_2108 rem-log-exp_binary64 associate-+r-_binary64_1024 pow1/3_binary64 tanh-def-a_binary64_935 exp-to-pow_binary64_2158 div-sub_binary64_419 rem-cbrt-cube_binary64_1448 pow-flip_binary64_1833 inv-pow_binary64_833 rem-cube-cbrt_binary64_773 pow-prod-up_binary64_1492 pow-plus_binary64_3170 pow-prod-up_binary64_481 rem-cbrt-cube_binary64_1111 sqrt-undiv_binary64_771 pow2_binary64_1503 associate-+l+_binary64 distribute-rgt-out_binary64 difference-cubes_binary64_1764 sqrt-pow2_binary64_769 associate-+r+_binary64 rem-cbrt-cube_binary64_437 div-sub_binary64_1093 neg-log_binary64_841 inv-pow_binary64_1170 pow1/3_binary64_830 pow2_binary64_3188 sqr-sin-a_binary64_1570 sqrt-unprod_binary64_2118 rem-cbrt-cube_binary64_100 pow-sqr_binary64_387 sqrt-unprod_binary64_1107 exp-prod_binary64_2148 rem-cube-cbrt_binary64 rem-cube-cbrt_binary64_1110 unpow1/3_binary64_2500 associate-+l-_binary64_688 inv-pow_binary64_1844 associate-*r/_binary64_21 rem-log-exp_binary64_2137 pow-sqr_binary64_1398 sin-sum_binary64_544 associate-/l/_binary64_2385 log-pow_binary64_163 pow-prod-up_binary64_3177 pow-plus_binary64_2496 unpow2_binary64_476 pow1/3_binary64_156 rem-exp-log_binary64_1462 cos-diff_binary64_211 pow1/3_binary64_493 distribute-lft-in_binary64_2387 rem-sqrt-square_binary64_764 neg-sub0_binary64_746 tanh-def-c_binary64_937 associate--r-_binary64_18 pow2_binary64_492 log-div_binary64_3194 distribute-rgt-out--_binary64_2392 sin-diff_binary64_2232 sqrt-pow2_binary64_1106 tanh-undef_binary64_943

Calls

477 calls:

145.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
68.0ms	(+.f64 (neg.f64 (log.f64 (sqrt.f64 x))) (log.f64 (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)))))
59.0ms	(+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) (sqrt.f64 x)))
58.0ms	(+.f64 (/.f64 1 x) (/.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 3)) x))
57.0ms	(log.f64 (+.f64 (/.f64 1 x) (/.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 3)) x)))