rewrite7.4s (2.4%)

Algorithm

146×	rewrite-expression-head

Rules

1394×	add-exp-log_binary64_2181
1248×	times-frac_binary64_2149
1125×	times-frac_binary64_2493
1008×	*-un-lft-identity_binary64_2143
924×	add-sqr-sqrt_binary64_2165
919×	*-un-lft-identity_binary64
898×	associate-*l/_binary64_710
878×	add-sqr-sqrt_binary64
837×	*-un-lft-identity_binary64_1455
831×	*-un-lft-identity_binary64_2487
822×	times-frac_binary64
779×	add-sqr-sqrt_binary64_2509
731×	prod-exp_binary64_2192
700×	add-cube-cbrt_binary64_2178
692×	pow-exp_binary64_2211
682×	flip--_binary64_742 flip3--_binary64_771
649×	div-exp_binary64_2194
643×	add-sqr-sqrt_binary64_101
632×	*-un-lft-identity_binary64_79
589×	add-sqr-sqrt_binary64_1477
577×	times-frac_binary64_85
554×	times-frac_binary64_1461
516×	add-cube-cbrt_binary64_2522
511×	add-cube-cbrt_binary64
500×	add-sqr-sqrt_binary64_1821
476×	*-un-lft-identity_binary64_1111
473×	times-frac_binary64_1805
469×	*-un-lft-identity_binary64_1799
454×	frac-add_binary64_775
448×	frac-times_binary64_777
426×	*-un-lft-identity_binary64_767
393×	add-sqr-sqrt_binary64_1133
388×	add-sqr-sqrt_binary64_789
357×	add-exp-log_binary64_117 add-cbrt-cube_binary64_115
356×	add-cube-cbrt_binary64_114
344×	pow-to-exp_binary64_2212
335×	add-cube-cbrt_binary64_1490 add-cube-cbrt_binary64_1834
301×	*-un-lft-identity_binary64_2831
297×	*-un-lft-identity_binary64_423
293×	times-frac_binary64_773
282×	times-frac_binary64_1117
278×	add-sqr-sqrt_binary64_2853
273×	unpow-prod-down_binary64_1534
266×	log-prod_binary64_1197
254×	add-sqr-sqrt_binary64_445
237×	add-exp-log_binary64_1837
227×	add-cbrt-cube_binary64_1835
224×	associate-*r/_binary64_709 add-cube-cbrt_binary64_1146
221×	cube-prod_binary64_1483
217×	add-cbrt-cube_binary64_2179
210×	cbrt-prod_binary64_1142
207×	log-div_binary64_854 associate-*r*_binary64_19
206×	sqrt-div_binary64_784
205×	add-cube-cbrt_binary64_802
204×	associate-*r*_binary64_2083
203×	add-cube-cbrt_binary64_458
199×	add-exp-log_binary64
197×	add-cbrt-cube_binary64
194×	times-frac_binary64_2837
182×	difference-of-squares_binary64 add-exp-log_binary64_2525
176×	times-frac_binary64_429
167×	sqrt-prod_binary64_783
166×	add-sqr-sqrt_binary64_3541
163×	add-exp-log_binary64_461
162×	*-un-lft-identity_binary64_3519
155×	associate-/r*_binary64 pow1_binary64_1860
154×	add-cube-cbrt_binary64_2866
149×	times-frac_binary64_3525 associate-*r*_binary64_1739
146×	add-cbrt-cube_binary64_459
139×	associate-/r*_binary64_2431
138×	add-exp-log_binary64_1149
136×	add-cbrt-cube_binary64_2523
134×	cbrt-div_binary64_799
133×	add-exp-log_binary64_1493
132×	difference-of-squares_binary64_48
131×	pow1_binary64_140 distribute-lft-out--_binary64_2439 sqrt-prod_binary64_2159
130×	difference-of-squares_binary64_2456
128×	pow1_binary64
124×	difference-of-squares_binary64_1424
123×	distribute-lft-out_binary64_1406 cancel-sign-sub-inv_binary64_1421
121×	pow1_binary64_2204
120×	add-log-exp_binary64_118
117×	difference-of-squares_binary64_736
116×	1-exp_binary64_2187 rec-exp_binary64_2193
115×	distribute-lft-out--_binary64_31
114×	add-cbrt-cube_binary64_1147 add-cube-cbrt_binary64_3554
111×	add-cbrt-cube_binary64_1491 cbrt-prod_binary64_2174 cbrt-unprod_binary64_112 prod-exp_binary64_128
108×	associate-/r*_binary64_2087
105×	associate-*l*_binary64
104×	add-log-exp_binary64
99×	distribute-lft-out--_binary64_1407
98×	associate-*r*_binary64 associate-/l*_binary64_24
97×	sqrt-prod_binary64_95
94×	distribute-lft-out_binary64_718 cbrt-prod_binary64_1830
91×	cbrt-undiv_binary64_113 div-exp_binary64_130
90×	add-log-exp_binary64_462
89×	associate-/l*_binary64_2088
86×	difference-of-squares_binary64_1080
83×	pow1_binary64_484
82×	add-log-exp_binary64_1838 pow1_binary64_1516 unpow-prod-down_binary64_846
81×	distribute-lft-out_binary64
80×	distribute-lft-out--_binary64 distribute-lft-out_binary64_2094
77×	add-log-exp_binary64_2182
76×	cbrt-unprod_binary64_1832 pow1_binary64_1172 prod-exp_binary64_1848
73×	flip3--_binary64 flip--_binary64
72×	sqrt-prod_binary64_1127
71×	sqrt-prod_binary64_2503 log-prod_binary64_853 pow1_binary64_2548
70×	associate-/l*_binary64_1744 add-exp-log_binary64_805 associate-*l*_binary64_2084 add-log-exp_binary64_1150
69×	difference-of-squares_binary64_2112 div-exp_binary64_2538
68×	div-inv_binary64_2140 distribute-lft-out_binary64_1062
67×	distribute-lft-out--_binary64_2095 add-log-exp_binary64_1494
66×	distribute-rgt-neg-in_binary64_2445 exp-diff_binary64_815 pow-sub_binary64_843
65×	difference-of-squares_binary64_2800
64×	pow1_binary64_828 sqr-pow_binary64_1427
62×	associate-/r/_binary64_2089
61×	cancel-sign-sub-inv_binary64 distribute-rgt-neg-in_binary64_37
60×	cbrt-undiv_binary64_2177 difference-of-squares_binary64_1768 pow-prod-down_binary64_1870 unpow-prod-down_binary64_502 distribute-lft-out--_binary64_1751 swap-sqr_binary64_2110
59×	add-cbrt-cube_binary64_803 add-log-exp_binary64_806
58×	sqr-pow_binary64_739
56×	associate-/r*_binary64_23 unpow-prod-down_binary64_3598 add-exp-log_binary64_2869
54×	cbrt-prod_binary64_2862
53×	distribute-lft-out--_binary64_2783 associate-*l*_binary64_1740 associate-*r*_binary64_363
52×	associate-/r/_binary64_2433 associate-/r*_binary64_1399 log-prod_binary64_2573
51×	cbrt-unprod_binary64_2176
49×	associate-/r/_binary64 associate-/r*_binary64_1743
48×	cancel-sign-sub-inv_binary64_2797 associate-/l*_binary64 add-log-exp_binary64_2526 associate-/r/_binary64_25 cancel-sign-sub-inv_binary64_45
46×	add-cbrt-cube_binary64_2867 cancel-sign-sub-inv_binary64_3485
45×	frac-times_binary64
44×	pow1_binary64_2892 flip--_binary64_54 flip3--_binary64_83 add-sqr-sqrt_binary64_3197
43×	associate-*l*_binary64_20 associate-/l*_binary64_1400 div-inv_binary64_764
42×	associate-+r+_binary64_1043 add-exp-log_binary64_3557 cancel-sign-sub-inv_binary64_2109 distribute-lft-out--_binary64_1063
41×	cbrt-undiv_binary64 distribute-lft-out_binary64_374 add-log-exp_binary64_2870 div-exp_binary64 associate-/l*_binary64_368
40×	cube-prod_binary64_3547 unpow3_binary64_1521 cbrt-prod_binary64_1486 div-inv_binary64
39×	log-pow_binary64_1200
38×	associate-*r*_binary64_2427 associate-*l/_binary64 associate-/r*_binary64_367
37×	pow-prod-down_binary64_150
36×	div-exp_binary64_1850 unpow-prod-down_binary64_2222 prod-exp_binary64 div-exp_binary64_474 cbrt-undiv_binary64_1833 cbrt-unprod_binary64 pow-unpow_binary64_1532 associate-/l*_binary64_712
35×	associate-/r*_binary64_2775 cbrt-undiv_binary64_2521
34×	sqrt-prod_binary64_3191 cbrt-prod_binary64_454
33×	cbrt-unprod_binary64_2520 sqrt-prod_binary64_1815 add-log-exp_binary64_3558 distribute-rgt-neg-in_binary64_2101 associate-*r*_binary64_1051 div-inv_binary64_76 prod-exp_binary64_2536 distribute-rgt-neg-in_binary64_1757
32×	flip3-+_binary64 div-inv_binary64_1452 associate-*r/_binary64_2085 *-un-lft-identity_binary64_3175 associate-*r/_binary64 div-inv_binary64_2484 cube-prod_binary64_451 associate-/r/_binary64_2777 prod-exp_binary64_472 associate-/l*_binary64_2432 flip-+_binary64
31×	associate-/r*_binary64_3463 flip3-+_binary64_426 flip-+_binary64_397 cbrt-undiv_binary64_457
30×	flip--_binary64_2118 associate-/r/_binary64_1401 associate-/r/_binary64_369 flip3--_binary64_2147 div-inv_binary64_1796
29×	unswap-sqr_binary64_2111
28×	associate-*r*_binary64_1395 div-exp_binary64_1506 add-cube-cbrt_binary64_3210 cbrt-prod_binary64_798 pow-exp_binary64_1523 distribute-lft-out_binary64_2438 cbrt-unprod_binary64_456
27×	flip--_binary64_2462 pow-prod-down_binary64_2214 flip3--_binary64_2491 div-exp_binary64_1162
26×	sqrt-div_binary64_1128 associate-*l*_binary64_1052 associate-/l*_binary64_1056 associate-+r+_binary64_699 2cosh-undef_binary64_963 cbrt-div_binary64_2175
25×	pow-prod-down_binary64 difference-of-sqr-1_binary64_1425 associate-/r*_binary64_711 flip-+_binary64_2117 flip3-+_binary64_2146 associate-/r*_binary64_1055
24×	prod-exp_binary64_1160 cube-mult_binary64_1485 sqrt-prod_binary64_1471 add-cbrt-cube_binary64_3555 distribute-rgt-in_binary64 cbrt-undiv_binary64_1145 cbrt-prod_binary64_110 associate-/l*_binary64_2776 pow1_binary64_3236 distribute-lft-in_binary64
23×	associate-/l/_binary64 associate-*l*_binary64_364 cbrt-prod_binary64_3206 sqrt-pow1_binary64_1129 distribute-lft-out_binary64_30
22×	associate-*r*_binary64_707 unpow2_binary64_832 associate-/r/_binary64_1745 unswap-sqr_binary64 sqr-pow_binary64_3491 add-log-exp_binary64_3214
21×	log-prod_binary64_3605 cbrt-div_binary64_2863 *-commutative_binary64_1730 diff-log_binary64_171 flip--_binary64_1086 *-commutative_binary64 flip3--_binary64_1115
20×	cbrt-unprod_binary64_1144 distribute-rgt-out_binary64_720 difference-of-sqr-1_binary64 flip3-+_binary64_1114 flip-+_binary64_1085 unswap-sqr_binary64_1767 flip-+_binary64_2805 cube-prod_binary64_795 associate-/r/_binary64_1057 pow1/3_binary64_2225
19×	sub-neg_binary64 clear-num_binary64 frac-2neg_binary64 flip3-+_binary64_2834 log-pow_binary64_1544 cancel-sign-sub-inv_binary64_389
18×	exp-prod_binary64_1507 flip-+_binary64_1429 flip3-+_binary64_770 cbrt-undiv_binary64_1489 flip3-+_binary64_1458 pow1_binary64_3580 div-inv_binary64_420 flip-+_binary64_741 cancel-sign-sub-inv_binary64_1765
17×	clear-num_binary64_2142 pow-to-exp_binary64_1524 flip--_binary64_2806 log-div_binary64_1198 frac-2neg_binary64_2154 sqrt-prod_binary64 sub-neg_binary64_72
16×	flip--_binary64_1774 div-inv_binary64_2828 flip3--_binary64_2835 frac-2neg_binary64_90 div-sub_binary64_1116 pow-pow_binary64_1527 add-cbrt-cube_binary64_3211 add-exp-log_binary64_3213 distribute-lft-out--_binary64_719 flip3--_binary64_1803 pow-prod-down_binary64_2558 clear-num_binary64_78 cbrt-div_binary64_1143 sqrt-div_binary64_3192
15×	difference-of-squares_binary64_3488 *-commutative_binary64_10 sin-diff_binary64_1247 sqrt-prod_binary64_439 associate-*l*_binary64_3460 associate-*r/_binary64_1397 difference-of-squares_binary64_3144 rec-exp_binary64_2537 rem-log-exp_binary64_1152 associate-*l*_binary64_1396 1-exp_binary64_2531 exp-prod_binary64_1163
14×	distribute-lft-out_binary64_2782 prod-exp_binary64_1504 distribute-lft-out_binary64_3470 tan-quot_binary64
13×	flip--_binary64_1430 clear-num_binary64_1798 cbrt-unprod_binary64_1488 div-inv_binary64_1108 distribute-rgt-out_binary64_1408 flip3--_binary64_1459 sum-log_binary64 cancel-sign-sub-inv_binary64_733 rem-cube-cbrt_binary64_1478 unpow-prod-down_binary64_2566 unswap-sqr_binary64_1079 sin-cos-mult_binary64_1955 associate-/l/_binary64_26 frac-2neg_binary64_1810
12×	cbrt-prod_binary64_2518 log-pow_binary64_856 times-frac_binary64_3181 exp-prod_binary64_819 pow1/3_binary64_2913 unpow-prod-down_binary64 flip-+_binary64_53 flip-+_binary64_2461 flip3-+_binary64_2490 cube-mult_binary64_3549 unpow3_binary64_3585 div-exp_binary64_2882 associate-*l*_binary64_2428 frac-add_binary64_1463 unswap-sqr_binary64_391 cbrt-prod_binary64 sum-log_binary64_514 sqr-pow_binary64_395 flip3-+_binary64_82 *-commutative_binary64_2074
11×	flip--_binary64_3150 associate-*l*_binary64_708 log-div_binary64_2574 flip3--_binary64_3179 +-commutative_binary64_353 clear-num_binary64_422 frac-2neg_binary64_1466 pow1/2_binary64_1191 flip3--_binary64_427 pow1/3_binary64_1881 frac-2neg_binary64_434 flip--_binary64_398 sin-sum_binary64_1932 pow-pow_binary64_839 clear-num_binary64_1454 pow-prod-down_binary64_1526
10×	associate-*r*_binary64_2771 distribute-lft-out--_binary64_3471 diff-log_binary64 associate-*r*_binary64_3459 pow-flip_binary64_2905 pow-unpow_binary64_844 difference-of-squares_binary64_392 sub-neg_binary64_2136 unswap-sqr_binary64_47 cube-div_binary64_1484
9×	associate-/l*_binary64_3464 sub-neg_binary64_416 pow-unpow_binary64_2564 associate-*l*_binary64_2772 swap-sqr_binary64 cbrt-undiv_binary64_2865 neg-sub0_binary64_74 pow-pow_binary64_2559 div-exp_binary64_3570 pow-prod-up_binary64_2213 exp-prod_binary64_1851 cube-prod_binary64_107 pow-exp_binary64_491 cos-sum_binary64_1933 log-div_binary64_3606 cube-prod_binary64_2515 diff-log_binary64_2235 pow-unpow_binary64 difference-cubes_binary64_1457 pow-unpow_binary64_500 unpow-prod-down_binary64_158 distribute-lft-out_binary64_1750 log-pow_binary64_2576
8×	rem-sqrt-square_binary64_3188 pow1/2_binary64_2223 pow-prod-down_binary64_494 unswap-sqr_binary64_735 2sinh-undef_binary64_962 frac-times_binary64_2841 div-sub_binary64_1804 swap-sqr_binary64_2798 associate-+r+_binary64_355 cos-sum_binary64_557 sin-mult_binary64_1610 flip3-+_binary64_3522 log-prod_binary64_2229 pow3_binary64_1538 frac-2neg_binary64_2498 associate-/l/_binary64_1402 cos-diff_binary64_1936 sqrt-pow1_binary64_2161 exp-prod_binary64 sub-neg_binary64_2824 *-commutative_binary64_354 flip-+_binary64_3493 sqrt-div_binary64_440 unpow-prod-down_binary64_1190 clear-num_binary64_2486 frac-2neg_binary64_2842 frac-sub_binary64_3528 frac-sub_binary64_1464 sqrt-div_binary64_96 sqrt-pow1_binary64_3193 pow1/2_binary64_3255 frac-times_binary64_433 clear-num_binary64_2830 associate--l+_binary64
7×	log-prod_binary64_165 +-commutative_binary64_1041 sub-neg_binary64_1792 cancel-sign-sub-inv_binary64_1077 log-pow_binary64_2920 associate-/l/_binary64_714 prod-exp_binary64_816 exp-sum_binary64_2189 diff-log_binary64_515 sum-log_binary64_170 associate-/l/_binary64_1058 log-prod_binary64_2917 sum-log_binary64_858 pow-sqr_binary64_2116 unswap-sqr_binary64_3487 sum-log_binary64_1202 +-commutative_binary64 associate-*l/_binary64_1742 neg-log_binary64_172
6×	log-prod_binary64_1885 sin-mult_binary64_1954 pow-to-exp_binary64_492 associate-*r/_binary64_1741 exp-sum_binary64_813 pow-unpow_binary64_2220 distribute-rgt1-in_binary64_723 *-commutative_binary64_2418 log-div_binary64_2230 distribute-neg-in_binary64_728 exp-prod_binary64_2539 frac-2neg_binary64_1122 div-exp_binary64_818 rem-log-exp_binary64_2528 cos-diff_binary64_560 cosh-def_binary64_609 exp-prod_binary64_2883 +-commutative_binary64_697 sum-log_binary64_2578 pow-pow_binary64_2215 pow1/2_binary64_847 swap-sqr_binary64_390 exp-prod_binary64_2195 frac-times_binary64_1121 diff-log_binary64_3611 diff-log_binary64_1547 associate-+l+_binary64_700 associate-*r/_binary64_2773 sqrt-pow1_binary64_785 frac-times_binary64_2153 cube-prod_binary64 associate-/l/_binary64_2090 prod-exp_binary64_3568 clear-num_binary64_1110
5×	pow-to-exp_binary64_836 distribute-rgt-in_binary64_373 +-commutative_binary64_2417 +-commutative_binary64_9 distribute-lft-in_binary64_372 associate--l-_binary64_17 pow-exp_binary64_3587 sqrt-pow1_binary64_1473 frac-2neg_binary64_778 diff-log_binary64_1891 sin-mult_binary64_234 sub-neg_binary64_1448 pow1/2_binary64_1535 cbrt-undiv_binary64_801 associate-/r/_binary64_713 pow-pow_binary64_495 sqr-pow_binary64_51 flip3-+_binary64_1802 pow-flip_binary64_2561 exp-diff_binary64_1159 prod-exp_binary64_2880 flip-+_binary64_1773 cbrt-div_binary64_3207 log-pow_binary64 diff-log_binary64_2923 pow1/3_binary64_3257 sum-log_binary64_1890 pow-to-exp_binary64_3588 associate-*r/_binary64_365 rem-sqrt-square_binary64_1124 sum-log_binary64_1546 sqr-pow_binary64_2459 associate-*r/_binary64_21 cancel-sign-sub-inv_binary64_2453 pow-exp_binary64_835 clear-num_binary64_766 distribute-lft-in_binary64_2780 log-pow_binary64_2232 unswap-sqr_binary64_1423 *-commutative_binary64_1386 sum-log_binary64_2234 difference-of-sqr--1_binary64_1426 sub-neg_binary64_1104 sum-log_binary64_3610 distribute-rgt-in_binary64_2781
4×	rem-sqrt-square_binary64_2156 cube-prod_binary64_1139 sqrt-div_binary64_2160 +-commutative_binary64_2073 distribute-lft-out--_binary64_375 div-inv_binary64_3516 cube-div_binary64_108 distribute-rgt-in_binary64_2093 associate--r-_binary64_2082 cos-sum_binary64_213 +-commutative_binary64_1729 pow1/3_binary64_1193 exp-sum_binary64_125 unpow2_binary64_1520 log-prod_binary64 pow-prod-down_binary64_1182 exp-sum_binary64_2877 frac-add_binary64 cos-mult_binary64_1609 diff-log_binary64_1203 flip--_binary64_3494 associate-+r-_binary64_1733 rem-sqrt-square_binary64_436 associate-+l+_binary64 associate--l+_binary64_2424 cube-div_binary64 *-commutative_binary64_1042 associate-*l/_binary64_366 sin-sum_binary64_556 associate-+l-_binary64_14 associate-*l/_binary64_2086 associate--r+_binary64_2079 associate-/l/_binary64_1746 pow-prod-down_binary64_2902 associate-*l/_binary64_1054 pow1/2_binary64_503 cube-div_binary64_796 rem-sqrt-square_binary64_1468 rem-sqrt-square_binary64_92 sqrt-pow1_binary64_97 cube-div_binary64_2516 distribute-rgt-neg-in_binary64_725 2cosh-undef_binary64_619 sqrt-div_binary64_2504 sqr-pow_binary64_1083 associate-/l/_binary64_2434 pow1/2_binary64_159 div-sub_binary64_84 flip3--_binary64_3523 +-commutative_binary64_1385 sqrt-pow1_binary64_441 acos-asin_binary64_1980 distribute-lft-in_binary64_2092 sqr-pow_binary64 associate-*l/_binary64_2774
3×	1-exp_binary64_467 pow-prod-up_binary64_2901 log-pow_binary64_3608 rem-log-exp_binary64_3560 sub-neg_binary64_2480 pow1/3_binary64_849 1-exp_binary64_2875 rem-sqrt-square_binary64_780 rem-exp-log_binary64_1839 acos-neg_binary64_1982 pow-exp_binary64_2555 associate-/l/_binary64_370 diff-log_binary64_859 cube-mult_binary64_797 pow-to-exp_binary64 pow-unpow_binary64_156 diff-log_binary64_3267 pow2_binary64_2224 neg-sub0_binary64_1794 cbrt-unprod_binary64_800 pow-sqr_binary64_2804 swap-sqr_binary64_1422 pow-to-exp_binary64_2556 rec-exp_binary64_1505 unpow-prod-up_binary64_845 unpow3_binary64_2553 difference-of-sqr-1_binary64_2801 rec-exp_binary64_2881 sub-neg_binary64_760 associate--r+_binary64_1391 log-prod_binary64_509 unpow3_binary64_833 associate-+r-_binary64_701 cbrt-undiv_binary64_3553 inv-pow_binary64_508 *-commutative_binary64_698 pow-exp_binary64 sub-neg_binary64_3168 neg-sub0_binary64_2138 frac-2neg_binary64_3530 associate-*r/_binary64_1053 sub-neg_binary64_3512 sqrt-prod_binary64_3535 pow-flip_binary64_841 log-pow_binary64_512 distribute-frac-neg_binary64_1762 rec-exp_binary64_473 pow-plus_binary64 rem-log-exp_binary64_808 pow-flip_binary64_497 cube-mult_binary64_2517 log-prod_binary64_1541 diff-log_binary64_2579 distribute-rgt1-in_binary64_1411 associate-*l/_binary64_3118 cbrt-unprod_binary64_2864 unpow2_binary64_2552 sum-log_binary64_2922 pow-sqr_binary64 unpow3_binary64_489 pow-plus_binary64_2206 acos-asin_binary64_260 pow-pow_binary64 1-exp_binary64_1499 inv-pow_binary64_2572 cube-mult_binary64_453 cbrt-div_binary64_1831 pow-prod-up_binary64 cancel-sign-sub-inv_binary64_3141 pow2_binary64 frac-times_binary64_1809 clear-num_binary64_3518 +-commutative_binary64_2761 sinh-def_binary64_952
2×	inv-pow_binary64_2916 cbrt-unprod_binary64_3552 cos-mult_binary64_1953 associate-+l-_binary64_2422 rem-exp-log_binary64_2183 cosh-def_binary64_953 *-commutative_binary64_2762 exp-sum_binary64 rem-cube-cbrt_binary64_2510 distribute-lft-in_binary64_1748 difference-of-sqr-1_binary64_1081 div-inv_binary64_3172 associate-+l-_binary64_2078 sqr-abs_binary64_2158 div-sub_binary64_772 unpow2_binary64 sqrt-div_binary64_3536 associate--l-_binary64_2425 sin-mult_binary64_578 div-sub_binary64_1460 asin-acos_binary64_259 cbrt-div_binary64_2519 associate--l+_binary64_3456 inv-pow_binary64_2228 cube-div_binary64_452 unpow3_binary64 cube-mult_binary64 pow2_binary64_2912 associate-*r/_binary64_2429 rem-exp-log_binary64 associate-*l/_binary64_22 sqrt-pow1_binary64_2505 +-commutative_binary64_3449 pow-flip_binary64_2217 distribute-rgt-in_binary64_1749 cbrt-div_binary64_111 div-sub_binary64 pow-exp_binary64_1179 cube-mult_binary64_109 unswap-sqr_binary64_2455 cbrt-div_binary64 exp-sum_binary64_1157 distribute-lft-in_binary64_1404 frac-add_binary64_3527 distribute-lft-out--_binary64_3127 distribute-rgt-in_binary64_1405 pow1/3_binary64_1537 *-commutative_binary64_3450 difference-of-sqr-1_binary64_393 pow-to-exp_binary64_1180 rem-cube-cbrt_binary64_446 neg-log_binary64_1892 neg-log_binary64_2236 difference-of-sqr--1_binary64_394 pow1/2_binary64_2567 sqr-pow_binary64_2115 unswap-sqr_binary64_2799 neg-sub0_binary64_2482 pow-plus_binary64_2894 rem-cbrt-cube_binary64_1479 associate-+l-_binary64_1734 unpow3_binary64_145
1×	associate--r+_binary64_3455 pow-exp_binary64_147 cube-mult_binary64_1141 pow2_binary64_1536 inv-pow_binary64_1540 rem-cube-cbrt_binary64_790 tanh-undef_binary64_964 div-sub_binary64_2492 distribute-rgt1-in_binary64 associate--l+_binary64_360 associate-+l-_binary64 neg-log_binary64_2580 asin-acos_binary64_1635 cbrt-div_binary64_455 rem-cbrt-cube_binary64_2511 sqrt-unprod_binary64_2163 unpow3_binary64_1177 frac-sub_binary64_2840 rec-exp_binary64_817 rem-log-exp_binary64_464 sin-diff_binary64_559 rem-cbrt-cube_binary64 unpow2_binary64_488 exp-diff_binary64_2879 pow-prod-down_binary64_838 rem-log-exp_binary64_1496 rem-exp-log_binary64_807 associate--l-_binary64_2081 rem-log-exp_binary64 exp-to-pow_binary64_485 pow1/3_binary64 pow-sqr_binary64_396 rem-square-sqrt_binary64_2155 pow-plus_binary64_1518 neg-sub0_binary64_762 tanh-def-c_binary64_956 1-exp_binary64_811 associate--l-_binary64_1737 frac-add_binary64_1807 log-div_binary64_2918 rem-sqrt-square_binary64_3532 div-sub_binary64_428 distribute-rgt-out--_binary64_2441 pow-pow_binary64_151 distribute-rgt-out_binary64 associate-+r+_binary64 neg-log_binary64_860 rem-cbrt-cube_binary64_103 pow1/3_binary64_2569 pow1/2_binary64_3599 rem-cbrt-cube_binary64_447 pow-plus_binary64_486 rem-cbrt-cube_binary64_791 rem-log-exp_binary64_120 pow-to-exp_binary64_148 rem-cube-cbrt_binary64_102 rem-log-exp_binary64_2872 sin-diff_binary64_1935 sqr-sin-a_binary64_1603 pow1/3_binary64_505 rem-cube-cbrt_binary64 tanh-def-a_binary64_954 cbrt-div_binary64_1487 rem-log-exp_binary64_2184 cos-diff_binary64_216 log-pow_binary64_168 distribute-rgt-out_binary64_1752 associate-+r-_binary64_1045 pow-prod-up_binary64_1525 sqrt-pow2_binary64_1474 pow1/3_binary64_161 remove-double-div_binary64_2463 sqrt-pow1_binary64_3537 sqrt-unprod_binary64_1131 exp-diff_binary64_2191 tanh-def-b_binary64_955 pow2_binary64_504 associate--r-_binary64_18 sqrt-pow2_binary64_786 pow-sqr_binary64_1428 pow-flip_binary64_1529 pow-prod-up_binary64_493 exp-prod_binary64_475 associate-+l-_binary64_702 inv-pow_binary64_852 div-sub_binary64_2148 associate-*l/_binary64_1398 sqrt-undiv_binary64_788 frac-times_binary64_1465

Calls

509 calls:

208.0ms	(-.f64 (+.f64 x (/.f64 1/2 x)) (/.f64 1/8 (pow.f64 x 3)))
148.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
69.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)))
57.0ms	(+.f64 (/.f64 1 x) (/.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) 3)) x))