rewrite9.8s (1.1%)

Algorithm

193×	rewrite-expression-head

Rules

5667×	times-frac_binary64_5540
2719×	add-sqr-sqrt_binary64_5556
2568×	cbrt-prod_binary64_5565
2537×	*-un-lft-identity_binary64_5534 add-cube-cbrt_binary64_5569
1659×	add-exp-log_binary64
1658×	*-un-lft-identity_binary64_1783
1583×	times-frac_binary64_1789
1229×	add-exp-log_binary64_3867
1171×	add-sqr-sqrt_binary64_3169
1156×	prod-exp_binary64
1023×	add-sqr-sqrt_binary64_1805
931×	times-frac_binary64_2130
840×	associate-*r*_binary64_5474
774×	*-un-lft-identity_binary64_2124
733×	times-frac_binary64_3153
722×	add-cbrt-cube_binary64
715×	add-cube-cbrt_binary64_1818
692×	pow-exp_binary64_3897
688×	prod-exp_binary64_3878
686×	add-sqr-sqrt_binary64_2146
675×	times-frac_binary64_4176
641×	*-un-lft-identity_binary64_2465
615×	*-un-lft-identity_binary64_760
593×	div-exp_binary64_3880
590×	times-frac_binary64_1448
584×	unpow-prod-down_binary64_3226
565×	add-cube-cbrt_binary64_2159
534×	times-frac_binary64_766
526×	add-sqr-sqrt_binary64_782
510×	add-sqr-sqrt_binary64
494×	*-un-lft-identity_binary64_2806 times-frac_binary64_2812
486×	*-un-lft-identity_binary64 sqrt-div_binary64_5210
481×	*-un-lft-identity_binary64_3147
479×	add-sqr-sqrt_binary64_2828
463×	cbrt-unprod_binary64
442×	cube-prod_binary64_3175
422×	add-sqr-sqrt_binary64_2487
421×	*-un-lft-identity_binary64_419
419×	add-sqr-sqrt_binary64_1464
418×	add-exp-log_binary64_1480
408×	difference-of-squares_binary64_3116
407×	times-frac_binary64
401×	add-sqr-sqrt_binary64_4192
398×	*-un-lft-identity_binary64_4170 add-cube-cbrt_binary64_4205
382×	add-exp-log_binary64_5572
381×	*-un-lft-identity_binary64_1442
378×	times-frac_binary64_2471
374×	add-cube-cbrt_binary64_2841
368×	add-cube-cbrt_binary64_1477
358×	add-sqr-sqrt_binary64_441
352×	add-cube-cbrt_binary64_795 add-cube-cbrt_binary64_2500
347×	pow1_binary64
344×	pow-to-exp_binary64_3898
334×	add-cbrt-cube_binary64_1478
331×	add-sqr-sqrt_binary64_100
327×	add-cube-cbrt_binary64_3182
320×	times-frac_binary64_1107
310×	add-exp-log_binary64_1821
292×	sqr-pow_binary64_3119
289×	add-cube-cbrt_binary64
278×	add-exp-log_binary64_1139
270×	add-cbrt-cube_binary64_1819
264×	distribute-lft-out_binary64_1734
259×	sqrt-prod_binary64_2481
255×	add-exp-log_binary64_2162
243×	log-prod_binary64_505
240×	*-un-lft-identity_binary64_3829
237×	add-exp-log_binary64_116
236×	times-frac_binary64_425
228×	add-cbrt-cube_binary64_114
225×	associate-/r*_binary64_5478 add-sqr-sqrt_binary64_1123 associate-*r*_binary64_2405
224×	pow-prod-down_binary64
221×	add-sqr-sqrt_binary64_3851
216×	div-exp_binary64
211×	add-cbrt-cube_binary64_2160
210×	pow1_binary64_2185
206×	*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
204×	add-cbrt-cube_binary64_2501 add-exp-log_binary64_2503
190×	add-cube-cbrt_binary64_454
184×	add-cube-cbrt_binary64_1136
183×	div-exp_binary64_5585 cbrt-undiv_binary64_5568
181×	add-cbrt-cube_binary64_1137 pow1_binary64_139
177×	add-cbrt-cube_binary64_5570
176×	sqrt-prod_binary64_2140 pow1_binary64_2526 add-exp-log_binary64_2844 associate-*r/_binary64_5135
165×	cbrt-prod_binary64_2837
163×	distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423
160×	cbrt-prod_binary64_109
159×	associate-*l/_binary64_703
155×	flip-+_binary64_5167 flip3-+_binary64_5196
150×	cancel-sign-sub-inv_binary64_1749
148×	add-exp-log_binary64_798
144×	frac-times_binary64_5203 sqrt-prod_binary64_3163
143×	distribute-lft-out_binary64_2416
142×	sqrt-div_binary64_2482
138×	associate-*l/_binary64_5136 pow1_binary64_821
136×	flip--_binary64_735 flip3--_binary64_764
133×	div-exp_binary64_1493
131×	div-inv_binary64_5531 difference-of-squares_binary64_1752
130×	prod-exp_binary64_1491
129×	associate-/r*_binary64_1727
127×	add-cbrt-cube_binary64_2842 distribute-lft-out--_binary64_1735
126×	add-cbrt-cube_binary64_796
123×	times-frac_binary64_84
120×	frac-sub_binary64_5202 exp-prod_binary64_1835
118×	log-prod_binary64_3915 div-exp_binary64_1834
117×	associate-/l*_binary64_4115 prod-exp_binary64_5583 cbrt-unprod_binary64_5567
116×	1-exp_binary64_3873 rec-exp_binary64_3879
114×	pow1_binary64_1503
112×	difference-of-squares_binary64
110×	associate-/r*_binary64_2068
107×	difference-of-squares_binary64_388 add-log-exp_binary64_2845
106×	add-exp-log_binary64_457 pow1_binary64_2867
105×	prod-exp_binary64_127
104×	associate-/r/_binary64_1729 cancel-sign-sub-inv_binary64_2772 sqrt-prod_binary64_776 associate-*r*_binary64_18
103×	cbrt-unprod_binary64_111
101×	prod-exp_binary64_1150
100×	associate-/r*_binary64_1386 add-cube-cbrt_binary64_3864 *-un-lft-identity_binary64_3488
98×	cbrt-unprod_binary64_1475
96×	swap-sqr_binary64_1750
95×	add-log-exp_binary64_2163
94×	pow-exp_binary64
93×	cbrt-undiv_binary64_1476
92×	cbrt-undiv_binary64_1817 add-sqr-sqrt_binary64_5215 pow1_binary64_1844 add-log-exp_binary64_1822
89×	add-exp-log_binary64_3185
86×	associate-/l*_binary64_2069 *-un-lft-identity_binary64_5193 associate-*l*_binary64 sqrt-div_binary64_777
85×	sqrt-prod_binary64_94 associate-*l/_binary64_2408
84×	div-exp_binary64_1152
83×	associate-*l*_binary64_19 add-log-exp_binary64_2504 associate-/r*_binary64_2750 difference-of-squares_binary64_729 associate-/l*_binary64_2410
82×	div-inv_binary64_1780
81×	times-frac_binary64_3835 associate-/r/_binary64_2070
80×	frac-times_binary64_770
79×	add-cube-cbrt_binary64_5228 associate-/l*_binary64_1728
78×	add-sqr-sqrt_binary64_3510
77×	associate-*r*_binary64 add-cbrt-cube_binary64_3183 *-un-lft-identity_binary64_4852 cancel-sign-sub-inv_binary64 div-exp_binary64_2175 pow1_binary64_3890 associate-*r/_binary64_2407
76×	distribute-neg-frac_binary64_5157 cbrt-undiv_binary64 associate-/l/_binary64_5140
75×	add-log-exp_binary64 pow1_binary64_480 add-cbrt-cube_binary64_455
74×	distribute-lft-out_binary64_711
72×	associate-*r*_binary64_1382 times-frac_binary64_5199
71×	associate-/r*_binary64
70×	exp-sum_binary64_1829 add-log-exp_binary64_3186
68×	associate-*r/_binary64_702 add-log-exp_binary64_117
67×	flip3--_binary64_5197 flip--_binary64_5168 associate-*l*_binary64_701
66×	flip--_binary64_2440 flip3--_binary64_2469 unpow-prod-down_binary64_2885 prod-exp_binary64_1832
65×	distribute-lft-out--_binary64_2076
64×	cancel-sign-sub-inv_binary64_3113 frac-add_binary64_768 associate-*r*_binary64_700 associate-/r*_binary64_704
63×	add-exp-log_binary64_4208 associate-*r*_binary64_2064 add-cbrt-cube_binary64_4206
62×	cancel-sign-sub-inv_binary64_3795
61×	add-log-exp_binary64_1481 log-prod_binary64_2892 difference-of-squares_binary64_3798
60×	add-log-exp_binary64_799
59×	pow1_binary64_1162 cbrt-unprod_binary64_2498 div-inv_binary64_2121 prod-exp_binary64_2514 unpow-prod-down_binary64_839
57×	cancel-sign-sub-inv_binary64_2090 distribute-lft-out--_binary64 difference-of-sqr-1_binary64_1753 associate-/l*_binary64_705 add-log-exp_binary64_458 cbrt-unprod_binary64_1816 pow-prod-down_binary64_2536
56×	cube-prod_binary64_788 associate-*l*_binary64_1724 associate-*r*_binary64_1723
55×	cbrt-undiv_binary64_2158 associate-*l*_binary64_2406 distribute-lft-out_binary64_370
54×	cbrt-unprod_binary64_1134 sqrt-prod_binary64_5209 log-prod_binary64_1869
53×	times-frac_binary64_4858
52×	associate--l+_binary64_3766 prod-exp_binary64_2173 flip3-+_binary64_2468 flip-+_binary64_2439
50×	flip3--_binary64 swap-sqr_binary64_45 flip--_binary64 add-sqr-sqrt_binary64_4874 pow-prod-down_binary64_149
49×	div-inv_binary64_1439 cube-prod_binary64_2834 pow1_binary64_3208 pow1_binary64_5254
48×	cbrt-undiv_binary64_1135 log-prod_binary64 add-cube-cbrt_binary64_3523 associate-/r*_binary64_3091 flip-+_binary64_2098 associate-/l*_binary64_3092
47×	distribute-lft-out_binary64_2075 pow-to-exp_binary64 unswap-sqr_binary64_5502 flip3-+_binary64_2127 unswap-sqr_binary64_46
46×	associate-*r*_binary64_2746 log-pow_binary64_1872 add-cbrt-cube_binary64_3865
45×	associate-/l/_binary64_2412 div-inv_binary64_4167 associate-/l*_binary64_2751
44×	cbrt-unprod_binary64_2157 distribute-lft-neg-in_binary64_1058 distribute-neg-frac_binary64_2429 distribute-rgt-neg-in_binary64_1059
43×	associate-/r*_binary64_1045 associate-*r*_binary64_1041 difference-of-squares_binary64_2093 div-exp_binary64_2857 associate-*l*_binary64_360
42×	associate-+r+_binary64_2738 times-frac_binary64_3494 distribute-lft-out--_binary64_371 distribute-lft-out--_binary64_2417
41×	add-log-exp_binary64_1140 frac-times_binary64_2475
40×	unpow-prod-down_binary64_498 sqrt-prod_binary64_1117
39×	cancel-sign-sub-inv_binary64_726 unpow-prod-down_binary64_1862 associate-*l*_binary64_2065 distribute-lft-out_binary64_2757
38×	distribute-lft-out--_binary64_712 pow-prod-up_binary64_2194 associate-*l*_binary64_1383
37×	distribute-lft-out--_binary64_3781 flip3-+_binary64_1786 flip-+_binary64_1757 associate-/l*_binary64_1387 cbrt-prod_binary64_2155
36×	add-log-exp_binary64_3868 pow-prod-down_binary64_2195 sqrt-pow1_binary64_96 unpow-prod-down_binary64_3908 sqrt-div_binary64_2141 log-div_binary64_3916 log-pow_binary64_3918
35×	pow-prod-down_binary64_1513
34×	distribute-lft-out--_binary64_3099 associate-*l*_binary64_1042 add-cube-cbrt_binary64_4887 div-inv_binary64_1098 frac-add_binary64_2473
33×	sqrt-prod_binary64_3845 pow-prod-down_binary64_831 div-exp_binary64_811
32×	distribute-rgt-neg-in_binary64_5151 distribute-lft-neg-in_binary64_5150
31×	prod-exp_binary64_809 sqrt-div_binary64_1118 cbrt-undiv_binary64_2840
30×	difference-of-squares_binary64_2775 associate-/l*_binary64_1046 sqrt-prod_binary64_1799 associate--r+_binary64_3765
29×	flip3--_binary64_1787 log-div_binary64_2893 div-exp_binary64_2516 associate-/r*_binary64_2409 prod-exp_binary64_2855 cbrt-undiv_binary64_2499 distribute-rgt-in_binary64 add-log-exp_binary64_3527 cbrt-unprod_binary64_793 flip--_binary64_1758 distribute-lft-in_binary64
28×	associate-/r/_binary64 associate-*l*_binary64_2747 sqrt-prod_binary64_2822
27×	add-exp-log_binary64_3526 *-un-lft-identity_binary64_4511 cbrt-undiv_binary64_4204 add-sqr-sqrt_binary64_4533 associate-/r*_binary64_4114 add-cube-cbrt_binary64_4546 div-exp_binary64_4221
26×	unpow-prod-down_binary64 flip-+_binary64_2780 associate-/l*_binary64 flip3-+_binary64_2809 sqr-pow_binary64_2778 associate-/r/_binary64_706
25×	distribute-lft-out_binary64_3098 sqrt-pow1_binary64_2483 associate-*r/_binary64_1725 distribute-lft-out_binary64_3780 associate-*r*_binary64_3087
24×	associate-/l*_binary64_5138 associate-/r/_binary64_5480 associate-/r/_binary64_2411 sin-sum_binary64_211 pow-sqr_binary64_2097 associate-*r*_binary64_3769 distribute-lft-out--_binary64_2758 div-inv_binary64_757
23×	difference-of-squares_binary64_2434 associate-*l*_binary64_3770 associate-/l/_binary64_1048 sqr-pow_binary64_391 cbrt-unprod_binary64_2839 flip--_binary64_2099 cbrt-prod_binary64_2496
22×	flip3-+_binary64_3832 flip3--_binary64_2128 div-exp_binary64_129 flip-+_binary64_3803 div-inv_binary64_2803 associate-*r*_binary64_359 add-exp-log_binary64_5231 add-cbrt-cube_binary64_5229 cbrt-undiv_binary64_112 div-inv_binary64 cancel-sign-sub-inv_binary64_44
21×	pow1_binary64_4572 associate-*r/_binary64 distribute-rgt-in_binary64_3779 associate-/l*_binary64_5479 add-cbrt-cube_binary64_3524 distribute-lft-in_binary64_3778 sqr-pow_binary64_732 neg-mul-1_binary64_2461 log-pow_binary64_2895 frac-times_binary64
20×	cbrt-undiv_binary64_794 flip--_binary64_3804 pow-prod-up_binary64_148 pow1/3_binary64_2888 *-commutative_binary64_2396 distribute-lft-out_binary64 flip3--_binary64_2810 div-inv_binary64_3144 flip--_binary64_2781 unpow-prod-down_binary64_1180 pow1/2_binary64_158 associate-*l/_binary64 flip3--_binary64_3833
19×	pow1_binary64_4231 unpow2_binary64_484 clear-num_binary64_1441 cbrt-prod_binary64_450 associate-*r/_binary64_1043 sqrt-pow1_binary64_5211 cancel-sign-sub-inv_binary64_385 frac-2neg_binary64_1453 pow-plus_binary64_2187 associate-*r/_binary64_20 sqrt-prod_binary64
18×	*-commutative_binary64_9 frac-2neg_binary64_1794 add-exp-log_binary64_4549 unpow3_binary64_826 cancel-sign-sub-inv_binary64_2431 pow-div_binary64_1858 associate-/r/_binary64_3093 pow-unpow_binary64_3224 pow1_binary64_3549 flip3-+_binary64_1104 associate-/r/_binary64_365 cube-mult_binary64_790 sqrt-div_binary64_2823 tan-quot_binary64_919 flip-+_binary64_1075 clear-num_binary64_1782 sqrt-div_binary64_3846 log-div_binary64 diff-log_binary64_2898
17×	flip3-+_binary64 sub-neg_binary64 clear-num_binary64_2123 flip--_binary64_3122 frac-add_binary64_1109 flip3--_binary64_3151 distribute-neg-frac_binary64_1065 unswap-sqr_binary64_2774 frac-2neg_binary64_2135 flip-+_binary64
16×	associate-*r/_binary64_1384 distribute-lft-out_binary64_3439 associate-/l/_binary64_1389 difference-of-sqr-1_binary64_3117 unpow-prod-down_binary64_2203 add-log-exp_binary64_4550 unpow2_binary64_1166 prod-exp_binary64_468 log-pow_binary64_4600 distribute-rgt-in_binary64_710 log-pow_binary64 unswap-sqr_binary64_2433 diff-log_binary64_2216 add-cbrt-cube_binary64_4547 distribute-lft-in_binary64_709 rem-log-exp_binary64_460 div-inv_binary64_2462 add-log-exp_binary64_5232 add-log-exp_binary64_4209 pow1/3_binary64_160 pow1/2_binary64_2545 cube-prod_binary64 sqr-pow_binary64_1073
15×	unswap-sqr_binary64_728 sin-diff_binary64_4647 unpow3_binary64_2872 log-prod_binary64_4597 *-commutative_binary64_1373 associate-*r*_binary64_3428 sub-neg_binary64_2117 associate-/r*_binary64_4796 cube-mult_binary64_2836 div-exp_binary64_3198 div-sub_binary64_4516 *-commutative_binary64_691
14×	associate-/l/_binary64 cbrt-undiv_binary64_3181 flip3--_binary64_423 flip--_binary64_394 pow-exp_binary64_1169 unswap-sqr_binary64 pow-prod-down_binary64_1172 sub-neg_binary64_1776 pow2_binary64_2205 sqrt-div_binary64
13×	pow-prod-down_binary64_5264 div-sub_binary64_3152 div-inv_binary64_3826 diff-log_binary64_1875 associate-*l*_binary64_5475 pow1/2_binary64_5273 rem-sqrt-square_binary64_773 sub-neg_binary64_2799 swap-sqr_binary64_727 sum-log_binary64_2897 unswap-sqr_binary64_1069 unswap-sqr_binary64_1410 pow1_binary64_5595 div-inv_binary64_75
12×	add-exp-log_binary64_4890 unswap-sqr_binary64_2092 pow-sqr_binary64_51 flip3-+_binary64_763 1-exp_binary64_1486 associate-*l*_binary64_3088 cbrt-unprod_binary64_452 flip-+_binary64_734 cancel-sign-sub-inv_binary64_3454 distribute-lft-out_binary64_4803 rem-sqrt-square_binary64_2478 distribute-frac-neg_binary64_1405 distribute-lft-neg-out_binary64_1401 associate--l+_binary64_2743 sub-neg_binary64_753 difference-of-squares_binary64_1411 rec-exp_binary64_1492 cbrt-prod_binary64_4542 sqr-pow_binary64 associate--r-_binary64_3768
11×	frac-sub_binary64_1792 *-commutative_binary64_1032 cancel-sign-sub-inv_binary64_1408 unpow-prod-down_binary64_157 distribute-rgt-neg-out_binary64 rem-sqrt-square_binary64_91 div-inv_binary64_416 unswap-sqr_binary64_387 div-exp_binary64_470 rem-sqrt-square_binary64_5206 neg-mul-1_binary64_1097 associate-*l/_binary64_1044 distribute-lft-out--_binary64_3440 clear-num_binary64_2805 diff-log_binary64_3239 frac-2neg_binary64_2817 *-commutative_binary64
10×	log-pow_binary64_508 cbrt-div_binary64_110 sin-cos-mult_binary64_2621 pow-exp_binary64_3215 associate-*l*_binary64_3429 clear-num_binary64_3146 flip-+_binary64_3121 clear-num_binary64 log-prod_binary64_1528 1-exp_binary64_1827 clear-num_binary64_1100 frac-2neg_binary64_1112 frac-2neg_binary64_2476 sub-neg_binary64_3822 sub-neg_binary64_3140 flip3-+_binary64_3150 cbrt-prod_binary64_3178 sub-neg_binary64_2458 pow1/3_binary64_2206 frac-2neg_binary64_771 sqrt-div_binary64_1800 frac-2neg_binary64 clear-num_binary64_759 frac-2neg_binary64_3158 1-exp_binary64_2168 clear-num_binary64_2464 associate--l+_binary64 rec-exp_binary64_2174 add-cbrt-cube_binary64_4888
9×	difference-of-squares_binary64_3457 associate-/l/_binary64_1730 associate-/r*_binary64_3432 associate-*l/_binary64_21 unswap-sqr_binary64_3115 associate-/l/_binary64_707 exp-prod_binary64_4563 frac-sub_binary64_87 distribute-rgt-in_binary64_28 clear-num_binary64_4169 *-commutative_binary64_2055 frac-2neg_binary64_4181 associate-/l*_binary64_4797 add-log-exp_binary64_5573 associate-/l*_binary64_3433 log-div_binary64_506 exp-sum_binary64_3875 pow-prod-up_binary64_2876 distribute-lft-in_binary64_27 associate-/r/_binary64_4116 tan-quot_binary64_4329 prod-exp_binary64_3196 pow-unpow_binary64_2201 associate-/r/_binary64_2752 cbrt-prod_binary64_1473 frac-sub_binary64_2133 associate-/l/_binary64_4117
8×	pow-prod-down_binary64_490 frac-times_binary64_1793 difference-of-squares_binary64_4821 unpow-prod-down_binary64_3567 sqrt-pow1_binary64_1801 diff-log_binary64 difference-of-squares_binary64_1070 pow-prod-down_binary64_1854 associate-/r/_binary64_1388 cosh-undef_binary64_3682 pow-plus_binary64_141 log-prod_binary64_3574 pow1/2_binary64_1863 difference-of-sqr-1_binary64 pow-to-exp_binary64_3216 associate-/r/_binary64_3775 flip3-+_binary64_3491 neg-mul-1_binary64_5189 associate-*l/_binary64_1726 associate--l-_binary64_2744 rem-log-exp_binary64_2847 associate--l-_binary64_3767 cos-sum_binary64_2599 associate-*r/_binary64_3771 frac-times_binary64_1111 flip-+_binary64_3462 associate--l+_binary64_2061 acos-asin_binary64_3328 frac-sub_binary64_2815 pow-prod-up_binary64_830 pow-to-exp_binary64_1170 pow-sqr_binary64_733 cbrt-unprod_binary64_3862 distribute-lft-out_binary64_1052 unswap-sqr_binary64_1751 rem-sqrt-square_binary64_1796 associate-/l/_binary64_2071 sub-neg_binary64_71 tan-quot_binary64_1601 sqrt-pow1_binary64_4529 distribute-rgt-out--_binary64_2419 frac-times_binary64_88
7×	pow1/2_binary64_2886 unswap-sqr_binary64_3797 cube-mult_binary64_3177 diff-log_binary64_2557 unswap-sqr_binary64_3456 unpow2_binary64 sqrt-pow1_binary64_2824 rem-log-exp_binary64 unpow3_binary64_3213 pow-prod-down_binary64_2877 frac-2neg_binary64_5545 exp-sum_binary64_3534 clear-num_binary64_5533 rem-log-exp_binary64_3870 difference-of-sqr-1_binary64_2094 swap-sqr_binary64_2091 sinh-undef_binary64_3681
6×	associate-*l/_binary64_362 distribute-lft-out--_binary64_4804 add-log-exp_binary64_4891 pow-prod-down_binary64_3900 pow1/3_binary64_501 associate-/r/_binary64_1047 log-div_binary64_3575 pow-unpow_binary64_3906 associate--r+_binary64_2742 exp-prod_binary64_3881 flip3--_binary64_1446 pow-plus_binary64_823 pow-unpow_binary64_1860 associate-/r*_binary64_5137 frac-sub_binary64 prod-exp_binary64_3537 distribute-frac-neg_binary64_2428 associate-/r*_binary64_363 sin-mult_binary64_1597 pow2_binary64_159 flip--_binary64_1417 *-commutative_binary64_350 sqrt-prod_binary64_1458 pow-unpow_binary64_155 cube-prod_binary64_2152 associate-/r/_binary64_4798 pow-pow_binary64_3219 sqrt-prod_binary64_4527 distribute-lft-out--_binary64_1394 pow-plus_binary64_2869 exp-prod_binary64_3540 +-commutative_binary64_2736 diff-log_binary64_3921 pow-pow_binary64_3901 cos-diff_binary64_2602
5×	pow-exp_binary64_2874 sqr-abs_binary64_93 sum-log_binary64_851 pow1/2_binary64_2204 log-prod_binary64_2210 pow2_binary64_841 +-commutative_binary64_1713 cbrt-unprod_binary64_3180 *-commutative_binary64_2737 pow1/2_binary64_840 sub-neg_binary64_1435 log-pow_binary64_3577 sqr-pow_binary64_50 sqrt-pow1_binary64_2142 cos-mult_binary64_1596 diff-log_binary64_3580 pow1_binary64_4913 associate-/l/_binary64_3094 pow-to-exp_binary64_2875 rem-sqrt-square_binary64_2819 sum-log_binary64_1874 pow1/3_binary64_2547 pow1/2_binary64_3909 div-sub_binary64_2470 diff-log_binary64_852 rem-sqrt-square_binary64_2137 associate-*r/_binary64_2066 sqrt-pow1_binary64_3847 sqrt-pow1_binary64_778 cbrt-div_binary64_2497 sum-log_binary64_3238
4×	+-commutative_binary64_8 acos-asin_binary64_1623 sin-mult_binary64_2620 cube-prod_binary64_447 cbrt-undiv_binary64_3863 pow-to-exp_binary64_829 log-prod_binary64_164 flip3--_binary64_3492 difference-of-sqr-1_binary64_3799 flip-+_binary64_4826 flip-+_binary64_52 rec-exp_binary64_2856 sin-sum_binary64_2598 pow-exp_binary64_828 log-pow_binary64_2213 flip--_binary64_3463 div-inv_binary64_4849 frac-times_binary64_3839 cos-neg_binary64_1573 associate-+r-_binary64_3081 cos-diff_binary64_3284 difference-of-sqr-1_binary64_730 flip3-+_binary64_4855 rem-log-exp_binary64_1824 diff-log_binary64_1534 cube-prod_binary64_3516 sqr-pow_binary64_2096 *-commutative_binary64_1714 1-exp_binary64_2850 +-commutative_binary64_690 distribute-rgt-in_binary64_2415 associate-/r/_binary64_5139 associate--r-_binary64_3427 *-commutative_binary64_3078 associate-*r/_binary64_361 +-commutative_binary64_3077 difference-of-sqr--1_binary64_4823 distribute-lft-in_binary64_2414 cos-sum_binary64_212 *-commutative_binary64_3760 cos-sum_binary64_1576 pow-flip_binary64_2198 cancel-sign-sub-inv_binary64_1067 distribute-rgt-neg-out_binary64_2425 atan-neg_binary64_1626 unpow-prod-down_binary64_2544 difference-of-sqr-1_binary64_4822 log-pow_binary64_167 log-pow_binary64_1531 pow-exp_binary64_1851 sum-log_binary64_3579 associate--r+_binary64_3424 sqr-pow_binary64_3460 unpow-prod-down_binary64_5272 cos-atan_binary64_1621 inv-pow_binary64_2209 cbrt-prod_binary64_4201 exp-sum_binary64_1488 associate-/r/_binary64_3434 sub-neg_binary64_3481 associate-/l*_binary64_364 sum-log_binary64_169 exp-prod_binary64_471 flip3-+_binary64_81 div-exp_binary64_4903 flip3--_binary64_1105 flip--_binary64_1076
3×	associate-+r-_binary64_2740 rem-log-exp_binary64_4552 distribute-rgt-out_binary64_1054 +-commutative_binary64_1031 sub-neg_binary64_412 rem-exp-log_binary64_1823 pow-to-exp_binary64_147 sinh-def_binary64_604 associate--r+_binary64 sin-mult_binary64_2279 sqr-pow_binary64_1755 associate-*l*_binary64_4111 distribute-frac-neg_binary64_3110 rec-exp_binary64 cos-atan_binary64_4349 pow-pow_binary64_2196 acos-neg_binary64_3330 log-pow_binary64_2554 distribute-rgt-neg-in_binary64_3787 1-exp_binary64 rec-exp_binary64_1833 pow-exp_binary64_2192 cbrt-undiv_binary64_4886 exp-sum_binary64_465 cos-diff_binary64_215 cube-prod_binary64_4539 log-div_binary64_4598 pow-unpow_binary64_496 sum-log_binary64_1192 associate-*l/_binary64_1385 asin-acos_binary64_2304 cbrt-undiv_binary64_453 cos-diff_binary64_1579 sum-log_binary64 clear-num_binary64_4851 distribute-lft-out--_binary64_1053 cube-div_binary64_3176 pow-unpow_binary64_837 unpow-prod-down_binary64_4590 associate-/l/_binary64_2753 pow-sqr_binary64_2779 +-commutative_binary64_3418 associate-*r*_binary64_5133 pow-to-exp_binary64_488 pow-exp_binary64_146 pow-flip_binary64_2880 +-commutative_binary64_2054 associate-*l*_binary64_5134 sqrt-prod_binary64_4186 pow1/3_binary64_1524 +-commutative_binary64_3759 sin-mult_binary64_233 sum-log_binary64_3920 exp-prod_binary64_130 rec-exp_binary64_810 pow-to-exp_binary64_2193 exp-prod_binary64_2176 associate-*r/_binary64_5476 sum-log_binary64_2215 rem-cube-cbrt_binary64_3170 unpow2_binary64_1848 div-sub_binary64_2129 sqrt-prod_binary64_435 log-prod_binary64_2551 distribute-lft-neg-in_binary64_3786 exp-diff_binary64_4559 diff-log_binary64_511 distribute-lft-out_binary64_5144 pow-unpow_binary64_1178 associate-*r*_binary64_4110 frac-2neg_binary64_4863 1-exp_binary64_804 pow-exp_binary64_487 neg-sub0_binary64_2460 distribute-lft-neg-out_binary64
2×	sqrt-div_binary64_4528 cbrt-div_binary64_3179 cos-mult_binary64_2619 pow-to-exp_binary64_3557 frac-times_binary64_1452 frac-sub_binary64_769 div-sub_binary64_1788 pow-exp_binary64_3556 flip3-+_binary64_422 rem-sqrt-square_binary64_3842 associate--l-_binary64 frac-2neg_binary64_3499 associate-/l/_binary64_3435 pow-pow_binary64_1855 pow1/3_binary64_4252 pow-pow_binary64_491 +-commutative_binary64_2395 pow1/2_binary64 un-div-inv_binary64_1440 div-sub_binary64_1447 sub-neg_binary64_1094 sum-log_binary64_2556 associate-/l/_binary64_4799 sqrt-div_binary64_4187 pow-plus_binary64_1846 rem-log-exp_binary64_1483 frac-add_binary64 pow-prod-down_binary64_3218 sin-diff_binary64_214 cube-mult_binary64_2154 div-inv_binary64_5190 *-commutative_binary64_5465 rem-exp-log_binary64_3528 unpow3_binary64 cbrt-undiv_binary64_5227 log-div_binary64_1870 distribute-frac-neg_binary64_5156 associate--r-_binary64_2745 frac-2neg_binary64_5204 clear-num_binary64_5192 associate-*l/_binary64_3772 associate-/l/_binary64_366 pow-pow_binary64_150 cube-mult_binary64 sum-cubes_binary64 pow-prod-down_binary64_5605 sqr-pow_binary64_3801 cbrt-unprod_binary64_3521 pow-sqr_binary64_1756 div-exp_binary64_5244 sqrt-pow1_binary64 clear-num_binary64_3487 frac-times_binary64_2816 unpow3_binary64_2190 diff-log_binary64_1193 exp-diff_binary64_1831 neg-sub0_binary64_5188 frac-add_binary64_2814 flip-+_binary64_393 inv-pow_binary64_2891 unpow2_binary64_2871 unpow2_binary64_2189 pow2_binary64_2887 pow-to-exp_binary64_1852 associate-*r/_binary64_2748 associate-+r+_binary64_10 *-commutative_binary64_3419 frac-times_binary64_2134 associate--l-_binary64_2062 associate--r-_binary64 div-exp_binary64_3539 pow1/2_binary64_4591 inv-pow_binary64_3914 +-commutative_binary64 cbrt-undiv_binary64_3522 un-div-inv_binary64 sub-div_binary64_85 associate-*l/_binary64_2749 associate-*r/_binary64_3089 div-inv_binary64_3485 pow-flip_binary64_3903 pow2_binary64_1864 exp-sum_binary64_2170 div-sub_binary64_1106 exp-diff_binary64_3877 associate-+l-_binary64_2741 pow-prod-up_binary64_1853 div-sub_binary64_5198
1×	associate-*l/_binary64_5477 exp-prod_binary64_1494 clear-num_binary64_418 difference-cubes_binary64_3149 distribute-rgt-neg-out_binary64_720 cbrt-div_binary64_2838 distribute-rgt-out--_binary64_2760 +-commutative_binary64_4782 inv-pow_binary64_1527 flip3--_binary64_4856 unpow2_binary64_825 rem-square-sqrt_binary64_90 pow-flip_binary64_4926 flip--_binary64_53 distribute-lft-neg-out_binary64_3788 rem-log-exp_binary64_2165 inv-pow_binary64_1868 pow1/3_binary64_4593 pow1/3_binary64_3229 exp-sum_binary64 rem-3cbrt-lft_binary64_2831 exp-to-pow_binary64_2527 frac-add_binary64_1791 unpow3_binary64_4577 pow-pow_binary64_1173 distribute-rgt-in_binary64_1392 frac-2neg_binary64_430 div-sub_binary64_765 1-exp_binary64_4896 exp-sum_binary64_124 exp-diff_binary64_467 rem-cbrt-cube_binary64_4535 prod-exp_binary64_4219 diff-log_binary64_170 cube-mult_binary64_449 frac-2neg_binary64_89 neg-mul-1_binary64_3825 inv-pow_binary64_4937 rem-cbrt-cube_binary64_2148 unsub-neg_binary64_754 pow-flip_binary64_1857 cbrt-unprod_binary64_4203 exp-diff_binary64_2172 pow-prod-down_binary64_4241 clear-num_binary64_77 exp-prod_binary64_2517 frac-add_binary64_4860 flip--_binary64_4827 neg-sub0_binary64_1096 div-sub_binary64_3493 clear-num_binary64_3828 inv-pow_binary64_845 tanh-def-a_binary64_3675 cbrt-unprod_binary64_5226 sum-log_binary64_510 distribute-frac-neg_binary64_1064 tanh-def-c_binary64_3677 rem-cube-cbrt_binary64_2147 pow-flip_binary64_1516 pow-flip_binary64_834 pow-flip_binary64 rem-exp-log_binary64_459 *-commutative_binary64_5124 tanh-def-b_binary64_3676 distribute-rgt-out_binary64 flip-+_binary64_4144 cos-sum_binary64_3281 pow1/2_binary64_4250 rem-exp-log_binary64_3869 associate-*l/_binary64_2067 rem-log-exp_binary64_119 sqrt-pow1_binary64_4188 associate-/r*_binary64_22 rem-log-exp_binary64_3529 flip3-+_binary64_4173 distribute-lft-in_binary64_1391 sinh-undef_binary64_612 sin-diff_binary64_2601 associate-/l*_binary64_23 distribute-lft-out--_binary64_5145 unpow3_binary64_3554 inv-pow_binary64 prod-exp_binary64_5242 rec-exp_binary64_4902 distribute-rgt-out--_binary64_2078 exp-to-pow_binary64_1504 frac-times_binary64_5544 associate--r+_binary64_696 rem-sqrt-square_binary64_4183 distribute-rgt-in_binary64_2074 associate-/l*_binary64_3774 tanh-undef_binary64_3683 cube-mult_binary64_4541 pow3_binary64_2889 associate-/r*_binary64_3773 frac-2neg_binary64_3840 un-div-inv_binary64_2122 *-commutative_binary64_4101 rem-sqrt-square_binary64_1114 unpow3_binary64_485 sqr-pow_binary64_4483 associate--l+_binary64_3084 sqrt-pow1_binary64_437 cube-mult_binary64_3518 associate--l+_binary64_3425 un-div-inv_binary64_2804 sqrt-pow1_binary64_1119 distribute-rgt1-in_binary64_1057 sqrt-unprod_binary64_98 unswap-sqr_binary64_5161 flip3--_binary64_82 pow1/2_binary64_499 associate-/l/_binary64_5481 mul0-rgt_binary64 exp-diff_binary64_3536 log-div_binary64_2211 +-commutative_binary64_349 rem-log-exp_binary64_2506 unswap-sqr_binary64_4138 pow1/2_binary64_1181 distribute-lft-in_binary64_2073 sum-log_binary64_4943 pow-pow_binary64_832 sqrt-unprod_binary64_3849 div-sub_binary64_2811 rem-sqrt-square_binary64_432 sin-cos-mult_binary64_234

Calls

660 calls:

314.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
302.0ms	(-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) PI.f64)) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 x-scale y-scale)) 2))))
288.0ms	(*.f64 (/.f64 (*.f64 (cbrt.f64 a2) (cbrt.f64 a2)) (/.f64 (*.f64 (cbrt.f64 b2) (cbrt.f64 b2)) (*.f64 (cbrt.f64 a1) (cbrt.f64 a1)))) (/.f64 (cbrt.f64 a2) (/.f64 (cbrt.f64 b2) (/.f64 (cbrt.f64 a1) b1))))
198.0ms	(-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 -1 (*.f64 x x)))
85.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))