rewrite8.4s (2.8%)

Algorithm

157×	rewrite-expression-head

Rules

4132×	*-un-lft-identity_binary64_1783
3180×	times-frac_binary64_1789
1752×	add-sqr-sqrt_binary64_1805
1548×	distribute-lft-out_binary64_1734
1327×	add-cube-cbrt_binary64_1818
1131×	times-frac_binary64_1448
1049×	sqrt-prod_binary64_1799
1017×	add-sqr-sqrt_binary64_1464
966×	*-un-lft-identity_binary64_1442
699×	times-frac_binary64_1107
655×	*-un-lft-identity_binary64_1101
637×	add-sqr-sqrt_binary64_2146
585×	add-cube-cbrt_binary64_1477
577×	times-frac_binary64_2130
548×	*-un-lft-identity_binary64_2124
518×	associate-*l*_binary64_1724
485×	add-sqr-sqrt_binary64_1123
461×	times-frac_binary64_84
451×	add-sqr-sqrt_binary64_100
437×	add-cube-cbrt_binary64_2159
399×	add-exp-log_binary64_1821
393×	*-un-lft-identity_binary64_78
385×	add-cbrt-cube_binary64_1819
383×	associate-*r*_binary64_1723
378×	add-exp-log_binary64_2162
363×	*-un-lft-identity_binary64_2465
358×	add-cube-cbrt_binary64_113
343×	sqrt-prod_binary64_1458
341×	add-sqr-sqrt_binary64_782
327×	add-cube-cbrt_binary64_1136
317×	add-sqr-sqrt_binary64_2487
312×	*-un-lft-identity_binary64_760
298×	associate-/r/_binary64_1729
285×	times-frac_binary64_766
275×	associate-*r*_binary64_1041 add-sqr-sqrt_binary64_441
253×	*-un-lft-identity_binary64_419
244×	pow1_binary64_139
243×	flip3-+_binary64_1786 flip-+_binary64_1757
236×	associate-*r*_binary64_2064 add-cbrt-cube_binary64_2160
231×	add-cube-cbrt_binary64_795
229×	add-exp-log_binary64_798
226×	sqrt-prod_binary64_2140
220×	add-cube-cbrt_binary64_454
214×	sqrt-prod_binary64_94
211×	pow1_binary64_480
207×	times-frac_binary64_2471
199×	sqrt-prod_binary64_776
194×	add-sqr-sqrt_binary64_3169
193×	*-un-lft-identity_binary64_3147
191×	add-cube-cbrt_binary64_2500
188×	associate-*r/_binary64_3089
181×	associate-/l*_binary64_1728
177×	times-frac_binary64_425
176×	cbrt-prod_binary64_450 associate-*l*_binary64_2065
174×	prod-exp_binary64_2173
170×	log-pow_binary64_167
167×	pow1_binary64_1844
159×	add-sqr-sqrt_binary64_3510 difference-of-squares_binary64_1411 add-exp-log_binary64_1480
158×	frac-add_binary64_3155
157×	pow1_binary64_3208
148×	add-exp-log_binary64_3185
144×	flip-+_binary64_3121 flip3-+_binary64_3150 pow1_binary64_2185 frac-times_binary64_3157
143×	add-cbrt-cube_binary64_1478
141×	associate-*r*_binary64_1382
139×	pow1_binary64
131×	cbrt-undiv_binary64_1817 add-exp-log_binary64_116 div-exp_binary64_1834
130×	add-cbrt-cube_binary64_114
128×	associate-*l*_binary64_19 associate-*r*_binary64_700
126×	distribute-lft-out--_binary64_1394
122×	*-un-lft-identity_binary64_3488
120×	add-cbrt-cube_binary64_3183 add-cube-cbrt_binary64_3182
119×	div-inv_binary64_1780 associate-/r*_binary64_1727
118×	associate-*l*_binary64_701
116×	add-sqr-sqrt_binary64 add-cbrt-cube_binary64_796
115×	associate-*l*_binary64_1383
109×	div-inv_binary64_1439
100×	distribute-lft-out_binary64_1052
99×	prod-exp_binary64_1832 pow1_binary64_821
98×	add-exp-log_binary64_457
97×	flip--_binary64_3122 flip3--_binary64_3151
96×	*-un-lft-identity_binary64 sqrt-div_binary64_1800 exp-prod_binary64_130 pow1_binary64_1503 add-exp-log_binary64_2503
95×	prod-exp_binary64_809 associate-/l*_binary64_1387
94×	difference-of-squares_binary64_1752
93×	add-exp-log_binary64 sqrt-pow1_binary64_437
92×	add-cbrt-cube_binary64
91×	cbrt-unprod_binary64_1816
90×	associate-/r*_binary64_1386 associate-*r/_binary64_1725 associate-*r*_binary64_18
89×	unpow-prod-down_binary64_2203
88×	add-cube-cbrt_binary64_3523 add-log-exp_binary64_2504 add-cube-cbrt_binary64 exp-prod_binary64_471
85×	associate-*r*_binary64_359
84×	add-log-exp_binary64_3186
83×	add-cbrt-cube_binary64_2501 distribute-lft-out_binary64_1393
82×	frac-times_binary64_1793 times-frac_binary64_3494
81×	unpow-prod-down_binary64_498 cbrt-prod_binary64_3178
80×	cbrt-unprod_binary64_2157
79×	add-cbrt-cube_binary64_455
78×	cube-prod_binary64_447 add-log-exp_binary64_2163
77×	prod-exp_binary64_3196 add-exp-log_binary64_2844 unswap-sqr_binary64_1751
76×	pow1_binary64_2526
75×	unswap-sqr_binary64_2092 *-un-lft-identity_binary64_3829 add-exp-log_binary64_1139
74×	associate-*l/_binary64_3090
73×	add-cbrt-cube_binary64_1137 pow1_binary64_2867
72×	sqrt-prod_binary64_2481 cube-div_binary64_3176
70×	pow-prod-down_binary64_3218
69×	cbrt-unprod_binary64_3180 cbrt-prod_binary64_2155
68×	add-cbrt-cube_binary64_2842 div-exp_binary64_2175
67×	add-log-exp_binary64_117
66×	associate-/r/_binary64_1388 distribute-lft-out_binary64_2416 unpow-prod-down_binary64_839
65×	pow-prod-down_binary64_490
64×	add-exp-log_binary64_3526 difference-of-squares_binary64_1070 distribute-lft-out--_binary64_1053
63×	associate-*r/_binary64_2066 add-log-exp_binary64_1822
62×	associate-/r/_binary64_1047 associate-*r*_binary64_3428
60×	log-prod_binary64_164 add-sqr-sqrt_binary64_3851
59×	*-un-lft-identity_binary64_4511 associate-/r*_binary64_22
57×	associate-/l/_binary64_1730
55×	add-log-exp_binary64
54×	cbrt-div_binary64_3179 sqrt-pow1_binary64_1801 add-cbrt-cube_binary64_3524 sqrt-prod_binary64
53×	swap-sqr_binary64_1750 *-un-lft-identity_binary64_2806
52×	flip3-+_binary64_2468 div-exp_binary64_811 flip-+_binary64_2439
51×	add-sqr-sqrt_binary64_2828 log-pow_binary64_508 distribute-lft-out_binary64_2075 flip3-+_binary64_1104 flip-+_binary64_1075 sqrt-prod_binary64_435
50×	associate-*l*_binary64_3088
49×	add-log-exp_binary64_1481 add-log-exp_binary64_458
48×	difference-of-squares_binary64_2434 associate-*l*_binary64_3429 flip-+_binary64_2098 flip3-+_binary64_2127 associate-*r/_binary64_361 cbrt-prod_binary64_791 sqrt-prod_binary64_3504
47×	associate-/l*_binary64_2069 associate-*r*_binary64_3087
46×	difference-of-sqr-1_binary64_1753 sqrt-div_binary64_1459 associate-*l/_binary64_1726 associate-/l*_binary64_1046 frac-times_binary64_2134
44×	add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 associate-*r/_binary64_3771
43×	pow-prod-down_binary64
42×	sqrt-div_binary64_436 cube-prod_binary64_2493 add-sqr-sqrt_binary64_4533 unpow-prod-down_binary64_2544
41×	flip3-+_binary64_3832 unswap-sqr_binary64_728 flip-+_binary64_3803 associate-*r*_binary64
40×	add-cube-cbrt_binary64_2841
39×	add-log-exp_binary64_799 pow1_binary64_3890
38×	times-frac_binary64_3153 cbrt-undiv_binary64_2158 add-cube-cbrt_binary64_3864 div-exp_binary64_1493 cbrt-div_binary64_2156
37×	pow-prod-down_binary64_2195 associate-/r*_binary64_2409 prod-exp_binary64_2855 associate-*l*_binary64
36×	cancel-sign-sub-inv_binary64_3113 pow1/2_binary64_1863 associate-/l*_binary64_23 sqrt-div_binary64_2141 cbrt-unprod_binary64_793 cbrt-prod_binary64_2496
35×	flip3--_binary64_1446 flip--_binary64_1417
34×	distribute-lft-out_binary64_711 pow-prod-down_binary64_1854 distribute-lft-out--_binary64_1735 sqrt-pow1_binary64 prod-exp_binary64_1491 associate-/r/_binary64_2411 pow-prod-down_binary64_149
33×	flip-+_binary64_52 unswap-sqr_binary64_1410 flip3-+_binary64_81
32×	pow1_binary64_4572 cbrt-undiv_binary64_1476 flip-+_binary64_1416 flip3-+_binary64_1445 add-log-exp_binary64_2845 associate-*r*_binary64_3769
31×	add-log-exp_binary64_1140 cancel-sign-sub-inv_binary64_2431 div-inv_binary64_1098 associate-*l/_binary64_2067 cbrt-unprod_binary64_2839
30×	cbrt-unprod_binary64_1475 associate-/r*_binary64_704 associate-/l*_binary64_2410
29×	cbrt-unprod_binary64_111 prod-exp_binary64_127 unswap-sqr_binary64_3456 associate-*l*_binary64_3770 associate-/r*_binary64_363
28×	add-log-exp_binary64_3868 associate-*r*_binary64_2746 pow1_binary64_1162 associate-*r/_binary64_4453 associate-*l/_binary64_1385 pow-prod-down_binary64_2877 unswap-sqr_binary64_46 div-inv_binary64_2121 add-cube-cbrt_binary64_4546 unpow-prod-down_binary64_1521
27×	unpow-prod-down_binary64_3567 add-exp-log_binary64_4549 associate-/r/_binary64_24 flip--_binary64_2440 flip3--_binary64_2469 cube-prod_binary64_3516 distribute-rgt-neg-in_binary64_36 pow-prod-up_binary64_489
26×	cbrt-div_binary64_451 log-pow_binary64_849 sqr-pow_binary64_2096 pow1/2_binary64_499
25×	prod-exp_binary64 prod-exp_binary64_468 pow1_binary64_3549 distribute-lft-out--_binary64_2417 add-cbrt-cube_binary64_4547 pow-unpow_binary64_155 cbrt-unprod_binary64
24×	frac-2neg_binary64_1794 clear-num_binary64_1782 rem-sqrt-square_binary64_1796 distribute-rgt-neg-in_binary64_377 sqrt-div_binary64
23×	distribute-lft-neg-in_binary64_35 div-exp_binary64_129 pow1/2_binary64 flip3-+_binary64_763 flip-+_binary64_734 exp-neg_binary64_125 exp-diff_binary64_126 cbrt-undiv_binary64_112
22×	cbrt-undiv_binary64_794 cbrt-undiv_binary64_1135 *-commutative_binary64_2055 prod-exp_binary64_3537 associate-/r*_binary64_2068 log-div_binary64_165 associate-*l*_binary64_360 div-exp_binary64_1152 frac-sub_binary64_2474
21×	distribute-lft-out_binary64_3098 pow1/3_binary64_3229 add-log-exp_binary64_4550 pow-prod-down_binary64_1513 pow-sqr_binary64_392 div-inv_binary64_75
20×	distribute-lft-neg-in_binary64_376 flip3-+_binary64_422 associate-/r*_binary64_1045 unswap-sqr_binary64_387 cbrt-div_binary64_1815 pow-exp_binary64_2192 associate-/l/_binary64_2412 cbrt-unprod_binary64_452 sqrt-div_binary64_2482 associate-*r*_binary64_4451 difference-of-squares_binary64_3116 cbrt-div_binary64_792 sqrt-div_binary64_95 flip-+_binary64_393 add-log-exp_binary64_3527 pow-to-exp_binary64_2193
19×	distribute-lft-out--_binary64_3099 flip-+_binary64_4485 flip3-+_binary64_4514 distribute-lft-out_binary64_3780 neg-sub0_binary64_73 associate-*r/_binary64_20 frac-times_binary64_88
18×	cbrt-div_binary64_4543 frac-times_binary64_1452 swap-sqr_binary64_3455 pow-prod-up_binary64_148 frac-add_binary64_86 div-exp_binary64_2516 associate-*l*_binary64_4452 flip3-+_binary64_3491 associate-*l*_binary64_2406 pow1/3_binary64_2206 *-commutative_binary64_1714 flip-+_binary64_3462 unpow-prod-down_binary64_1180 rec-exp_binary64_810 exp-prod_binary64_2176 1-exp_binary64_804 pow-prod-up_binary64_1853
17×	associate-*r/_binary64_1384 associate-*r/_binary64_2407
16×	distribute-lft-out_binary64_3439 associate-*l/_binary64_21 associate-*l*_binary64_1042 associate-/l/_binary64_1048 frac-sub_binary64_3838 unpow-prod-down_binary64_1862 associate-/r/_binary64_2070 associate-/r/_binary64_706 associate--l+_binary64_3084 pow-prod-down_binary64_831 frac-times_binary64_2475 associate-/r/_binary64_3434 sum-log_binary64_3238
15×	unswap-sqr_binary64_3115 clear-num_binary64_1441 associate-/l*_binary64_705 frac-2neg_binary64_1453 associate-*r/_binary64_3430
14×	flip3-+_binary64 flip3--_binary64_423 associate-*l*_binary64_2747 unpow-prod-down_binary64_157 sqrt-pow1_binary64_96 pow-sqr_binary64_51 pow-pow_binary64_2196 flip--_binary64_394 distribute-rgt-in_binary64_28 *-commutative_binary64_1373 distribute-lft-in_binary64_27 cbrt-unprod_binary64_3521 *-commutative_binary64_3078 frac-times_binary64_1111 div-inv_binary64_2462 1-exp_binary64_2168 pow1/2_binary64_158 log-prod_binary64_2551 rec-exp_binary64_2174 flip-+_binary64
13×	cancel-sign-sub-inv_binary64_2090 cbrt-prod_binary64_1814 sqrt-pow1_binary64_2483 distribute-lft-in_binary64_3096 pow1/3_binary64_842 cbrt-undiv_binary64_2499 distribute-rgt-in_binary64_3097 sqr-pow_binary64_3460 sqrt-div_binary64_777 *-commutative_binary64 div-inv_binary64_757
12×	flip--_binary64_53 distribute-lft-out_binary64_4462 prod-exp_binary64_1150 pow-pow_binary64_491 difference-of-sqr-1_binary64_2435 cbrt-unprod_binary64_1134 swap-sqr_binary64_386 swap-sqr_binary64_3114 prod-exp_binary64_3878 pow-unpow_binary64_496 sub-neg_binary64_3140 sqr-pow_binary64_391 frac-times_binary64_3839 associate-*l/_binary64_3772 log-pow_binary64 cube-prod_binary64_1811 frac-times_binary64_429 pow-sqr_binary64_1756 sub-neg_binary64_2458 pow-unpow_binary64_2201 rem-sqrt-square_binary64 times-frac_binary64_2812 cbrt-prod_binary64_1132 cbrt-unprod_binary64_3862 cube-prod_binary64_1470 flip3--_binary64_82 diff-log_binary64_3239 sqrt-pow1_binary64_778 log-pow_binary64_2895 associate-/l*_binary64_364
11×	diff-log_binary64_2557 +-commutative_binary64_2395 sum-log_binary64_2556 div-inv_binary64_416 log-prod_binary64_2892 div-exp_binary64_3539 cbrt-undiv_binary64_3522 associate-/l/_binary64_2071 *-commutative_binary64_691
10×	+-commutative_binary64_8 *-commutative_binary64_9 pow-prod-down_binary64_3900 associate-/r*_binary64_3432 cube-mult_binary64_449 pow-exp_binary64_828 frac-2neg_binary64_89 log-pow_binary64_2213 swap-sqr_binary64_4478 clear-num_binary64_77 distribute-rgt-in_binary64_3779 div-exp_binary64_470 exp-prod_binary64 sqr-pow_binary64_1414 unswap-sqr_binary64_1069 pow1/3_binary64_1865 distribute-lft-in_binary64_3778 associate-*l/_binary64_1044 sqrt-div_binary64_3505 unpow3_binary64_485 frac-add_binary64_1450 pow1/2_binary64_2545 prod-exp_binary64_2514 sin-sum_binary64 sum-log_binary64_169 cancel-sign-sub-inv_binary64_1749
9×	pow1/2_binary64_2204 times-frac_binary64_3835 pow1/3_binary64_4593 neg-mul-1_binary64_74 swap-sqr_binary64_45 sqrt-pow1_binary64_2142 frac-2neg_binary64_2476 cancel-sign-sub-inv_binary64_3454 frac-times_binary64_3498 rem-sqrt-square_binary64_2137 pow1/3_binary64_1524 associate-*r/_binary64_702 distribute-rgt-in_binary64_2074 associate-/r*_binary64_3773 cbrt-prod_binary64_109 associate-/l*_binary64_3092 clear-num_binary64_2464 distribute-lft-in_binary64_2073 flip3--_binary64_1105 flip--_binary64_1076
8×	log-div_binary64_2552 flip3--_binary64_2128 distribute-rgt-in_binary64_1733 unswap-sqr_binary64_3797 flip3--_binary64_3492 sqr-pow_binary64_1755 *-commutative_binary64_2737 associate-/l/_binary64_1389 distribute-lft-in_binary64_1732 log-prod_binary64 exp-sum_binary64_124 exp-diff_binary64_467 flip--_binary64_3463 cbrt-unprod_binary64_2498 associate-*l/_binary64_2408 frac-times_binary64_770 unswap-sqr_binary64 *-commutative_binary64_350 distribute-rgt-in_binary64_2415 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 flip--_binary64_2099 sqrt-pow1_binary64_1460 rem-sqrt-square_binary64_2478 distribute-lft-in_binary64_2414 *-commutative_binary64_3760 neg-mul-1_binary64_415 frac-times_binary64_4521 distribute-lft-out_binary64_29 pow-prod-down_binary64_2536 div-sub_binary64_83 distribute-lft-out--_binary64_2758 difference-of-sqr--1_binary64_49
7×	pow1/3_binary64_501 unpow-prod-down_binary64_3226 exp-sum_binary64_2511 associate-/r*_binary64_3091 sqrt-prod_binary64_3845 associate-*r/_binary64_1043 distribute-lft-out_binary64_370 cancel-sign-sub-inv_binary64_385 rem-log-exp_binary64_119 clear-num_binary64_2123 sub-neg_binary64_2117 log-pow_binary64_3236 cbrt-prod_binary64_1473 cube-prod_binary64_3175 pow-exp_binary64_487 cbrt-prod_binary64_4542 frac-2neg_binary64_2135 exp-neg_binary64_466
6×	associate-*l/_binary64_362 exp-prod_binary64_3199 cbrt-div_binary64_110 cube-prod_binary64_1129 associate-*l/_binary64_703 pow-to-exp_binary64_3557 +-commutative_binary64_1031 cancel-sign-sub-inv_binary64_2772 flip3--_binary64_1787 pow-exp_binary64_3556 associate-/l/_binary64_3435 exp-sum_binary64 associate-/l/_binary64_707 exp-prod_binary64_812 pow1/2_binary64_840 flip-+_binary64_2780 sqr-pow_binary64_50 associate-/l/_binary64_25 associate-+l+_binary64_3080 clear-num_binary64_1100 frac-2neg_binary64_1112 sum-log_binary64_1192 swap-sqr_binary64_3796 cbrt-unprod_binary64_4544 cbrt-undiv_binary64_453 pow-flip_binary64_1516 associate-/l*_binary64_3433 neg-sub0_binary64_414 times-frac_binary64_4517 rem-sqrt-square_binary64_773 sqrt-pow1_binary64_3165 sum-log_binary64_2897 pow1/2_binary64_1522 flip3-+_binary64_2809 cancel-sign-sub-inv_binary64_1067 pow-prod-down_binary64_3559 pow-prod-down_binary64_4582 associate-*l/_binary64_4454 associate-+r+_binary64_10 *-commutative_binary64_3419 associate-/r*_binary64_4455 sqr-abs_binary64_1798 flip--_binary64_1758 cbrt-prod_binary64 unswap-sqr_binary64_2774 prod-exp_binary64_4560
5×	difference-of-squares_binary64_3457 associate-*l/_binary64_3431 distribute-rgt-in_binary64_4461 flip--_binary64_3804 sqr-pow_binary64_2437 sum-log_binary64_1533 pow-plus_binary64_1846 *-commutative_binary64_4442 rec-exp_binary64_2515 frac-2neg_binary64_771 diff-log_binary64_2216 +-commutative_binary64_3077 sum-log_binary64_3920 unswap-sqr_binary64_4479 distribute-lft-in_binary64_4460 un-div-inv_binary64_2122 clear-num_binary64_759 1-exp_binary64_2509 div-inv_binary64_3485 pow2_binary64_1864 sub-neg_binary64_3481 +-commutative_binary64_2736 div-sub_binary64_1106 rem-sqrt-square_binary64_432 flip3--_binary64_3833
4×	associate--r+_binary64_2401 clear-num_binary64_418 sum-log_binary64_4602 flip--_binary64_4486 1-exp_binary64_463 cancel-sign-sub-inv_binary64_3795 div-exp_binary64_3880 cbrt-undiv_binary64_3863 distribute-lft-out--_binary64_3781 *-commutative_binary64_1032 unpow-prod-down_binary64 associate--r+_binary64_2742 difference-of-sqr-1_binary64_3117 distribute-lft-out_binary64 associate-/l/_binary64_3776 frac-2neg_binary64_430 flip3--_binary64_4515 associate-/r*_binary64_2750 distribute-lft-in_binary64_1050 pow-flip_binary64_2539 exp-prod_binary64_2517 associate-/r/_binary64_3775 sub-neg_binary64_3822 pow-sqr_binary64_3120 log-div_binary64_506 pow-exp_binary64_1169 difference-of-squares_binary64_4480 rec-exp_binary64_469 associate-+r+_binary64_3079 swap-sqr_binary64_727 pow-to-exp_binary64_488 distribute-lft-out--_binary64_4463 unpow3_binary64_3554 unpow-prod-down_binary64_2885 cube-prod_binary64_2152 pow-prod-up_binary64_3217 associate-+r+_binary64_2397 associate-+l+_binary64_1375 distribute-lft-out_binary64_2757 swap-sqr_binary64_1409 sqr-pow_binary64_732 cube-mult_binary64_1472 unpow3_binary64_1508 pow-prod-down_binary64_1172 pow-to-exp_binary64_1852 distribute-rgt-in_binary64_1051 sub-neg_binary64_1776 cube-mult_binary64_3518 rem-cube-cbrt_binary64_442 inv-pow_binary64_2550 pow-exp_binary64_1851 associate--l-_binary64_3085 sub-div_binary64_3836 associate-*r*_binary64_2405 associate--r+_binary64_3765 swap-sqr_binary64_2091 exp-diff_binary64_2513 difference-of-squares_binary64_3798
3×	sqrt-unprod_binary64 pow-prod-up_binary64_4581 sub-neg_binary64_412 sum-log_binary64_851 pow-exp_binary64_3215 log-prod_binary64_2210 pow-to-exp_binary64_829 cancel-sign-sub-inv_binary64_1408 pow1/2_binary64_3227 rem-sqrt-square_binary64_1455 frac-2neg_binary64_3499 rem-sqrt-square_binary64_91 cube-mult_binary64_1813 cancel-sign-sub-inv_binary64_4477 un-div-inv_binary64_76 unpow3_binary64_1849 log-prod_binary64_3233 inv-pow_binary64_504 pow-unpow_binary64_3224 pow-to-exp_binary64_3216 sqrt-prod_binary64_1117 sum-log_binary64_510 cube-div_binary64_448 pow-unpow_binary64_2542 pow-unpow_binary64_837 rem-exp-log_binary64 sub-neg_binary64_2799 unswap-sqr_binary64_2433 clear-num_binary64_3487 +-commutative_binary64_690 div-sub_binary64_2470 pow-flip_binary64_493 +-commutative_binary64_3759 pow-exp_binary64_1510 sub-neg_binary64_4504 rem-log-exp_binary64_460 associate--l+_binary64_2743 sum-log_binary64_2215 pow-prod-up_binary64_1512 sum-log_binary64_3579 associate-/l*_binary64_2751 sqr-pow_binary64_1073 cos-sum_binary64 diff-log_binary64_511 pow-unpow_binary64_1178 +-commutative_binary64_349 un-div-inv_binary64_758 sqrt-prod_binary64_3163 diff-log_binary64_2898 pow-sqr_binary64_1415 pow-to-exp_binary64_1511 pow-sqr_binary64_4484 sqr-pow_binary64_3119
2×	associate-/r/_binary64_4457 div-sub_binary64_3152 div-inv_binary64_3826 pow-exp_binary64_2874 rem-cube-cbrt_binary64_2488 pow-to-exp_binary64_147 cube-mult_binary64_3177 cbrt-undiv_binary64_3181 diff-log_binary64_1875 pow-exp_binary64_2533 unpow3_binary64_2531 distribute-rgt-in_binary64_369 pow-plus_binary64_4574 clear-num_binary64_3146 associate-/l/_binary64_4458 *-commutative_binary64_2396 exp-sum_binary64_3193 unpow3_binary64_826 pow-div_binary64_1517 flip3--_binary64_2810 pow-prod-up_binary64_2194 distribute-rgt-in_binary64_1392 associate--r+_binary64_4447 difference-of-squares_binary64_388 sqrt-div_binary64_1118 rem-square-sqrt_binary64_1795 log-pow_binary64_2554 sub-neg_binary64_1094 diff-log_binary64_170 1-exp_binary64_1486 unpow2_binary64_143 +-commutative_binary64_4441 distribute-lft-out--_binary64_2076 sqrt-unprod_binary64_1803 sqrt-pow1_binary64_3506 pow-plus_binary64_141 cbrt-div_binary64_1133 pow1/3_binary64 associate-/r/_binary64_3093 +-commutative_binary64_1372 associate-+l+_binary64_2739 cube-prod_binary64_788 pow1/2_binary64_3568 rem-cube-cbrt_binary64_783 unpow3_binary64_3213 clear-num_binary64_3828 pow2_binary64_500 associate-/l/_binary64_3094 associate--l+_binary64_3766 sum-log_binary64 div-inv_binary64_3144 rem-cbrt-cube_binary64_443 pow2_binary64_159 +-commutative_binary64_3418 pow-plus_binary64_482 associate-+r+_binary64_3420 cube-mult_binary64_1131 pow-to-exp_binary64_2875 pow-plus_binary64_3210 cube-mult_binary64_2495 distribute-lft-in_binary64_1391 distribute-lft-in_binary64_368 pow-exp_binary64_146 +-commutative_binary64_2054 cube-div_binary64_1130 cube-mult_binary64_790 difference-of-squares_binary64_2093 unpow3_binary64_1167 pow2_binary64_1523 flip--_binary64_2781 associate-+r-_binary64_12 pow-sub_binary64_3223 pow2_binary64_3228 difference-of-squares_binary64_47 sqr-pow_binary64_2778 associate-/l*_binary64_3774 unpow2_binary64_2871 div-exp_binary64_3198 frac-2neg_binary64_3840 pow-sqr_binary64_2097 pow-prod-up_binary64_830 pow-to-exp_binary64_1170 associate-*r/_binary64_2748 cube-div_binary64_2494 un-div-inv_binary64_417 pow-sqr_binary64_733 pow1/3_binary64_160 frac-2neg_binary64_3158 div-sub_binary64_2129 log-prod_binary64_505 +-commutative_binary64 associate-+l+_binary64_2057 pow-plus_binary64_1505 pow2_binary64_4592 cancel-sign-sub-inv_binary64_44 distribute-rgt-out--_binary64_32 cbrt-undiv_binary64_4545 sub-neg_binary64_71 rec-exp_binary64_1492 div-exp_binary64_4562 pow-pow_binary64_832 rem-sqrt-square_binary64_3501 diff-log_binary64_3921
1×	associate-+l-_binary64_2400 rem-exp-log_binary64_2164 sqrt-undiv_binary64_2486 distribute-rgt-out--_binary64_3783 inv-pow_binary64_1527 pow-to-exp_binary64_2534 associate--r-_binary64_2404 sub-neg_binary64 rem-cbrt-cube_binary64_784 pow2_binary64_841 rem-log-exp_binary64_2165 diff-log_binary64 pow-prod-up_binary64_3899 sub-neg_binary64_1435 pow-pow_binary64_1173 div-inv_binary64_2803 rem-log-exp_binary64_3188 div-sub_binary64_1447 distribute-lft-in_binary64_2755 difference-of-squares_binary64_2775 rem-exp-log_binary64_118 rem-log-exp_binary64 diff-log_binary64_3580 pow-plus_binary64_823 sqr-abs_binary64_434 exp-sum_binary64_465 cube-mult_binary64_2154 cbrt-undiv_binary64_2840 rem-cbrt-cube_binary64_1125 pow-pow_binary64_150 associate-+r-_binary64_3081 clear-num_binary64_4510 rem-exp-log_binary64_459 associate-+l+_binary64_4444 rem-log-exp_binary64_2847 cancel-sign-sub-inv_binary64 exp-diff_binary64 distribute-rgt-out--_binary64_373 diff-log_binary64_4603 diff-log_binary64_1534 pow-plus_binary64_2187 unpow1/3_binary64_1168 pow1/3_binary64_2547 pow2_binary64_3569 pow-prod-up_binary64_3558 unpow3_binary64_2190 distribute-lft-out--_binary64_371 associate-/l*_binary64_4456 pow1/3_binary64_1183 pow-pow_binary64_2537 div-exp_binary64_2857 cube-mult_binary64_2836 distribute-lft-out--_binary64_3440 frac-2neg_binary64_4522 rem-sqrt-square_binary64_1114 rem-square-sqrt_binary64_431 pow-sqr_binary64_3802 sqrt-unprod_binary64_439 associate-+l-_binary64_2059 clear-num_binary64_2805 associate-+l-_binary64_1377 associate-+r-_binary64_3422 pow-plus_binary64_3892 rem-cube-cbrt_binary64_3170 sqrt-pow1_binary64_1119 pow2_binary64_3910 pow2_binary64_2205 rem-exp-log_binary64_2505 rem-cbrt-cube_binary64_2489 pow-pow_binary64_3219 div-inv_binary64_4508 pow-sqr_binary64_3461 rem-log-exp_binary64_2506 lft-mult-inverse_binary64_56 pow1/2_binary64_1181 associate-+l+_binary64_3762 cbrt-div_binary64_2497 frac-2neg_binary64_2817 associate-+l-_binary64_2741 distribute-rgt-in_binary64_2756 associate-+r+_binary64_1374 exp-to-pow_binary64_2186

Calls

481 calls:

646.0ms	(*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
128.0ms	(*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
58.0ms	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 370645858300289935006419108089/2422807564493828181570755855648 (pow.f64 x 5)) (/.f64 1660320414109913/6603827387272392 (pow.f64 x 3))))
56.0ms	(*.f64 (-.f64 a 1/3) (+.f64 1 (/.f64 (/.f64 rand (sqrt.f64 (-.f64 a 1/3))) (sqrt.f64 9))))
53.0ms	(/.f64 (*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3))))