rewrite1.3min (12.5%)

Algorithm

154×	rewrite-expression-head

Rules

7415×	*-un-lft-identity_binary64_1442
5734×	times-frac_binary64_1448
3037×	distribute-lft-out_binary64_1393
2277×	add-sqr-sqrt_binary64_1464
2044×	sqrt-prod_binary64_1458
2016×	add-cube-cbrt_binary64_1477
1335×	add-exp-log_binary64_1821
1297×	add-cbrt-cube_binary64_1819
1203×	times-frac_binary64_1789
1148×	pow1_binary64_1844
1100×	*-un-lft-identity_binary64_1783
1078×	times-frac_binary64_2130
997×	prod-exp_binary64_1832
977×	cbrt-unprod_binary64_1816
967×	times-frac_binary64_84
953×	sqrt-prod_binary64_2140
933×	pow-prod-down_binary64_1854
903×	*-un-lft-identity_binary64_2124
896×	add-sqr-sqrt_binary64_2146
810×	add-sqr-sqrt_binary64_1805
641×	add-sqr-sqrt_binary64_100
634×	*-un-lft-identity_binary64_2806
631×	add-cube-cbrt_binary64_2159
603×	times-frac_binary64_2812
597×	add-cube-cbrt_binary64_1818
569×	times-frac_binary64_1107
544×	add-sqr-sqrt_binary64_2828
538×	*-un-lft-identity_binary64_78
534×	*-un-lft-identity_binary64_2465
525×	*-un-lft-identity_binary64_1101
520×	add-cube-cbrt_binary64_113
506×	add-sqr-sqrt_binary64_1123
449×	add-sqr-sqrt_binary64_2487
432×	add-cube-cbrt_binary64_2841
376×	times-frac_binary64_2471
355×	add-cube-cbrt_binary64_1136
344×	sqrt-prod_binary64_1117
340×	associate-/r*_binary64_1386
333×	add-exp-log_binary64_1480
297×	add-cube-cbrt_binary64_2500
280×	associate-*l*_binary64_1724
271×	add-cbrt-cube_binary64_1478
211×	sqrt-prod_binary64_94
206×	distribute-lft-out_binary64_1734
205×	add-sqr-sqrt_binary64_782
199×	add-exp-log_binary64_2503
193×	unpow-prod-down_binary64_2885
192×	add-sqr-sqrt_binary64_441
185×	times-frac_binary64_766
182×	add-exp-log_binary64_116
176×	associate-/r/_binary64_1388
174×	add-exp-log_binary64_2162
168×	pow1_binary64_139
167×	*-un-lft-identity_binary64_3147
165×	times-frac_binary64_425
164×	add-cbrt-cube_binary64_2160
163×	add-cbrt-cube_binary64_2501
156×	sqrt-prod_binary64_1799
153×	*-un-lft-identity_binary64_419 cancel-sign-sub-inv_binary64_2772
152×	*-un-lft-identity_binary64_760
147×	add-cube-cbrt_binary64_454 associate-/r/_binary64_1729
144×	associate-*r*_binary64_1382
143×	add-exp-log_binary64_2844
141×	add-sqr-sqrt_binary64 pow1_binary64
140×	pow1_binary64_2185
139×	pow1_binary64_2526
138×	add-cube-cbrt_binary64_795 swap-sqr_binary64_1409
136×	associate-*l*_binary64_2065
134×	flip-+_binary64_1416 flip3-+_binary64_1445
130×	cube-prod_binary64_2834
128×	add-log-exp_binary64_3186 associate-*l*_binary64_1383
126×	associate-*l*_binary64_19 flip-+_binary64_1757 flip3-+_binary64_1786
120×	add-cbrt-cube_binary64_114
117×	div-exp_binary64_1493
115×	associate-*l*_binary64_2406 associate-*l*_binary64_2747
112×	pow1_binary64_480
110×	log-pow_binary64_167 cancel-sign-sub-inv_binary64_2431
107×	add-cbrt-cube_binary64_2842 pow1_binary64_2867
104×	difference-of-squares_binary64_2093
103×	add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64 add-exp-log_binary64_1139 *-un-lft-identity_binary64
102×	add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_3829 div-inv_binary64_1439 sqrt-prod_binary64
100×	add-sqr-sqrt_binary64_3851
99×	distribute-lft-out_binary64_2416 add-exp-log_binary64 add-cbrt-cube_binary64
98×	associate-*r*_binary64_18 distribute-lft-out_binary64_2757
97×	*-un-lft-identity_binary64_3488
96×	pow1_binary64_821 add-sqr-sqrt_binary64_3169
92×	pow1_binary64_1503 cbrt-prod_binary64_450 unpow-prod-down_binary64_2203 cbrt-undiv_binary64_1476
91×	associate-*r*_binary64_1723
88×	prod-exp_binary64_1491 sqrt-prod_binary64_776
87×	associate-/l*_binary64_1728
86×	add-log-exp_binary64_2845
85×	*-un-lft-identity_binary64_4170 associate-*r*_binary64_2746
84×	associate-*r*_binary64_1041
81×	distribute-lft-out_binary64_2075
80×	sqrt-div_binary64_2141 unpow-prod-down_binary64_1862
79×	div-exp_binary64_1834
78×	associate-/r*_binary64_2068
77×	associate-/l*_binary64_1387 associate-*r*_binary64_2405
76×	cbrt-prod_binary64_2837
75×	prod-exp_binary64_2514
72×	associate-/r*_binary64_1727 associate-/r*_binary64_22 difference-of-squares_binary64_1411
70×	add-exp-log_binary64_3867 associate-/l*_binary64_2069 pow1_binary64_3890 log-pow_binary64_849 div-exp_binary64_129
69×	flip3-+_binary64_2809 flip-+_binary64_2780
68×	add-cube-cbrt_binary64_3864 add-cbrt-cube_binary64_3865
67×	cbrt-undiv_binary64_1817 associate-/l/_binary64_1389 associate-*r*_binary64_359
66×	pow1_binary64_1162 difference-of-squares_binary64_1752
65×	add-exp-log_binary64_798 associate-*l*_binary64
64×	cbrt-unprod_binary64_1475
63×	add-exp-log_binary64_457 add-log-exp_binary64_2163 log-pow_binary64_508
62×	div-inv_binary64_1780 associate-*l*_binary64_1042
61×	prod-exp_binary64_2173 add-log-exp_binary64_1481 frac-times_binary64_1452
58×	cancel-sign-sub-inv_binary64_2090 add-log-exp_binary64_2504 difference-of-squares_binary64_1070
57×	cbrt-unprod_binary64_2157 associate-/l*_binary64_1046 distribute-lft-out--_binary64_1735 add-log-exp_binary64_1822 associate--l+_binary64_2402
56×	cancel-sign-sub-inv_binary64_3113 div-inv_binary64_75 associate-*l*_binary64_701
55×	add-log-exp_binary64_1140 associate-/r*_binary64_1045 add-cube-cbrt_binary64_4205 add-cbrt-cube_binary64_455
54×	cbrt-unprod_binary64_2498 associate-*r*_binary64_2064 pow-prod-down_binary64_2195
53×	unpow-prod-down_binary64_498 cube-prod_binary64_447 add-cube-cbrt_binary64_3182
52×	distribute-lft-out--_binary64_2076 frac-times_binary64_1793 add-log-exp_binary64
51×	add-exp-log_binary64_3185
50×	associate-/l*_binary64_23
49×	distribute-lft-in_binary64_2414 add-cbrt-cube_binary64_3183 distribute-rgt-in_binary64_2415
48×	sqrt-div_binary64_1118 associate-*l*_binary64_3770
46×	associate-*r*_binary64
45×	associate-*r*_binary64_3769 distribute-lft-out_binary64_3098 sum-log_binary64_3238 associate-*r/_binary64_1725
44×	associate-/r*_binary64_2409 pow-prod-down_binary64 add-exp-log_binary64_4208 associate-*r/_binary64_3430
43×	unswap-sqr_binary64_1751 distribute-lft-out--_binary64_1053 distribute-lft-in_binary64_3778 distribute-rgt-in_binary64_3779 distribute-lft-out_binary64_3439
42×	associate-*r*_binary64_700 add-cbrt-cube_binary64_796 distribute-lft-out_binary64_1052 associate-/r/_binary64_1047 associate-/r*_binary64_2750 unswap-sqr_binary64_46
41×	*-un-lft-identity_binary64_4511 times-frac_binary64_4176 associate-/r/_binary64_2070
40×	frac-add_binary64_3155 flip3-+_binary64_3491 prod-exp_binary64_127 associate-*l/_binary64_1385 add-cbrt-cube_binary64_4206 associate-*r/_binary64_3771 flip-+_binary64_3462
39×	pow1_binary64_3208 unpow-prod-down_binary64_1180
38×	associate-*l/_binary64_3772 unpow-prod-down_binary64_2544 difference-of-squares_binary64_2434 associate-*r*_binary64_3428 add-sqr-sqrt_binary64_3510
37×	associate-*r/_binary64_1384 unswap-sqr_binary64_2433 flip3-+_binary64_3832 flip-+_binary64_3803
36×	distribute-lft-out--_binary64_2417 cbrt-prod_binary64_3860
35×	cancel-sign-sub-inv_binary64_3795 add-log-exp_binary64_3868 log-prod_binary64_2892
34×	add-log-exp_binary64_458 associate-/l/_binary64_1730 associate-/r/_binary64_2752
33×	distribute-lft-out--_binary64_1394 unswap-sqr_binary64_2774 flip3-+_binary64_2127 flip-+_binary64_2098 flip-+_binary64_1075 prod-exp_binary64_2855 difference-of-sqr-1_binary64_1753 flip3-+_binary64_1104
32×	associate-*r/_binary64_2748 associate-*l/_binary64_1726 flip3--_binary64_1105 flip--_binary64_1076 associate--l+_binary64_3084
31×	sqr-pow_binary64_2778 cbrt-undiv_binary64_112
30×	sqrt-pow1_binary64 sqr-pow_binary64_1755 pow-prod-down_binary64_2536
29×	unpow-prod-down_binary64_1521 cbrt-unprod_binary64 add-cbrt-cube_binary64_3524 pow1_binary64_4231 add-exp-log_binary64_3526 prod-exp_binary64
28×	div-inv_binary64_2803 sqrt-prod_binary64_435 cbrt-prod_binary64_2496 associate-*r*_binary64_4110 cbrt-unprod_binary64_111 frac-sub_binary64_2815
27×	add-log-exp_binary64_117 log-prod_binary64_846 add-sqr-sqrt_binary64_4533 add-log-exp_binary64_799
26×	pow1_binary64_3549 diff-log_binary64_3239 div-inv_binary64_2121 div-inv_binary64_2462 distribute-lft-out--_binary64_3099 add-cube-cbrt_binary64_3523 associate-*r/_binary64_1043
25×	prod-exp_binary64_3878 unswap-sqr_binary64_1410 cbrt-unprod_binary64_3862 cbrt-prod_binary64_791 pow-prod-down_binary64_3900 pow-unpow_binary64_837 associate-*l*_binary64_4111
24×	div-exp_binary64_2175 add-log-exp_binary64_4550 associate-*r/_binary64_4112 div-exp_binary64_2857 unswap-sqr_binary64_728 sqrt-div_binary64
23×	cbrt-unprod_binary64_2839 pow1/2_binary64 div-exp_binary64_2516 associate-*l*_binary64_360
22×	associate-/l*_binary64_2410 div-inv_binary64_1098 log-pow_binary64_2895 difference-of-squares_binary64_2775
21×	sqrt-prod_binary64_3504 sqrt-prod_binary64_2481 flip3--_binary64_2469 flip--_binary64_2440 clear-num_binary64_1441 frac-2neg_binary64_1453 associate-/l*_binary64_2751 sqrt-prod_binary64_2822 sqr-pow_binary64_1073
20×	cbrt-unprod_binary64_1134 associate-*r*_binary64_3087 add-log-exp_binary64_4209 sub-neg_binary64_3140 cbrt-undiv_binary64_2158 prod-exp_binary64_1150 frac-sub_binary64_3838 div-exp_binary64_1152 cbrt-undiv_binary64_1135 swap-sqr_binary64_2773 frac-add_binary64_2814
19×	prod-exp_binary64_3196 rec-exp_binary64_128 flip--_binary64_3804 cbrt-undiv_binary64_2499 difference-of-squares_binary64_3116 log-pow_binary64_1531 flip3--_binary64_3833 1-exp_binary64_122 *-commutative_binary64_2396 sqr-pow_binary64_1414 swap-sqr_binary64_2432
18×	pow1/3_binary64_2888 cbrt-div_binary64_792 flip-+_binary64_3121 cbrt-div_binary64_3861 flip3-+_binary64_3150 add-cube-cbrt_binary64_4546 log-prod_binary64_1528 sqrt-div_binary64_2823 frac-times_binary64_2816 associate-*r*_binary64_4451 sqrt-div_binary64_3505 pow-prod-down_binary64_2877 cbrt-div_binary64_2838 unswap-sqr_binary64_1069 associate--l+_binary64_2743
17×	add-log-exp_binary64_3527 cbrt-prod_binary64 pow-prod-down_binary64_149 unpow2_binary64_2871 pow1_binary64_4572 add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 associate-*r/_binary64_2407 sub-neg_binary64_2799 frac-sub_binary64_2474
16×	associate-/l*_binary64_364 frac-sub_binary64_3497 frac-times_binary64_3839 flip3-+_binary64_763 distribute-lft-neg-in_binary64 flip-+_binary64_734 clear-num_binary64_1782 flip3--_binary64_2128 unpow-prod-down_binary64_3567 distribute-rgt-in_binary64_2756 associate--l+_binary64_3766 frac-2neg_binary64_1794 sqrt-pow1_binary64_2142 pow-pow_binary64_1855 unswap-sqr_binary64_387 cube-prod_binary64_3516 distribute-rgt-neg-in_binary64 flip--_binary64_2099 associate-/r*_binary64_363 distribute-lft-in_binary64_2755
15×	sqr-pow_binary64_2437 associate-/r*_binary64_704 sub-neg_binary64_3822 pow-exp_binary64_2533 unswap-sqr_binary64_2092 *-commutative_binary64_1714 *-commutative_binary64_2737 pow-prod-up_binary64_2535 *-commutative_binary64 prod-exp_binary64_4219
14×	unswap-sqr_binary64_3797 distribute-lft-out_binary64_3780 associate-*r/_binary64_20 sub-neg_binary64_2458 flip-+_binary64 sum-log_binary64_2897 associate-/l*_binary64_705 pow-plus_binary64_2528 rem-sqrt-square_binary64 pow-prod-down_binary64_1172 flip3-+_binary64 prod-exp_binary64_809
13×	pow1/2_binary64_2204 sqrt-div_binary64_95 associate-/r/_binary64_2411 *-commutative_binary64_3760 cbrt-undiv_binary64_2840 sqrt-pow1_binary64_437 pow-exp_binary64_2874 pow-prod-down_binary64_1513 div-exp_binary64_811 exp-prod_binary64_1835 frac-times_binary64_1111 1-exp_binary64_1486 associate-*l/_binary64_1044 rec-exp_binary64_1492 associate-*l*_binary64_3429 pow-flip_binary64_1516
12×	flip3-+_binary64_4173 flip--_binary64_3122 flip-+_binary64_4144 flip3--_binary64_3151 associate-/l*_binary64_4115 cube-prod_binary64_2152 clear-num_binary64_77 div-inv_binary64_416 unpow-prod-down_binary64_839 frac-2neg_binary64_89 exp-prod_binary64_1494 prod-exp_binary64_468 pow-unpow_binary64_1860 log-div_binary64_4257 frac-times_binary64_3498 unswap-sqr_binary64_4138 unswap-sqr_binary64 sqrt-div_binary64_436 diff-log_binary64_2898 associate-*r/_binary64_3089 cancel-sign-sub-inv_binary64_1067
11×	pow-to-exp_binary64_2534 distribute-rgt-in_binary64_1051 difference-of-squares_binary64_4139 cbrt-unprod_binary64_4203 distribute-lft-in_binary64_1050 rem-sqrt-square_binary64_2137 associate-/l/_binary64_2071 *-commutative_binary64_2055 flip--_binary64_4145 pow-to-exp_binary64_2875 cbrt-unprod_binary64_3180 flip3--_binary64_4174 associate-*l*_binary64_3088 sum-log_binary64_1533
10×	sqrt-div_binary64_1800 pow-prod-down_binary64_490 div-exp_binary64_470 frac-2neg_binary64_1112 distribute-lft-out--_binary64_2758 pow1/2_binary64_499 pow1/3_binary64_2547 cbrt-unprod_binary64_452 associate-*r/_binary64_4453 clear-num_binary64_1100 sqrt-pow1_binary64_1460
9×	flip--_binary64_2781 *-commutative_binary64_1373 associate-*l/_binary64_2749 *-commutative_binary64_1032 *-commutative_binary64_9 distribute-lft-out_binary64_4121 pow1/3_binary64_842 associate-*l/_binary64_2408 cancel-sign-sub-inv_binary64_4136 associate-*l*_binary64_4452 frac-times_binary64_2475 clear-num_binary64_2123 flip3--_binary64_2810 pow1/3_binary64_3911 flip-+_binary64_393 swap-sqr_binary64_3796 frac-2neg_binary64_2135 flip3-+_binary64_422 cancel-sign-sub-inv_binary64_4477
8×	cube-prod_binary64_2493 cbrt-prod_binary64_4542 flip--_binary64_1417 flip3--_binary64_1446 unpow-prod-down_binary64_4249 associate--l-_binary64_3085 distribute-lft-out_binary64_4462 prod-exp_binary64_3537 pow-prod-down_binary64_4241 cube-prod_binary64_4198 log-pow_binary64 distribute-lft-out--_binary64_4463 times-frac_binary64_3153 associate-*l/_binary64_3431 frac-add_binary64_4178 associate-/r*_binary64_3091 pow-exp_binary64_1851 frac-times_binary64_88 pow-to-exp_binary64_1852 difference-of-sqr-1_binary64_3117 cbrt-unprod_binary64_3521 diff-log_binary64_2216 sqrt-div_binary64_1459 sub-neg_binary64_2117 sum-log_binary64_1192 cbrt-undiv_binary64_794 associate-/r*_binary64_4114
7×	sqrt-pow1_binary64_2483 sqrt-pow1_binary64_1801 pow-prod-down_binary64_3559 pow1/2_binary64_2545 cancel-sign-sub-inv_binary64_1408 associate-/l/_binary64_1048 clear-num_binary64_2805 pow1/2_binary64_1863 rem-sqrt-square_binary64_1796 pow1/3_binary64 distribute-rgt-in_binary64_710 distribute-lft-in_binary64_4460 pow-prod-down_binary64_3218 div-inv_binary64_757 pow-sqr_binary64_2438 frac-2neg_binary64_2817 associate-*r/_binary64_361 distribute-rgt-in_binary64_4120 sqrt-pow1_binary64_1119 rem-sqrt-square_binary64_2478 +-commutative_binary64_1031 distribute-lft-in_binary64_4119 distribute-lft-in_binary64_709 cbrt-unprod_binary64_793 distribute-rgt-in_binary64_4461 associate-*l/_binary64_21
6×	log-prod_binary64_4256 clear-num_binary64_2464 rem-sqrt-square_binary64_432 associate-*l/_binary64_4113 swap-sqr_binary64_727 diff-log_binary64_4603 pow-unpow_binary64_2883 pow-unpow_binary64_496 frac-2neg_binary64_2476 pow1/2_binary64_1181 pow1/2_binary64_840 difference-of-squares_binary64_3798 distribute-rgt-in_binary64_3438 flip3-+_binary64_2468 sqr-pow_binary64_391 associate--r+_binary64_2742 rem-log-exp_binary64_801 distribute-lft-out--_binary64_4122 flip-+_binary64_2439 pow2_binary64_2546 frac-add_binary64_2473 cbrt-undiv_binary64_453 distribute-rgt-in_binary64_3097 exp-diff_binary64_4218 div-sub_binary64_2129 +-commutative_binary64_1372 *-commutative_binary64_350 distribute-lft-in_binary64_3437 sqrt-pow1_binary64_778 pow-exp_binary64_487 distribute-lft-in_binary64_3096 *-commutative_binary64_4101
5×	rem-sqrt-square_binary64_1114 exp-prod_binary64_2858 *-commutative_binary64_3419 sub-neg_binary64_4504 unswap-sqr_binary64_3456 exp-sum_binary64_2852 diff-log_binary64_2557 times-frac_binary64_3835 associate-*r/_binary64_2066 associate-/r*_binary64_3773 flip3-+_binary64_4514 log-div_binary64_847 unpow3_binary64_485 pow-flip_binary64_152 difference-cubes_binary64_1103 flip-+_binary64_4485 frac-times_binary64_2134 pow-pow_binary64_491 inv-pow_binary64_163 *-commutative_binary64_3078 frac-times_binary64_770 pow-prod-down_binary64_831 frac-add_binary64_1109 cube-mult_binary64_449 +-commutative_binary64_3077
4×	associate-*l/_binary64_703 sqrt-pow1_binary64_3165 cube-mult_binary64_2836 neg-mul-1_binary64 sum-log_binary64_510 unpow3_binary64_2190 associate-+l+_binary64_1034 distribute-lft-in_binary64_1732 cbrt-undiv_binary64_4204 sqrt-unprod_binary64 associate-/r/_binary64_3093 cube-prod_binary64_1811 sum-log_binary64_4602 distribute-rgt-in_binary64_1733 pow-plus_binary64_1505 1-exp_binary64_463 sum-log_binary64_851 associate-/l/_binary64_2412 frac-2neg_binary64_430 pow-prod-up_binary64_2876 pow-sqr_binary64_1415 cbrt-unprod_binary64_4544 1-exp_binary64_1827 pow-flip_binary64_493 rec-exp_binary64_469 associate-+r+_binary64_1033 rec-exp_binary64_1833 rem-log-exp_binary64_2847 associate-*l/_binary64_2067 associate-/r/_binary64_4116 sqr-pow_binary64_4142 associate-*r/_binary64_702 pow2_binary64_1523 +-commutative_binary64_690 inv-pow_binary64_504 frac-sub_binary64_4179 sqr-pow_binary64_732 div-exp_binary64_3198 cube-div_binary64_4540 sqr-pow_binary64_2096 div-exp_binary64_4221 sqrt-div_binary64_777 associate-/l/_binary64_3094 pow-sqr_binary64_2779 cube-mult_binary64_2154 cos-sum_binary64 unpow3_binary64_2872 clear-num_binary64_418 +-commutative_binary64_349 pow-prod-up_binary64_1512 cbrt-undiv_binary64_3181 pow-prod-down_binary64_4582 rem-cube-cbrt_binary64_442 +-commutative_binary64_2736 prod-exp_binary64_4560 sub-div_binary64_3495 exp-prod_binary64_4222 associate-+l+_binary64_3080
3×	sum-log_binary64_1874 frac-2neg_binary64_771 distribute-lft-neg-in_binary64_3786 flip3--_binary64_4515 associate-/r*_binary64_3432 times-frac_binary64_3494 sub-neg_binary64_1094 pow-to-exp_binary64_1511 exp-sum_binary64_1488 div-inv_binary64_4167 unswap-sqr_binary64_4479 flip-+_binary64_52 clear-num_binary64_759 distribute-lft-out_binary64_711 sum-log_binary64_3920 flip--_binary64_4486 pow-unpow_binary64_4588 diff-log_binary64_3921 exp-sum_binary64_4216 pow-exp_binary64_1510 sub-neg_binary64_4163 cube-div_binary64_448 distribute-rgt-out_binary64_1054 unswap-sqr_binary64_3115 frac-2neg_binary64_4181 diff-log_binary64_1193 sum-log_binary64_2556 swap-sqr_binary64_1750 distribute-lft-out--_binary64_3781 flip3--_binary64_1787 1-exp_binary64_804 rem-cube-cbrt_binary64_2829 cancel-sign-sub-inv_binary64_385 distribute-rgt-neg-in_binary64_3787 *-commutative_binary64_4442 pow-unpow_binary64_2542 *-commutative_binary64_691 +-commutative_binary64_3759 flip--_binary64_1758 rec-exp_binary64_810 flip3-+_binary64_81 rem-log-exp_binary64_1483 inv-pow_binary64_1527 associate--l+_binary64_4448 clear-num_binary64_4169
2×	difference-of-squares_binary64_388 unpow3_binary64_4236 pow-exp_binary64_828 associate-/l/_binary64_3435 associate-/r/_binary64_3434 sum-cubes_binary64_3489 pow-prod-up_binary64_830 div-sub_binary64_4175 diff-log_binary64_4262 rec-exp_binary64_2856 sum-log_binary64_169 distribute-lft-out_binary64_29 pow1/2_binary64_3227 associate-+r+_binary64_3420 cube-prod_binary64_4539 associate-+r+_binary64_1715 pow-pow_binary64_2878 associate--l+_binary64_4107 pow2_binary64_2887 sqrt-prod_binary64_3163 pow-to-exp_binary64_4239 +-commutative_binary64 flip--_binary64_394 log-pow_binary64_4259 frac-2neg_binary64_3158 div-sub_binary64_424 div-sub_binary64_2470 pow-exp_binary64_4238 +-commutative_binary64_8 rec-exp_binary64_2515 sub-neg_binary64_1776 unpow3_binary64_4577 pow1/2_binary64_2886 pow1/2_binary64_1522 pow-plus_binary64_2869 cube-mult_binary64_4200 sum-log_binary64 cbrt-undiv_binary64_3863 cosh-undef_binary64_954 pow-sqr_binary64_733 sqr-pow_binary64_4483 associate-/l/_binary64_3776 sqrt-pow1_binary64_2824 pow-exp_binary64_4579 +-commutative_binary64_1713 associate-+l+_binary64_4444 cbrt-div_binary64_4543 associate-/r/_binary64_3775 pow-prod-up_binary64_3899 diff-log_binary64_1875 sqrt-pow1_binary64_3506 clear-num_binary64_3146 +-commutative_binary64_2054 cbrt-div_binary64_451 difference-of-squares_binary64_4480 pow-to-exp_binary64_488 pow1/2_binary64_3568 pow1/3_binary64_501 log-div_binary64_2893 distribute-rgt-in_binary64_1392 associate-+r+_binary64_2738 unpow3_binary64_2531 div-exp_binary64_3539 associate-+r-_binary64_1717 flip3--_binary64_423 associate-/l/_binary64_4117 associate-/l*_binary64_3092 unpow-prod-down_binary64_4590 associate-+l+_binary64_3762 1-exp_binary64_2850 rem-cube-cbrt_binary64_4534 rem-sqrt-square_binary64_2819 pow-flip_binary64_2880 div-inv_binary64_3144 cosh-def_binary64_946 rec-exp_binary64_2174 exp-sum_binary64_3193 pow-exp_binary64_3215 inv-pow_binary64_2891 1-exp_binary64_2509 unpow1/3_binary64_2532 associate--l+_binary64_3425 pow3_binary64_2548 cube-mult_binary64_2495 associate--r+_binary64_3424 pow-pow_binary64_4583 1-exp_binary64_2168 sum-log_binary64_2215 unpow2_binary64_2530 cancel-sign-sub-inv_binary64_1749 sum-log_binary64_3579 div-sub_binary64_765 associate-+l-_binary64_4446 +-commutative_binary64_2395 pow-sqr_binary64_3802 distribute-lft-in_binary64_1391 associate-/r/_binary64_24 cube-mult_binary64_4541 associate-+r+_binary64_3079 sum-log_binary64_4261 log-div_binary64_506 pow-sub_binary64_3223 rem-cbrt-cube_binary64_443 sqrt-undiv_binary64_2145 pow-to-exp_binary64_3216 div-exp_binary64_3880 +-commutative_binary64_3418 rem-sqrt-square_binary64_3501 cbrt-undiv_binary64_3522 rem-3cbrt-lft_binary64_2490 associate-*l/_binary64_3090 pow-to-exp_binary64_829
1×	unpow3_binary64_1167 exp-diff_binary64_2854 frac-2neg_binary64_3499 rem-exp-log_binary64_4210 cube-mult_binary64_1813 sub-neg_binary64_3481 sub-neg_binary64_1435 pow-pow_binary64_832 inv-pow_binary64_2550 pow-pow_binary64_2537 +-commutative_binary64_4441 distribute-lft-out--_binary64_371 pow-plus_binary64_1846 flip--_binary64_3463 associate-*l/_binary64_362 pow2_binary64_1864 +-commutative_binary64_4100 rem-sqrt-square_binary64_773 clear-num_binary64_3487 pow1/3_binary64_4593 distribute-rgt-in_binary64_28 frac-2neg_binary64_3840 distribute-lft-in_binary64_368 cube-prod_binary64_1129 associate-+l+_binary64_1375 associate-/l*_binary64_3433 pow-plus_binary64_823 cube-mult_binary64_1131 sin-sum_binary64 pow-prod-up_binary64_1853 diff-log_binary64_1534 un-div-inv_binary64_417 clear-num_binary64_3828 associate-+l-_binary64_2400 associate-+r-_binary64_3081 associate-+r-_binary64_4104 rem-log-exp_binary64_4211 pow-flip_binary64_2539 exp-to-pow_binary64_1845 pow-to-exp_binary64_4580 associate-/l/_binary64_25 div-sub_binary64_1447 diff-log_binary64_511 div-sub_binary64_1788 sub-div_binary64_2472 distribute-lft-neg-out_binary64_3788 flip3--_binary64_3492 cancel-sign-sub-inv_binary64_3454 distribute-lft-in_binary64_27 associate--r+_binary64_4106 diff-log_binary64_3580 div-sub_binary64_1106 div-inv_binary64_3485 rem-cbrt-cube_binary64_4535 distribute-rgt-in_binary64_369 neg-mul-1_binary64_3825 associate-+l-_binary64_1036 distribute-rgt-out--_binary64_3101 distribute-rgt-out--_binary64_3442 un-div-inv_binary64_76 pow2_binary64_3910 div-inv_binary64_3826 pow2_binary64_841 pow-plus_binary64_3892 associate-+l+_binary64_2739 associate-/l*_binary64_3774 rem-exp-log_binary64_1823 cube-div_binary64_2835 pow-sqr_binary64_1756 unpow3_binary64_1849 associate--l-_binary64_4449 sub-neg_binary64_412

Counts

443 → 16236

Calls

332 calls:

1.4s	(*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
692.0ms	(*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))
133.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 alpha (+.f64 2 beta)))))) (+.f64 alpha (+.f64 beta 3)))
118.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)))
106.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 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))

Compiler

Compiled 865485 to 494022 computations (42.9% saved)