rewrite7.0s (1.3%)

Algorithm

149×	rewrite-expression-head

Rules

1584×	*-un-lft-identity_binary64_1783
1225×	times-frac_binary64_1789
926×	times-frac_binary64_84
732×	times-frac_binary64_2130
692×	add-sqr-sqrt_binary64_1805
688×	add-sqr-sqrt_binary64_100
675×	*-un-lft-identity_binary64_2124
595×	*-un-lft-identity_binary64_4170
581×	times-frac_binary64_1448
579×	*-un-lft-identity_binary64_2465
561×	distribute-lft-out_binary64_1734
560×	*-un-lft-identity_binary64_78
538×	*-un-lft-identity_binary64_1442
533×	add-sqr-sqrt_binary64_1464
531×	add-cube-cbrt_binary64_113
529×	add-sqr-sqrt_binary64_2146
516×	add-sqr-sqrt_binary64_4192
505×	add-cube-cbrt_binary64_1818
445×	add-cube-cbrt_binary64_2159
420×	sqrt-prod_binary64_2140
415×	times-frac_binary64_4176
392×	*-un-lft-identity_binary64_760
384×	times-frac_binary64_766
381×	times-frac_binary64_1107
372×	*-un-lft-identity_binary64_1101
364×	add-sqr-sqrt_binary64_782
354×	add-cube-cbrt_binary64_1477
347×	times-frac_binary64_2471
334×	add-sqr-sqrt_binary64_2487
328×	associate-*r*_binary64_1723
282×	add-exp-log_binary64_1821 add-cbrt-cube_binary64_1819
280×	pow1_binary64_139
274×	add-cube-cbrt_binary64_795
265×	add-cube-cbrt_binary64_2500
260×	add-sqr-sqrt_binary64_1123
250×	sqrt-prod_binary64_1458
234×	sqrt-prod_binary64_94
228×	associate-*r*_binary64_18
225×	add-exp-log_binary64_2503
222×	log-pow_binary64_167
221×	add-sqr-sqrt_binary64_3169
204×	sqrt-prod_binary64_776 add-cube-cbrt_binary64_4205
202×	associate-/r/_binary64_1729
194×	add-exp-log_binary64_798
188×	add-cube-cbrt_binary64_1136
177×	difference-of-squares_binary64_4139
176×	pow1_binary64_3208
173×	flip3-+_binary64_1786 flip-+_binary64_1757 pow1_binary64_2185
170×	add-exp-log_binary64_3185
167×	*-un-lft-identity_binary64_3147
160×	distribute-lft-out--_binary64_4122
151×	pow1_binary64 add-exp-log_binary64_2162
147×	add-sqr-sqrt_binary64
146×	distribute-lft-out_binary64_2416
144×	add-sqr-sqrt_binary64_3510
142×	add-exp-log_binary64_116
141×	add-sqr-sqrt_binary64_2828 add-log-exp_binary64_2504
137×	add-cbrt-cube_binary64_2501 add-cube-cbrt_binary64_3182
134×	add-cbrt-cube_binary64_2160
131×	add-cbrt-cube_binary64_3183
130×	add-exp-log_binary64_1480
126×	add-cbrt-cube_binary64_1478
123×	*-un-lft-identity_binary64_2806
121×	*-un-lft-identity_binary64_419
118×	add-cbrt-cube_binary64_114 unpow-prod-down_binary64_2203
117×	add-cube-cbrt_binary64_2841
116×	add-sqr-sqrt_binary64_441
112×	*-un-lft-identity_binary64_3488
110×	distribute-lft-out_binary64_2075 add-exp-log_binary64 add-cbrt-cube_binary64
108×	add-cbrt-cube_binary64_796
105×	cbrt-undiv_binary64_1817 div-exp_binary64_1834
103×	*-un-lft-identity_binary64 add-cube-cbrt_binary64
102×	associate-*l*_binary64_701
100×	associate-/l*_binary64_1728 sqrt-prod_binary64_435
98×	associate-*r*_binary64_700
96×	add-cbrt-cube_binary64_2842 pow1_binary64_480 add-exp-log_binary64_2844
95×	add-cube-cbrt_binary64_454
94×	sqrt-prod_binary64_3163
92×	prod-exp_binary64_2514
91×	pow1_binary64_821
90×	difference-of-squares_binary64_1752 associate-*r*_binary64_1041
88×	pow1_binary64_1503
84×	cbrt-prod_binary64_109 unpow-prod-down_binary64_839
83×	associate-*l*_binary64_19 add-exp-log_binary64_3526 pow1_binary64_2526
82×	add-cube-cbrt_binary64_3523 exp-prod_binary64_130
81×	prod-exp_binary64_3196
80×	pow1_binary64_2867
77×	frac-times_binary64_1793 pow-prod-down_binary64_3218
76×	prod-exp_binary64_809 associate-*r*_binary64_2064
75×	associate-/r*_binary64_4114
74×	associate-/r*_binary64_1727 times-frac_binary64_2812
73×	cbrt-unprod_binary64_3180
72×	add-exp-log_binary64_4208 difference-of-squares_binary64_1411
71×	associate-*l*_binary64_2065 add-cbrt-cube_binary64_4206
70×	pow1_binary64_3549 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 sqrt-prod_binary64
69×	unpow-prod-down_binary64_157 associate-/r*_binary64_22 associate-*l*_binary64_1724
68×	div-inv_binary64_1780 associate-/r*_binary64_2068 add-cbrt-cube_binary64_3524
67×	div-exp_binary64_2516 associate-*l*_binary64 distribute-lft-out_binary64_4121
66×	pow1_binary64_4231
65×	associate-*r*_binary64_1382
63×	associate-*r*_binary64
62×	associate-*l*_binary64_3088 associate-*r*_binary64_3087 associate-/l*_binary64_2410
61×	add-exp-log_binary64_457 unpow-prod-down_binary64_2544 distribute-lft-out_binary64_1052 add-exp-log_binary64_1139
60×	associate-/l*_binary64_1387 cbrt-prod_binary64_3178 add-cbrt-cube_binary64_455
59×	times-frac_binary64_425 add-log-exp_binary64_3186 associate-*r*_binary64_4110
58×	add-cbrt-cube_binary64_1137 distribute-lft-out--_binary64_1394
56×	add-log-exp_binary64_1481
55×	add-log-exp_binary64 associate-*l*_binary64_2747 associate-*r/_binary64_1725 pow1_binary64_1844
54×	sqrt-div_binary64_436 distribute-lft-out_binary64_711 cancel-sign-sub-inv_binary64_1408 associate-/l*_binary64_2069 associate-*l*_binary64_1383 cube-prod_binary64_106 add-log-exp_binary64_4209
53×	sum-log_binary64_2556
52×	pow-prod-down_binary64 associate-/l/_binary64_1730 flip-+_binary64_2780 flip3-+_binary64_2809
51×	cancel-sign-sub-inv_binary64_3113 associate-*r*_binary64_3428
50×	unswap-sqr_binary64_46
49×	associate-/r*_binary64_1386 associate-*r*_binary64_2746 associate-*r/_binary64_2748 associate-/r*_binary64_704
48×	pow-unpow_binary64_2542 cbrt-div_binary64_3520 associate-*r*_binary64_2405
47×	associate-*l/_binary64_1726 add-log-exp_binary64_2845
46×	flip3--_binary64_1446 flip--_binary64_1417 associate-*r/_binary64_3430
45×	times-frac_binary64_3153 div-exp_binary64_129 sqrt-prod_binary64_2481 difference-of-sqr-1_binary64_1753 prod-exp_binary64_2173 div-exp_binary64_811
43×	associate-*l*_binary64_3429 pow-prod-down_binary64_2195 flip3-+_binary64_2468 frac-add_binary64_2473 flip-+_binary64_2439
42×	associate-/r/_binary64_1047 add-log-exp_binary64_799 sqrt-div_binary64_1459 flip3-+_binary64_1104 sqrt-div_binary64_2141 flip-+_binary64_1075
41×	distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 div-inv_binary64_75
40×	div-inv_binary64_1439 associate-/r/_binary64_1388
39×	associate-*l*_binary64_4111 sqrt-pow1_binary64_2142
38×	times-frac_binary64_3494 associate-/l*_binary64_1046 add-log-exp_binary64_2163 add-log-exp_binary64_458 add-log-exp_binary64_3527
37×	cbrt-unprod_binary64_2157 associate-/r/_binary64_2070 associate-/l*_binary64_23 distribute-lft-out_binary64_1393 cancel-sign-sub-inv_binary64_4136 associate-*l/_binary64_2749
36×	associate-*l/_binary64_1385 prod-exp_binary64_1491
35×	unpow-prod-down_binary64_4249
34×	cbrt-unprod_binary64_1475 prod-exp_binary64 cbrt-unprod_binary64_2498 distribute-lft-out--_binary64_2417 pow-unpow_binary64_155 cbrt-unprod_binary64 add-log-exp_binary64_1822
33×	add-log-exp_binary64_117
32×	unswap-sqr_binary64_728 unpow2_binary64_4235 sqr-pow_binary64_4142 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 associate-*r/_binary64_4112
31×	difference-of-squares_binary64_1070 distribute-lft-out--_binary64_1735 distribute-lft-out--_binary64_1053 cube-prod_binary64_2493 cbrt-undiv_binary64_112
30×	unswap-sqr_binary64_2092 add-log-exp_binary64_1140 pow-prod-down_binary64_2877 prod-exp_binary64_3537
29×	associate-*r/_binary64_1384 difference-of-squares_binary64_2434 flip3-+_binary64_422 sqrt-pow1_binary64 flip-+_binary64_393 cbrt-unprod_binary64_793 frac-times_binary64_2475 div-exp_binary64_2175
28×	distribute-rgt-in_binary64_4120 prod-exp_binary64_127 flip-+_binary64_1416 flip3-+_binary64_1445 associate-/l/_binary64_1048 associate-/l*_binary64_705 distribute-lft-in_binary64_4119 associate-*r/_binary64_3089
27×	frac-times_binary64_1452 log-prod_binary64_164 pow1/3_binary64_3229 cancel-sign-sub-inv_binary64_2431
26×	associate-*l/_binary64_3431 cancel-sign-sub-inv_binary64_2772 pow-exp_binary64_2533 pow1_binary64_1162 associate-/r*_binary64_2409 flip-+_binary64_4144 log-pow_binary64_849 flip3-+_binary64_4173 pow-prod-down_binary64_149 sqrt-pow1_binary64_437
25×	pow-to-exp_binary64_2534 cbrt-undiv_binary64_2499
24×	log-pow_binary64_508 associate-*r*_binary64_359 pow-prod-down_binary64_1513 pow1/3_binary64_3570 distribute-rgt-neg-in_binary64_36
23×	cbrt-unprod_binary64_111 div-exp_binary64_1493 associate-*l/_binary64_2408 pow-pow_binary64_2537 div-inv_binary64_2121
22×	flip3--_binary64_3492 pow-prod-up_binary64_2194 flip3-+_binary64_763 flip-+_binary64_2098 flip--_binary64_3463 flip3-+_binary64_2127 flip-+_binary64_734 cbrt-unprod_binary64_3521 pow1/2_binary64_499
21×	cbrt-undiv_binary64_1476 cbrt-undiv_binary64_2158 pow1/2_binary64_2204 flip3--_binary64_4174 div-inv_binary64_1098 flip--_binary64_4145
20×	distribute-lft-neg-in_binary64_35 unswap-sqr_binary64_3115 pow1/2_binary64 unswap-sqr_binary64_3456 cbrt-prod_binary64_3519 associate-/r*_binary64_1045 difference-of-squares_binary64_3116 associate--l+_binary64_4107 div-inv_binary64_2462 pow-prod-down_binary64_3559 frac-sub_binary64_2815 *-commutative_binary64
19×	cbrt-undiv_binary64_794 frac-2neg_binary64_1794 flip-+_binary64_3121 flip3-+_binary64_3150 clear-num_binary64_1782 associate-*r/_binary64_2407
18×	pow-prod-down_binary64_490 cbrt-div_binary64_3179 cbrt-undiv_binary64_1135 associate-/r*_binary64_3091 cancel-sign-sub-inv_binary64_3454 sqrt-div_binary64_2482 sqrt-div_binary64_3164 associate-/r*_binary64_363 swap-sqr_binary64_4137 div-exp_binary64_1152 sqrt-div_binary64
17×	flip3-+_binary64_3491 unswap-sqr_binary64 *-commutative_binary64_3078 flip-+_binary64_3462 associate-/r/_binary64_706 unswap-sqr_binary64_1751 sub-neg_binary64_4163 div-inv_binary64_757
16×	unpow-prod-down_binary64_3567 unpow-prod-down_binary64_3226 associate--r+_binary64_4106 log-prod_binary64_1187 prod-exp_binary64_4219 swap-sqr_binary64_3114 sqrt-div_binary64_4187 cbrt-unprod_binary64_4203 exp-prod_binary64_2517 associate-*r/_binary64_361 rec-exp_binary64_810 associate--l+_binary64_2743 pow-prod-down_binary64_2536 associate--l+_binary64_2402 associate-/r/_binary64_2752 sqrt-pow1_binary64_778 1-exp_binary64_804
15×	associate-/r*_binary64_2750 associate-/l/_binary64_2412 associate-/r/_binary64_4116 cbrt-prod_binary64_2837 pow-prod-down_binary64_831 associate-/l*_binary64_2751
14×	*-commutative_binary64_2737 flip3--_binary64_2810 pow-prod-down_binary64_4241 cbrt-unprod_binary64_452 prod-exp_binary64_468 flip--_binary64_2781 frac-times_binary64_1111 unswap-sqr_binary64_2774
13×	pow-prod-up_binary64_148 diff-log_binary64_2557 pow-sqr_binary64_51 pow-plus_binary64_2187 sqrt-prod_binary64_4186 sqrt-div_binary64_777 unswap-sqr_binary64_1410 rem-sqrt-square_binary64_432
12×	difference-of-squares_binary64_3457 frac-times_binary64_4180 log-pow_binary64_2213 cbrt-prod_binary64_450 distribute-lft-out_binary64_370 pow-pow_binary64_150 frac-times_binary64_2816 sqrt-pow1_binary64_3165 associate-/r/_binary64_2411 *-commutative_binary64_4101 associate--l+_binary64_3425 *-commutative_binary64_3419 cbrt-prod_binary64 cube-prod_binary64_3175 unswap-sqr_binary64_4138
11×	flip3-+_binary64 distribute-lft-out--_binary64_3099 log-prod_binary64_2210 swap-sqr_binary64_1750 *-commutative_binary64_2055 associate-/l*_binary64_4115 associate-*l*_binary64_2406 *-commutative_binary64_1373 sqrt-pow1_binary64_2483 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 rem-sqrt-square_binary64_2137 associate-/l/_binary64_2071 associate-/l*_binary64_364 flip3--_binary64_1105 flip--_binary64_1076 flip-+_binary64
10×	flip3--_binary64_2128 sqr-pow_binary64_2437 pow-prod-down_binary64_1854 sqr-pow_binary64_50 frac-2neg_binary64_89 clear-num_binary64_77 frac-2neg_binary64_2476 clear-num_binary64_1441 associate-/l/_binary64_2753 sub-neg_binary64_2799 frac-2neg_binary64_1453 flip--_binary64_2099 rem-sqrt-square_binary64 pow-sqr_binary64_2097 clear-num_binary64_2464 *-commutative_binary64_691 sub-neg_binary64_3481
9×	pow1/2_binary64_3227 exp-prod_binary64_812 +-commutative_binary64_2395 1-exp_binary64_122 exp-sum_binary64_465 associate-/l*_binary64_3433 sub-neg_binary64_2458 flip--_binary64_3122 sum-log_binary64_4261 associate-*r/_binary64_2066 flip3--_binary64_3151 log-prod_binary64_505
8×	*-commutative_binary64_9 swap-sqr_binary64_3455 distribute-lft-out_binary64_3439 log-div_binary64_1188 associate-/l/_binary64_707 neg-mul-1_binary64_74 div-inv_binary64_2803 pow-exp_binary64_828 distribute-rgt-in_binary64_28 flip--_binary64_2440 sub-neg_binary64_3140 distribute-lft-neg-in_binary64 associate-*l/_binary64_4113 flip3--_binary64_2469 div-inv_binary64_4167 distribute-lft-in_binary64_27 clear-num_binary64_2123 frac-times_binary64_3498 cube-prod_binary64_3516 *-commutative_binary64_1714 distribute-rgt-neg-in_binary64 pow-exp_binary64_146 cbrt-undiv_binary64_4204 sum-log_binary64_2897 frac-add_binary64_2814 log-div_binary64_165 associate-+l+_binary64_1375 associate-*l/_binary64_1044 associate-*r/_binary64_20 frac-add_binary64_1450 sqr-pow_binary64_3460 div-exp_binary64_4221 frac-2neg_binary64_2135
7×	associate-/r*_binary64_3432 sum-log_binary64_1533 *-commutative_binary64_2396 flip-+_binary64_52 associate-/l/_binary64_1389 prod-exp_binary64_1150 pow1/2_binary64_840 sub-neg_binary64_1435 cbrt-unprod_binary64_1134 associate-+l+_binary64_2739 cbrt-undiv_binary64_2840 associate-*r/_binary64_1043 exp-neg_binary64_125 rem-sqrt-square_binary64_773 frac-2neg_binary64_771 div-exp_binary64_2857 distribute-lft-out--_binary64_3440 clear-num_binary64_759 flip3-+_binary64_81
6×	sum-log_binary64_851 rec-exp_binary64_128 unpow-prod-down_binary64_498 difference-of-sqr-1_binary64_2435 sqrt-pow1_binary64_96 diff-log_binary64_4262 clear-num_binary64_1100 frac-2neg_binary64_1112 pow-sqr_binary64_3120 pow-flip_binary64_1516 exp-diff_binary64_126 +-commutative_binary64_4100 +-commutative_binary64_690 neg-sub0_binary64_73 associate-*r/_binary64_702 pow-prod-up_binary64_3217 associate-*l*_binary64_360 pow1/2_binary64_158 diff-log_binary64_3239 associate-/l/_binary64_4117 +-commutative_binary64_2736 sqr-pow_binary64_3119 frac-times_binary64_88
5×	+-commutative_binary64_1031 pow-to-exp_binary64_147 associate-*l/_binary64_21 distribute-rgt-in_binary64_1392 cancel-sign-sub-inv_binary64_2090 associate-+l+_binary64_2398 +-commutative_binary64_1372 cube-div_binary64_1471 sum-log_binary64_1192 log-pow_binary64 rem-log-exp_binary64_119 diff-log_binary64_1534 distribute-lft-in_binary64_3096 distribute-lft-in_binary64_1391 rem-sqrt-square_binary64_3160 sqrt-pow1_binary64_1460 distribute-lft-out_binary64_2757 clear-num_binary64_2805 associate-/l*_binary64_3092 associate--l-_binary64_2403 pow1/2_binary64_2545 div-sub_binary64_2129 distribute-rgt-in_binary64_3097 pow2_binary64_2205 frac-2neg_binary64_2817 exp-prod_binary64_471
4×	sqrt-unprod_binary64 pow-to-exp_binary64_3557 distribute-rgt-in_binary64_1733 cube-mult_binary64_3177 distribute-lft-out_binary64_3098 rem-cube-cbrt_binary64_1465 pow-exp_binary64_3556 cbrt-div_binary64_451 associate-*l*_binary64_1042 inv-pow_binary64_163 distribute-lft-in_binary64_1732 frac-sub_binary64_3497 unpow-prod-up_binary64_1179 distribute-lft-out--_binary64_2076 associate-/r/_binary64_3093 clear-num_binary64_4169 associate-+r+_binary64_2738 frac-2neg_binary64_4181 unpow3_binary64_3213 div-exp_binary64_470 distribute-rgt-out_binary64_2418 cbrt-undiv_binary64_453 distribute-rgt1-in_binary64_2421 distribute-lft-neg-out_binary64_2765 unpow3_binary64_144 exp-prod_binary64_1153 log-div_binary64_506 frac-times_binary64_429 associate-/r/_binary64_365 sqr-pow_binary64_2096 associate-+r+_binary64_4102 *-commutative_binary64_350 pow-prod-up_binary64_3558 cube-mult_binary64_108 associate--r+_binary64_2060 frac-times_binary64_3157 sqrt-div_binary64_95 log-pow_binary64_1190 pow-exp_binary64_1510 pow1/2_binary64_1522 exp-sum_binary64_1147 div-sub_binary64_83 1-exp_binary64_2168 cos-sum_binary64 pow-unpow_binary64_1178 swap-sqr_binary64_2091 pow-sqr_binary64_3461 sin-sum_binary64 pow-flip_binary64_152 rec-exp_binary64_2174 associate-+r+_binary64_1374
3×	clear-num_binary64_418 associate-*l/_binary64_703 distribute-lft-neg-in_binary64_2763 pow-unpow_binary64_4247 pow-exp_binary64_3215 cbrt-undiv_binary64_3181 flip3--_binary64_423 rem-cube-cbrt_binary64_101 flip3--_binary64_1787 rem-sqrt-square_binary64_1455 cube-div_binary64_107 unpow-prod-down_binary64 associate-/r/_binary64_24 pow-pow_binary64_491 frac-2neg_binary64_430 swap-sqr_binary64_45 div-inv_binary64_416 associate-+l+_binary64_4103 exp-sum_binary64_2511 flip--_binary64_394 diff-log_binary64_3580 pow-unpow_binary64_1519 pow-unpow_binary64_496 pow-to-exp_binary64_3216 sqrt-prod_binary64_1117 sum-log_binary64_510 cancel-sign-sub-inv_binary64_385 associate-*l/_binary64_2067 unswap-sqr_binary64_2433 pow-plus_binary64_3210 frac-times_binary64_770 distribute-rgt-in_binary64_2415 sqrt-prod_binary64_1799 div-sub_binary64_2470 pow2_binary64_3228 distribute-lft-in_binary64_2414 pow-sub_binary64_2541 unpow-prod-down_binary64_1180 unswap-sqr_binary64_1069 associate--l+_binary64_2061 div-exp_binary64_3198 cube-prod_binary64 flip--_binary64_1758 +-commutative_binary64_349 un-div-inv_binary64_758 distribute-rgt-neg-in_binary64_2764 div-sub_binary64_1106
2×	associate-*l/_binary64_362 cbrt-div_binary64_110 pow1/3_binary64_501 rem-cube-cbrt_binary64_2488 pow-to-exp_binary64_829 +-commutative_binary64_1713 pow-sub_binary64_1177 pow-plus_binary64_3551 frac-2neg_binary64_3499 clear-num_binary64_3146 pow-plus_binary64_4233 associate-/l/_binary64_3435 rem-3cbrt-lft_binary64_2149 difference-of-squares_binary64_388 sqrt-div_binary64_1118 exp-diff_binary64_467 associate-*l/_binary64_3090 1-exp_binary64_1486 un-div-inv_binary64_76 unswap-sqr_binary64_387 pow-exp_binary64_2192 div-sub_binary64_3493 neg-mul-1_binary64 unsub-neg_binary64_2800 pow-sqr_binary64_4143 sum-log_binary64 div-inv_binary64_3144 pow2_binary64_4251 rec-exp_binary64_2515 pow3_binary64_2207 pow-exp_binary64_1169 distribute-rgt-neg-out_binary64_2766 sqrt-div_binary64_1800 clear-num_binary64_3487 pow-prod-up_binary64_4240 sum-log_binary64_1874 pow2_binary64_3569 diff-log_binary64_2216 +-commutative_binary64_3077 associate-+r+_binary64_1715 unpow3_binary64_3554 sub-neg_binary64_2117 sqr-pow_binary64_732 pow-to-exp_binary64_2193 associate-+l-_binary64_1377 distribute-lft-out_binary64_29 cube-mult_binary64_3518 frac-times_binary64_2134 rem-log-exp_binary64_1142 exp-diff_binary64_1149 frac-2neg_binary64_3158 div-exp_binary64_3539 sum-log_binary64_3579 +-commutative_binary64 cbrt-undiv_binary64_3522 1-exp_binary64_2509 div-inv_binary64_3485 rec-exp_binary64_1492 diff-log_binary64_2898 associate-/r/_binary64_3434 pow-pow_binary64_1514 sum-log_binary64_3238 div-sub_binary64_424
1×	+-commutative_binary64_8 associate-+l-_binary64_2400 pow-to-exp_binary64_4239 cbrt-div_binary64_2838 rem-cbrt-cube_binary64_102 un-div-inv_binary64_2463 sqrt-unprod_binary64_2144 inv-pow_binary64_1527 sub-neg_binary64_412 sub-neg_binary64 div-sub_binary64_4175 flip--_binary64_53 neg-mul-1_binary64_2802 *-commutative_binary64_1032 unpow3_binary64_2531 rem-log-exp_binary64_2165 flip3--_binary64 distribute-rgt-in_binary64_369 sqrt-pow1_binary64_1801 pow1/3_binary64_2888 diff-log_binary64 difference-of-squares_binary64 exp-to-pow_binary64_2527 rem-sqrt-square_binary64_91 pow-pow_binary64_1173 sqrt-unprod_binary64_3167 rem-cbrt-cube_binary64 sub-neg_binary64_1094 diff-log_binary64_170 difference-of-squares_binary64_2775 pow-plus_binary64_1846 pow-plus_binary64_141 pow1/3_binary64 pow-flip_binary64_2539 sqrt-undiv_binary64_3168 sqrt-pow2_binary64_2484 e-exp-1_binary64_1146 pow1/2_binary64_1863 pow-exp_binary64_4238 inv-pow_binary64_845 sqr-pow_binary64_391 unpow3_binary64 associate-+l-_binary64_4105 pow-flip_binary64_834 cube-mult_binary64 flip--_binary64 rem-exp-log_binary64_459 pow1/2_binary64_4250 pow2_binary64_159 +-commutative_binary64_3418 cancel-sign-sub-inv_binary64 pow-sqr_binary64_1756 pow-pow_binary64_4242 sqrt-pow1_binary64_4188 cube-mult_binary64_2495 pow-to-exp_binary64_488 distribute-lft-in_binary64_368 unpow1/3_binary64_486 +-commutative_binary64_2054 sqr-pow_binary64_1414 difference-of-squares_binary64_2093 distribute-lft-out--_binary64_371 diff-log_binary64_1193 pow2_binary64_1523 rem-sqrt-square_binary64_2478 sqrt-undiv_binary64_440 rem-sqrt-square_binary64_4183 rem-square-sqrt_binary64_2136 pow-flip_binary64_2198 cancel-sign-sub-inv_binary64_1067 rem-exp-log_binary64_1141 cube-mult_binary64_1472 unpow3_binary64_1508 pow-prod-down_binary64_1172 rem-sqrt-square_binary64_1114 pow-to-exp_binary64_1170 sum-log_binary64_2215 pow-prod-up_binary64_1512 associate-+r-_binary64_3422 cube-div_binary64_2494 inv-pow_binary64_2550 pow1/3_binary64_160 sqrt-pow1_binary64_1119 cube-prod_binary64_1470 pow-plus_binary64_1505 flip3--_binary64_82 sqr-pow_binary64_1073 rem-sqrt-square_binary64_1796 rem-exp-log_binary64_2505 cancel-sign-sub-inv_binary64_44 associate--r+_binary64_3424 diff-log_binary64_511 distribute-rgt-out--_binary64_32 associate--l-_binary64_4108 inv-pow_binary64_2209 sub-neg_binary64_71 pow1/2_binary64_1181 sqrt-pow2_binary64_438 pow-sqr_binary64_1415 pow2_binary64_1864 pow-exp_binary64_487 sqr-pow_binary64 unpow-prod-down_binary64_1521 pow-to-exp_binary64_1511 sum-log_binary64_169 pow-prod-up_binary64_1853

Calls

423 calls:

122.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
107.0ms	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
91.0ms	(*.f64 (*.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (exp.f64 (*.f64 x x)) (-.f64 1 (*.f64 (*.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (*.f64 (/.f64 (-.f64 -2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (exp.f64 (*.f64 x x)) (-.f64 1 (*.f64 (*.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016)))) (-.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) -1))
87.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))))
73.0ms	(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)