rewrite1.1min (10%)

Algorithm

154×	rewrite-expression-head

Rules

3074×	*-un-lft-identity_binary64_1442
3008×	times-frac_binary64_1448
1710×	add-sqr-sqrt_binary64_1464
1253×	add-cube-cbrt_binary64_1477
1245×	times-frac_binary64_1789
1150×	*-un-lft-identity_binary64_1783
828×	add-sqr-sqrt_binary64_1805
826×	distribute-lft-out_binary64_1393
796×	*-un-lft-identity_binary64_2465
746×	times-frac_binary64_2471
666×	add-sqr-sqrt_binary64_2487
605×	associate-*r*_binary64_1382
591×	add-cube-cbrt_binary64_1818
589×	*-un-lft-identity_binary64_1101
573×	times-frac_binary64_1107
462×	times-frac_binary64_84
454×	add-cube-cbrt_binary64_2500
431×	add-sqr-sqrt_binary64_2146
420×	add-exp-log_binary64_1480
412×	*-un-lft-identity_binary64_4170
388×	*-un-lft-identity_binary64_2124
387×	add-sqr-sqrt_binary64_1123
363×	add-cube-cbrt_binary64_1136
353×	sqrt-prod_binary64_2481
340×	add-cbrt-cube_binary64_1478 unpow-prod-down_binary64_1862
338×	times-frac_binary64_2130
316×	add-sqr-sqrt_binary64_100
313×	cancel-sign-sub-inv_binary64_1749
301×	pow1_binary64_139
300×	*-un-lft-identity_binary64_78
289×	associate-*l*_binary64_2406
285×	add-cube-cbrt_binary64_113
266×	times-frac_binary64_425
258×	distribute-lft-out_binary64_1734
256×	add-sqr-sqrt_binary64_441
254×	add-sqr-sqrt_binary64_4192
253×	add-cube-cbrt_binary64_2159
249×	sqrt-prod_binary64_2140
247×	times-frac_binary64_4176
243×	sqrt-prod_binary64_1117
239×	add-exp-log_binary64_1821
226×	add-cbrt-cube_binary64_1819
225×	*-un-lft-identity_binary64_419
216×	add-cube-cbrt_binary64_454
211×	associate-/r*_binary64_1386
206×	cube-prod_binary64_1811 log-pow_binary64_167 associate-*r*_binary64_1723
198×	add-sqr-sqrt_binary64_782 associate-/r/_binary64_1388
184×	times-frac_binary64_766
182×	difference-of-squares_binary64_1411
166×	associate-/r/_binary64_1729 div-exp_binary64_1493
163×	add-exp-log_binary64_2162 distribute-lft-out--_binary64_1394
162×	add-exp-log_binary64_3185
159×	add-sqr-sqrt_binary64_3510
158×	*-un-lft-identity_binary64_3147
154×	unpow-prod-down_binary64_2544
152×	add-cube-cbrt_binary64_4205 pow1_binary64_480
151×	associate-*l*_binary64_1724
145×	add-cbrt-cube_binary64_3183
141×	pow1_binary64_3208
140×	pow1_binary64
138×	distribute-lft-out_binary64_2416 add-sqr-sqrt_binary64
137×	*-un-lft-identity_binary64_760
129×	add-cube-cbrt_binary64_795 *-un-lft-identity_binary64_3488
128×	flip-+_binary64_1416 flip3-+_binary64_1445 add-cbrt-cube_binary64_2160
125×	add-log-exp_binary64_3186 associate-*l*_binary64_1383
124×	associate-/l*_binary64_1387
123×	flip-+_binary64_1757 cbrt-undiv_binary64_1476 flip3-+_binary64_1786
122×	add-exp-log_binary64_116
119×	div-inv_binary64_1439 *-un-lft-identity_binary64
117×	associate-*r*_binary64_2064
116×	distribute-lft-out--_binary64_4122
115×	associate-*l*_binary64_2065
114×	add-exp-log_binary64_2503
112×	sqrt-prod_binary64_776
111×	*-un-lft-identity_binary64_3829
110×	distribute-lft-out_binary64_1052 prod-exp_binary64_1491
109×	add-exp-log_binary64_3526
106×	add-sqr-sqrt_binary64_3169
104×	add-cbrt-cube_binary64_2501
103×	add-cube-cbrt_binary64 add-cbrt-cube_binary64_114
102×	pow1_binary64_3549 add-exp-log_binary64
99×	add-cbrt-cube_binary64
96×	difference-of-squares_binary64_1752
95×	pow1_binary64_2185
94×	prod-exp_binary64_3196 cbrt-div_binary64_3520
93×	add-exp-log_binary64_798
92×	add-sqr-sqrt_binary64_2828
90×	difference-of-squares_binary64_4139
89×	add-cube-cbrt_binary64_3523
87×	log-pow_binary64_508
86×	unpow-prod-down_binary64_2203
84×	add-exp-log_binary64_1139
83×	pow1_binary64_2526
82×	cbrt-unprod_binary64_1475 pow1_binary64_1503 pow1_binary64_1844
80×	add-cbrt-cube_binary64_3524 associate-*r/_binary64_3430
79×	add-exp-log_binary64_457
78×	sqrt-div_binary64_95 add-cbrt-cube_binary64_1137 div-exp_binary64_1834 add-sqr-sqrt_binary64_3851
76×	unpow-prod-down_binary64_1180
75×	sqrt-prod_binary64_435
74×	add-cube-cbrt_binary64_3182
71×	cbrt-undiv_binary64_1817 associate-*r*_binary64_700
70×	add-cbrt-cube_binary64_455 div-inv_binary64_1780 cbrt-unprod_binary64_3180 cbrt-prod_binary64_1814
69×	*-un-lft-identity_binary64_2806 add-cbrt-cube_binary64_796 difference-of-squares_binary64_2434
68×	add-log-exp_binary64_2504 associate-*r*_binary64_3428 associate-/r*_binary64_22
67×	associate-/r*_binary64_1045
66×	cube-prod_binary64_2493
65×	associate-*r*_binary64_359
64×	associate-*r*_binary64_4110
63×	unswap-sqr_binary64_2092 pow1_binary64_821
62×	pow1_binary64_1162
61×	pow-prod-down_binary64_3218 add-cube-cbrt_binary64_2841
60×	prod-exp_binary64_1832 sqrt-prod_binary64
59×	add-log-exp_binary64_1481 associate-*r*_binary64_18 associate-/l*_binary64_1728 associate-*l*_binary64_701
57×	distribute-lft-out_binary64_2075 sqr-pow_binary64_1755
56×	cbrt-unprod_binary64_1816 associate-/l*_binary64_1046 add-cbrt-cube_binary64_4206 add-exp-log_binary64_4208
55×	add-log-exp_binary64
54×	add-exp-log_binary64_3867 add-log-exp_binary64_3527 pow1/3_binary64_160 add-cbrt-cube_binary64_3865 associate-/l*_binary64_23 cbrt-div_binary64_110 associate-/r*_binary64_1727
53×	pow1_binary64_3890 distribute-lft-out--_binary64_2417
52×	sqrt-prod_binary64_94 add-log-exp_binary64_1822 add-log-exp_binary64_2163
51×	associate-*r*_binary64_3769 frac-times_binary64_1793 associate-/l/_binary64_1389
50×	prod-exp_binary64_2173 cbrt-prod_binary64_2837 add-cube-cbrt_binary64_3864 associate-*r*_binary64
49×	pow1_binary64_2867 add-log-exp_binary64_1140 prod-exp_binary64_3537 log-prod_binary64_505 associate-/r*_binary64_4114
47×	pow-prod-up_binary64_148 cbrt-prod_binary64_450 flip-+_binary64_52 flip-+_binary64_1075 flip3-+_binary64_81 flip3-+_binary64_1104
46×	add-log-exp_binary64_4209 associate-*r/_binary64_1725 associate-*l*_binary64
45×	pow-prod-down_binary64_149 sum-log_binary64_3238 associate-*l*_binary64_3088
44×	associate-/r*_binary64_2068 pow1_binary64_4231 pow-prod-down_binary64
43×	cancel-sign-sub-inv_binary64_4136
42×	distribute-lft-out_binary64_3098 frac-times_binary64_1452
41×	pow-prod-down_binary64_3559 associate-/r/_binary64_1047
40×	add-log-exp_binary64_117 sqrt-div_binary64_1118
39×	associate-*r*_binary64_3087 cbrt-unprod_binary64_3521
38×	times-frac_binary64_3494 sqrt-prod_binary64_3845 distribute-lft-out_binary64_4121
37×	distribute-lft-out--_binary64_1735
36×	cbrt-unprod_binary64_2157 sqrt-div_binary64_3846 flip3-+_binary64_2468 add-log-exp_binary64_3868 flip-+_binary64_2439 frac-times_binary64_3498 cbrt-prod_binary64_109 associate-*l*_binary64_3429 associate-/r*_binary64_363 sqrt-prod_binary64_1458 add-log-exp_binary64_458
35×	sqr-pow_binary64_2437 add-exp-log_binary64_2844 flip3-+_binary64_3491 cancel-sign-sub-inv_binary64_3454 flip-+_binary64_3462
34×	associate-/r*_binary64_2409 associate-*r/_binary64_3771
33×	cbrt-prod_binary64 unswap-sqr_binary64_1410 log-pow_binary64_849 flip3--_binary64_4174 flip--_binary64_4145
32×	flip--_binary64_3463 associate-/l*_binary64_2410 flip3--_binary64_3492 distribute-lft-out_binary64_3780 frac-times_binary64_88 log-div_binary64_165 flip3-+_binary64_3832 flip-+_binary64_3803 difference-of-sqr-1_binary64_1753
31×	pow-plus_binary64_141 sqrt-pow1_binary64
30×	associate-*l/_binary64_1385 sqrt-div_binary64_2141
29×	associate-/r*_binary64_704 div-exp_binary64_2175 associate-*l/_binary64_1726 associate-*l*_binary64_360 associate-*r*_binary64_1041 unswap-sqr_binary64_1751
28×	associate-*r/_binary64_1384 cbrt-unprod_binary64 div-sub_binary64_83 prod-exp_binary64_809 associate-*l*_binary64_2747 prod-exp_binary64
27×	add-cbrt-cube_binary64_2842 prod-exp_binary64_127 associate-*l*_binary64_4111
26×	*-un-lft-identity_binary64_4511 associate-*l*_binary64_19 div-inv_binary64_75 cbrt-prod_binary64_3519 distribute-rgt-in_binary64_4120 div-exp_binary64_2516 div-exp_binary64_129 sqrt-prod_binary64_1799 distribute-lft-in_binary64_4119
25×	associate-*l*_binary64_1042 unswap-sqr_binary64_728 pow-prod-down_binary64_2195 cbrt-prod_binary64_3178
24×	swap-sqr_binary64_4137 clear-num_binary64_1441 frac-2neg_binary64_1453 div-exp_binary64_811 flip3-+_binary64_2127 flip-+_binary64_2098 frac-add_binary64_3155 associate-*l/_binary64_3431 cancel-sign-sub-inv_binary64_3113 associate-*l*_binary64_3770 sqrt-div_binary64
23×	associate-*r/_binary64_20 cbrt-unprod_binary64_111 associate-*r*_binary64_2746
22×	unswap-sqr_binary64_3456 associate-/r/_binary64_2070 pow1/2_binary64 distribute-rgt-in_binary64_3438 pow-prod-down_binary64_490 div-inv_binary64_1098 add-log-exp_binary64_2845 distribute-lft-in_binary64_3437 associate-/l/_binary64_1730
21×	associate-/l*_binary64_2069 unswap-sqr_binary64_2433 cbrt-prod_binary64_1132 div-inv_binary64_2462 associate-*r*_binary64_4451 pow-unpow_binary64_2542
20×	associate-/l*_binary64_364 unpow-prod-down_binary64 sqrt-div_binary64_2482 unpow-prod-down_binary64_3567 cbrt-undiv_binary64_2499 associate--r+_binary64_4106 cbrt-undiv_binary64_112
19×	pow-pow_binary64_2537 flip-+_binary64_3121 flip3-+_binary64_3150 associate-/r/_binary64_4116 sub-neg_binary64_4163 associate-+r+_binary64_351 associate-*r*_binary64_2405
18×	pow1/3_binary64_2888 associate-/r/_binary64_2411 sqrt-pow1_binary64_437 1-exp_binary64_1486 div-exp_binary64_1152 cbrt-div_binary64_2838 add-log-exp_binary64_799 cbrt-unprod_binary64_793
17×	sub-neg_binary64_3481 exp-prod_binary64_2517 cbrt-undiv_binary64_2158 div-inv_binary64_416 pow-sqr_binary64_51 associate-*r/_binary64_4112 prod-exp_binary64_2514 *-commutative_binary64_3078 add-sqr-sqrt_binary64_4533 pow-prod-down_binary64_1854
16×	sqrt-pow1_binary64_2483 cancel-sign-sub-inv_binary64_2772 clear-num_binary64_1782 frac-2neg_binary64_1794 flip3--_binary64_1787 associate--l+_binary64_3425 associate--l+_binary64_3084 *-commutative_binary64 flip--_binary64_1758 associate-*l/_binary64_21 cbrt-undiv_binary64_794
15×	difference-of-squares_binary64_3457 prod-exp_binary64_3878 cbrt-unprod_binary64_3862 pow1/3_binary64_3570 pow-prod-down_binary64_1513 pow1/2_binary64_499 cancel-sign-sub-inv_binary64_1408 unswap-sqr_binary64_387
14×	flip--_binary64_2781 unpow-prod-down_binary64_1521 associate-/l*_binary64_4115 associate-/l*_binary64_705 prod-exp_binary64_468 *-commutative_binary64_2055 flip3--_binary64_2810 flip-+_binary64 sqr-pow_binary64_2096 cbrt-unprod_binary64_452 flip3-+_binary64 sqrt-div_binary64_4528 cbrt-undiv_binary64_1135 unswap-sqr_binary64_46
13×	unswap-sqr_binary64_2774 associate-/l/_binary64_1048 cbrt-unprod_binary64_2498 div-inv_binary64_2121 div-exp_binary64_470 rem-sqrt-square_binary64 pow1/2_binary64_2545 pow1_binary64_4572 sqrt-pow1_binary64_2142 add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 pow-prod-down_binary64_3900 pow1/2_binary64_2204
12×	distribute-lft-out--_binary64_3099 *-commutative_binary64_3419 diff-log_binary64_3239 cube-prod_binary64_2152 exp-prod_binary64_471 frac-times_binary64_3839 div-inv_binary64_757 associate-*r/_binary64_4453 pow-prod-down_binary64_1172 cbrt-prod_binary64_2496 cube-prod_binary64_3516 log-pow_binary64_2895 swap-sqr_binary64_2773 associate-*r/_binary64_1043 times-frac_binary64_2812
11×	cbrt-unprod_binary64_1134 *-commutative_binary64_1373 sqrt-div_binary64_436 flip--_binary64_1417 flip3--_binary64_1446 pow2_binary64_159 prod-exp_binary64_1150 pow-exp_binary64_2533 add-cube-cbrt_binary64_4546 rem-sqrt-square_binary64_2137 sqrt-prod_binary64_4527 swap-sqr_binary64_1409 log-prod_binary64_2892 *-commutative_binary64_1714 unswap-sqr_binary64 rem-sqrt-square_binary64_2478
10×	diff-log_binary64_4262 cbrt-undiv_binary64_4204 div-inv_binary64_4167 distribute-lft-out_binary64_4462 associate-/l/_binary64_2412 clear-num_binary64_77 cbrt-unprod_binary64_4203 frac-2neg_binary64_89 frac-2neg_binary64_1112 associate-/l/_binary64_2071 div-exp_binary64_4221 sqr-pow_binary64_3460 clear-num_binary64_1100 associate-*l/_binary64_1044 sum-log_binary64_3579 associate-*r/_binary64_2407 distribute-lft-out_binary64_3439 prod-exp_binary64_4219 distribute-lft-out--_binary64_3440 associate-+l+_binary64_3421 +-commutative_binary64_3077
9×	pow-to-exp_binary64_2534 associate-+r+_binary64_3420 unswap-sqr_binary64_3797 pow1/3_binary64_3229 *-commutative_binary64_9 times-frac_binary64_3835 swap-sqr_binary64_45 *-commutative_binary64_3760 associate-/r*_binary64_3773 associate-/l*_binary64_3433 flip3-+_binary64_4514 flip3--_binary64_1105 flip--_binary64_1076 flip-+_binary64_4485 unswap-sqr_binary64_3115 pow1/2_binary64_158 sqrt-pow1_binary64_96 *-commutative_binary64_350 prod-exp_binary64_2855 sum-log_binary64_1192
8×	frac-times_binary64_4180 log-prod_binary64_2551 flip--_binary64_2440 pow-prod-down_binary64_2536 sub-neg_binary64_3140 sqrt-div_binary64_1800 associate--l+_binary64_1379 distribute-lft-out_binary64 flip3--_binary64_2469 frac-times_binary64_1111 frac-times_binary64_2475 sum-log_binary64_2556 associate-*r/_binary64_702 associate-/l/_binary64_4117 unswap-sqr_binary64_4138 pow-prod-down_binary64_2877 difference-of-squares_binary64_3116 sqrt-pow1_binary64_1119 rec-exp_binary64_1492 +-commutative_binary64_2395 sqr-pow_binary64_1414
7×	*-commutative_binary64_1032 distribute-lft-in_binary64_1732 distribute-lft-in_binary64_3778 clear-num_binary64_2464 cbrt-unprod_binary64_2839 distribute-rgt-in_binary64_1733 rec-exp_binary64_1833 1-exp_binary64_1827 pow-prod-down_binary64_4241 frac-2neg_binary64_2476 pow1/2_binary64_1181 log-div_binary64_506 clear-num_binary64_2123 log-prod_binary64 associate-*l*_binary64_4452 sqrt-div_binary64_777 cbrt-undiv_binary64_453 distribute-rgt-in_binary64_3779 +-commutative_binary64_1031 pow-prod-down_binary64_831 frac-2neg_binary64_2135 sub-neg_binary64_2799 *-commutative_binary64_4101 pow-flip_binary64_1516 associate-/r*_binary64_3432
6×	rem-sqrt-square_binary64_1114 associate-*r/_binary64_2748 pow-to-exp_binary64_3216 distribute-rgt-in_binary64_2756 frac-2neg_binary64_771 distribute-lft-out_binary64_29 associate-*l/_binary64_3772 swap-sqr_binary64_3114 cube-prod_binary64 add-log-exp_binary64_4550 div-sub_binary64_2470 clear-num_binary64_759 sum-log_binary64_3920 sub-neg_binary64_1776 log-pow_binary64 pow-prod-up_binary64_3558 log-prod_binary64_164 flip-+_binary64_393 1-exp_binary64_804 pow-exp_binary64_3215 swap-sqr_binary64_3796 unswap-sqr_binary64_1069 cancel-sign-sub-inv_binary64_2431 rec-exp_binary64_810 flip3-+_binary64_422 distribute-lft-out--_binary64_2758 distribute-lft-in_binary64_2755 associate-+l+_binary64_3080
5×	pow-to-exp_binary64_3557 sqrt-pow1_binary64_3165 *-commutative_binary64_2737 rem-log-exp_binary64_460 sub-neg_binary64_3822 pow-exp_binary64_3556 cancel-sign-sub-inv_binary64_3795 pow-prod-down_binary64_4582 sqrt-prod_binary64_3163 frac-2neg_binary64_430 cbrt-unprod_binary64_4544 flip--_binary64_3804 rem-cube-cbrt_binary64_2488 flip3--_binary64_2128 pow-plus_binary64_3551 pow3_binary64_161 frac-2neg_binary64_4181 pow-flip_binary64_1857 pow1/3_binary64 inv-pow_binary64_1868 pow-exp_binary64_2192 rem-sqrt-square_binary64_432 diff-log_binary64_3580 pow-to-exp_binary64_2193 clear-num_binary64_418 *-commutative_binary64_691 flip3--_binary64_3833 sum-log_binary64_2215 +-commutative_binary64_1372 flip--_binary64_2099 frac-add_binary64_2132 sum-log_binary64_4261 sum-log_binary64_1533 clear-num_binary64_4169 prod-exp_binary64_4560
4×	cube-mult_binary64_1813 flip3-+_binary64_4173 swap-sqr_binary64_3455 flip--_binary64_3122 frac-add_binary64_3496 cbrt-div_binary64_2497 unpow3_binary64_2190 div-sub_binary64_424 unpow-prod-down_binary64_157 flip3--_binary64_3151 pow-sqr_binary64_3461 rec-exp_binary64_128 frac-sub_binary64_3497 associate-*l/_binary64_4113 associate--l-_binary64_3085 sqrt-pow1_binary64_3847 pow-prod-up_binary64_2876 associate-*l/_binary64_2408 +-commutative_binary64_8 exp-sum_binary64_2511 distribute-lft-out_binary64_370 frac-times_binary64_4521 rem-sqrt-square_binary64_3842 diff-log_binary64_1534 log-div_binary64_2552 distribute-lft-in_binary64_2414 associate-*r/_binary64_361 difference-of-squares_binary64_3798 associate-/l/_binary64_3776 rem-sqrt-square_binary64_91 cbrt-undiv_binary64_3863 associate-/r/_binary64_3775 unpow-prod-down_binary64_3226 diff-log_binary64_1875 associate--r+_binary64_2742 cbrt-div_binary64_451 frac-times_binary64_2816 cube-div_binary64_2494 distribute-lft-out--_binary64_3781 cube-prod_binary64_2834 difference-of-sqr-1_binary64_3117 pow-sqr_binary64_2779 rec-exp_binary64_2174 cube-mult_binary64_2154 distribute-rgt-in_binary64_2415 flip-+_binary64_4144 div-sub_binary64_1447 associate-/r*_binary64_2750 1-exp_binary64_122 sqr-pow_binary64 1-exp_binary64_2168 *-commutative_binary64_2396 unpow-prod-down_binary64_2885 div-exp_binary64_3880 +-commutative_binary64_3418 diff-log_binary64_2898 unpow3_binary64_1849 pow1/2_binary64_3909 sum-log_binary64_169
3×	cube-div_binary64_1812 sum-log_binary64_1874 sum-log_binary64_510 sub-neg_binary64_1435 pow1/2_binary64_3227 sqrt-unprod_binary64 cancel-sign-sub-inv_binary64_385 rem-log-exp_binary64 associate-+r-_binary64_2399 unswap-sqr_binary64_4479 distribute-lft-out--_binary64_1053 associate-*r/_binary64_2066 pow-unpow_binary64_496 pow2_binary64_3569 diff-log_binary64_3921 associate-/l*_binary64_2751 pow-unpow_binary64_1860 div-sub_binary64_1788 +-commutative_binary64_1713 +-commutative_binary64_2054 unpow3_binary64_3554 pow-unpow_binary64 swap-sqr_binary64_1750 pow1/3_binary64_501 unpow3_binary64_2531 rem-exp-log_binary64_459 exp-sum_binary64_3193 difference-of-squares_binary64_1070 *-commutative_binary64_4442 cube-mult_binary64_2495 associate-*l/_binary64_3090 div-sub_binary64_2129 difference-of-squares_binary64_2775 +-commutative_binary64_3759 cube-mult_binary64_3518 associate-/r/_binary64_24 pow-sub_binary64_3223 associate-*r/_binary64_3089 associate--l+_binary64_2743 associate-*l/_binary64_2067
2×	associate-*l/_binary64_703 frac-2neg_binary64_3499 exp-sum_binary64_465 sqrt-pow1_binary64_1801 difference-of-squares_binary64_388 associate-/l/_binary64_3435 log-pow_binary64_2554 associate-/r/_binary64_3434 associate-*l/_binary64_2749 rem-cube-cbrt_binary64_1806 div-sub_binary64_4175 sqr-pow_binary64_50 pow-sqr_binary64_3120 associate-+l-_binary64_4105 cosh-undef_binary64_272 unpow-prod-down_binary64_498 cbrt-undiv_binary64_3522 cancel-sign-sub-inv_binary64_2090 associate-+l+_binary64_4103 diff-log_binary64_2557 pow2_binary64_2887 pow-prod-up_binary64_4240 sqrt-unprod_binary64_439 associate-/l/_binary64_366 pow-plus_binary64_4233 +-commutative_binary64_4100 +-commutative_binary64 clear-num_binary64_3487 flip3-+_binary64_763 pow1/2_binary64_1863 pow-plus_binary64_1505 1-exp_binary64_463 frac-2neg_binary64_3840 cbrt-div_binary64_1815 pow-sqr_binary64_1415 sub-neg_binary64_2458 sqr-pow_binary64_2778 pow-flip_binary64_493 flip-+_binary64_734 rem-sqrt-square_binary64_1796 rec-exp_binary64_469 frac-times_binary64_2134 cube-mult_binary64 rec-exp_binary64_1151 sin-sum_binary64 pow-plus_binary64_2869 distribute-lft-in_binary64_1050 clear-num_binary64_3828 distribute-lft-in_binary64_4460 pow-exp_binary64 unpow3_binary64_485 sum-log_binary64 pow2_binary64_1523 pow-flip_binary64_152 inv-pow_binary64_504 distribute-rgt-in_binary64_1051 cube-prod_binary64_447 exp-diff_binary64_2513 pow1/3_binary64_2547 associate-+r-_binary64_3422 unpow3_binary64 pow-prod-up_binary64_3217 div-sub_binary64_3493 pow-exp_binary64_1851 div-exp_binary64_3539 unpow2_binary64_3212 flip3--_binary64_423 distribute-lft-in_binary64_27 associate--r+_binary64_3765 inv-pow_binary64_163 rem-cbrt-cube_binary64 div-inv_binary64_3485 rem-log-exp_binary64_119 pow-pow_binary64_491 pow2_binary64_4251 flip--_binary64_394 sqr-pow_binary64_3119 sqr-pow_binary64_391 frac-times_binary64_770 pow-to-exp_binary64 sqrt-undiv_binary64_2486 diff-log_binary64_2216 associate-*l/_binary64_4454 div-inv_binary64_3826 +-commutative_binary64_349 sqrt-div_binary64_1459 pow-prod-up_binary64_1512 associate-+r+_binary64_4443 pow-flip_binary64_834 distribute-rgt-in_binary64_28 sub-neg_binary64_2117 associate-/l*_binary64_3774 inv-pow_binary64_845 rem-exp-log_binary64_2505 pow-exp_binary64_487 1-exp_binary64_1145 inv-pow_binary64_1527 rem-cube-cbrt_binary64_442 associate-+r-_binary64_353 cube-mult_binary64_449 distribute-rgt-in_binary64_4461 associate-+r+_binary64_1715 pow-sqr_binary64_4143 associate-+r+_binary64_3761
1×	cube-mult_binary64_2836 sub-neg_binary64 associate-/l/_binary64_707 pow-flip_binary64_1175 pow-plus_binary64_3210 associate-/r/_binary64_365 associate--l-_binary64_1380 associate-+r+_binary64_2056 +-commutative_binary64_4441 flip3--_binary64_764 exp-to-pow_binary64_2527 div-inv_binary64_2803 associate--l+_binary64_4107 pow-plus_binary64_1846 diff-log_binary64_852 flip3--_binary64 distribute-rgt-out--_binary64_3783 associate--l-_binary64_4108 pow2_binary64_1864 sum-log_binary64_4602 flip--_binary64_735 pow-to-exp_binary64_1511 rem-sqrt-square_binary64_773 clear-num_binary64_2805 sum-log_binary64_851 rem-sqrt-square_binary64_3160 pow1/3_binary64_1865 neg-log_binary64_2899 sub-neg_binary64_753 cbrt-undiv_binary64_2840 associate-+r+_binary64_1033 pow-exp_binary64_2874 rem-log-exp_binary64_2847 associate--l-_binary64_2744 pow-prod-up_binary64_1853 flip--_binary64 pow-prod-up_binary64_3899 associate-+l-_binary64_2400 pow-pow_binary64 cancel-sign-sub-inv_binary64 un-div-inv_binary64_1440 pow-exp_binary64_1510 rem-log-exp_binary64_2506 pow1/2_binary64_840 neg-sub0_binary64_2801 cbrt-div_binary64_1133 +-commutative_binary64_690 div-exp_binary64_2857 diff-log_binary64 cube-mult_binary64_3177 diff-log_binary64_511 pow1/3_binary64_1183 associate-+r-_binary64_3763 frac-2neg_binary64_2817 pow-to-exp_binary64_488 pow-pow_binary64_1855 distribute-rgt-in_binary64_1392 difference-of-squares_binary64 associate-+l+_binary64_3762 distribute-lft-out--_binary64_371 cancel-sign-sub-inv_binary64_726 pow-exp_binary64_146 pow-to-exp_binary64_2875 cos-sum_binary64 unpow3_binary64_2872 pow-to-exp_binary64_1852 un-div-inv_binary64_76 associate--r+_binary64_3424 rem-cbrt-cube_binary64_1807 pow2_binary64_3910 pow2_binary64_3228 pow-to-exp_binary64_147 pow-sqr_binary64_3802 pow-plus_binary64_3892 distribute-lft-in_binary64_1391 sqrt-pow1_binary64_778 rem-cbrt-cube_binary64_443 pow-sqr_binary64_1756 sub-neg_binary64_412 inv-pow_binary64_1186

Counts

448 → 14114

Calls

332 calls:

205.0ms	(-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (/.f64 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (-.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) (-.f64 1 (*.f64 (*.f64 x x) 2176625624901896097756115991881/20282409603651670423947251286016))) 4780145094533421/4503599627370496)) (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1)) (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1))) (+.f64 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496) 1)) (pow.f64 (exp.f64 x) x)) 3))
200.0ms	(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 alpha (+.f64 beta i))) (+.f64 alpha (+.f64 beta (*.f64 2 i)))) (+.f64 1 (+.f64 alpha (+.f64 beta (*.f64 2 i))))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 alpha (+.f64 beta i)))) (+.f64 alpha (+.f64 beta (*.f64 2 i)))) (-.f64 (+.f64 alpha (+.f64 beta (*.f64 2 i))) 1)))
151.0ms	(+.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)))
132.0ms	(*.f64 (+.f64 beta alpha) (/.f64 1 (/.f64 (+.f64 2 (+.f64 (*.f64 2 i) (+.f64 alpha beta))) (/.f64 (-.f64 beta alpha) (+.f64 (*.f64 2 i) (+.f64 alpha beta))))))
114.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)))))

Compiler

Compiled 703952 to 405133 computations (42.4% saved)