rewrite8.9s (1%)

Algorithm

189×	rewrite-expression-head

Rules

1673×	add-exp-log_binary64
1233×	add-exp-log_binary64_3526
1179×	times-frac_binary64_1789
1170×	prod-exp_binary64
1129×	*-un-lft-identity_binary64_1442
1047×	times-frac_binary64_2471
1008×	add-sqr-sqrt_binary64_3169
835×	*-un-lft-identity_binary64_1783
826×	*-un-lft-identity_binary64_760
795×	times-frac_binary64_2130
751×	*-un-lft-identity_binary64_2465
738×	add-cbrt-cube_binary64
723×	times-frac_binary64_766
711×	add-sqr-sqrt_binary64_1805
694×	pow-exp_binary64_3556
693×	prod-exp_binary64_3537
691×	add-sqr-sqrt_binary64_2487
675×	times-frac_binary64_4517
654×	associate-*l/_binary64_1044
650×	add-sqr-sqrt_binary64_1464
638×	add-cube-cbrt_binary64_2500
629×	*-un-lft-identity_binary64_2124
627×	times-frac_binary64_1448
626×	add-cube-cbrt_binary64_1818
602×	times-frac_binary64_1107
600×	add-sqr-sqrt_binary64_782
594×	div-exp_binary64_3539
584×	unpow-prod-down_binary64_3226
574×	add-sqr-sqrt_binary64_2146
557×	add-sqr-sqrt_binary64
529×	times-frac_binary64_2812
524×	add-exp-log_binary64_1821
489×	flip3--_binary64_1105 flip--_binary64_1076
486×	sqrt-div_binary64_5551
475×	cbrt-unprod_binary64
470×	add-cube-cbrt_binary64_2159
451×	times-frac_binary64_3153 add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64 *-un-lft-identity_binary64_2806
442×	cube-prod_binary64_3175
437×	add-sqr-sqrt_binary64_1123
410×	difference-of-squares_binary64_3116
407×	times-frac_binary64
401×	add-sqr-sqrt_binary64_4533
399×	*-un-lft-identity_binary64_1101
398×	*-un-lft-identity_binary64_4511 add-cube-cbrt_binary64_4546
393×	add-cube-cbrt_binary64_1136
387×	add-cbrt-cube_binary64_1819
379×	pow1_binary64
374×	add-cube-cbrt_binary64_795
366×	add-cube-cbrt_binary64_2841
346×	pow-to-exp_binary64_3557
340×	*-un-lft-identity_binary64_3147
330×	sqrt-div_binary64_1118
324×	frac-times_binary64_1111 add-cube-cbrt_binary64_1477
320×	frac-add_binary64_1109
303×	add-sqr-sqrt_binary64_441
297×	add-cube-cbrt_binary64
292×	add-sqr-sqrt_binary64_100 sqr-pow_binary64_3119
282×	times-frac_binary64_425
280×	add-exp-log_binary64_798
271×	*-un-lft-identity_binary64_419
260×	*-un-lft-identity_binary64_3488
240×	log-prod_binary64_846
239×	pow-prod-down_binary64
236×	add-sqr-sqrt_binary64_3510
235×	add-exp-log_binary64_2162
231×	add-cube-cbrt_binary64_454
229×	pow1_binary64_2185
228×	add-exp-log_binary64_116
224×	add-cbrt-cube_binary64_114 add-exp-log_binary64_2503
216×	div-exp_binary64
214×	add-exp-log_binary64_1480
213×	add-cbrt-cube_binary64_1478
211×	add-cbrt-cube_binary64_2160
204×	div-exp_binary64_1834
202×	add-cbrt-cube_binary64_2501
197×	*-un-lft-identity_binary64_78
196×	sqrt-prod_binary64_2140 distribute-lft-out_binary64_1393
194×	add-exp-log_binary64_1139
189×	add-cube-cbrt_binary64_113
184×	add-cbrt-cube_binary64_1137
176×	associate-*r/_binary64_5476
164×	sqrt-prod_binary64_2822 associate-*r/_binary64_1043 add-cube-cbrt_binary64_3182
160×	cbrt-prod_binary64_109
156×	add-cbrt-cube_binary64_796
155×	flip3-+_binary64_5537 flip-+_binary64_5508
154×	associate-*r*_binary64_2405
151×	cancel-sign-sub-inv_binary64_1408
148×	cbrt-prod_binary64_2496
147×	pow1_binary64_139
145×	associate-/r*_binary64_1727
144×	frac-times_binary64_5544
143×	prod-exp_binary64_1832
140×	difference-of-squares_binary64_729
138×	associate-*l/_binary64_5477
137×	sqrt-prod_binary64_2481 add-exp-log_binary64_2844
136×	pow1_binary64_1503
135×	cbrt-undiv_binary64_1817
132×	associate-/r*_binary64_2409
129×	difference-of-squares_binary64_1411
126×	distribute-lft-out_binary64_711 distribute-lft-out--_binary64_1394
125×	pow1_binary64_1162
123×	times-frac_binary64_84
120×	frac-sub_binary64_5543
119×	add-cbrt-cube_binary64_2842
118×	pow1_binary64_2526
117×	associate-/l*_binary64_4456
116×	1-exp_binary64_3532 rec-exp_binary64_3538
111×	times-frac_binary64_3494
107×	add-exp-log_binary64_457
106×	exp-prod_binary64_1494 add-cube-cbrt_binary64_3523 sqrt-div_binary64_2482 associate-*l*_binary64
104×	difference-of-squares_binary64
102×	associate-*r*_binary64 swap-sqr_binary64_1409
100×	associate-*r*_binary64_1382
98×	log-prod_binary64_3574 associate-/l*_binary64_1728 add-log-exp_binary64_1822 sqrt-prod_binary64
97×	cbrt-unprod_binary64_111 prod-exp_binary64_127 pow-exp_binary64
96×	cbrt-unprod_binary64_1816 pow1_binary64_1844
95×	cancel-sign-sub-inv_binary64_2772 associate-*l*_binary64_1383
93×	pow1_binary64_821
92×	add-sqr-sqrt_binary64_5556
91×	sqrt-prod_binary64_435
90×	distribute-lft-neg-in_binary64_2422 distribute-rgt-neg-in_binary64_2423 associate-/l*_binary64_2410
87×	add-log-exp_binary64_2163
86×	*-un-lft-identity_binary64_5534
85×	associate-/r*_binary64_1045 div-inv_binary64_1780 associate-/r*_binary64_2068 add-cbrt-cube_binary64_455 associate-*r*_binary64_18
83×	add-log-exp_binary64_2845
82×	associate-/r*_binary64_704
81×	add-log-exp_binary64_1481 div-exp_binary64_811
80×	prod-exp_binary64_809 associate-/r/_binary64_2070
79×	add-cube-cbrt_binary64_5569
78×	add-log-exp_binary64_117
77×	*-un-lft-identity_binary64_5193
76×	cbrt-undiv_binary64 distribute-neg-frac_binary64_5498 associate-/l/_binary64_5481
73×	associate-/r/_binary64_1729
72×	cancel-sign-sub-inv_binary64_3113 times-frac_binary64_5540 exp-sum_binary64_1488
71×	associate-/r*_binary64 add-exp-log_binary64_3185
70×	add-log-exp_binary64_3186
68×	distribute-lft-out_binary64_1734
67×	flip--_binary64_5509 flip3--_binary64_5538
66×	cancel-sign-sub-inv_binary64_3454 associate-*l*_binary64_360 associate-*r*_binary64_1723
65×	distribute-lft-out--_binary64_712 associate-*l*_binary64_19 associate-/l*_binary64_2069 unpow-prod-down_binary64_2885 *-un-lft-identity_binary64_5875
64×	div-exp_binary64_2516
63×	cbrt-unprod_binary64_1475 add-exp-log_binary64_4549 add-log-exp_binary64_2504 pow1_binary64_3549 add-cbrt-cube_binary64_4547 prod-exp_binary64_1491
62×	unpow-prod-down_binary64_498
61×	add-log-exp_binary64_799 div-exp_binary64_2175
60×	difference-of-squares_binary64_3457 associate-/l*_binary64_2751
59×	add-log-exp_binary64 log-prod_binary64_1528 associate-/r*_binary64_2750 add-cbrt-cube_binary64_3183 distribute-lft-out_binary64_2416
58×	associate-*r*_binary64_2064 pow1_binary64_480 cbrt-undiv_binary64_2499
57×	cancel-sign-sub-inv_binary64 difference-of-sqr-1_binary64_1412 associate-*r/_binary64_2407
56×	cube-prod_binary64_447 add-log-exp_binary64_1140
55×	pow1_binary64_2867
54×	sqrt-prod_binary64_5550 prod-exp_binary64_2173
53×	times-frac_binary64_5199 div-inv_binary64_2462 associate--l+_binary64_3425
52×	cbrt-unprod_binary64_2157
51×	flip3-+_binary64_2468 flip-+_binary64_2439
50×	pow-to-exp_binary64 pow1_binary64_5936 prod-exp_binary64_1150 add-sqr-sqrt_binary64_5215 associate-*l/_binary64_2408 div-inv_binary64_2121
49×	cube-prod_binary64_2834 prod-exp_binary64_2514 pow1_binary64_5595
48×	cbrt-unprod_binary64_1134 associate-*l*_binary64_2065 add-log-exp_binary64_458
47×	distribute-lft-out_binary64_2075 pow-prod-down_binary64_2195 cancel-sign-sub-inv_binary64_2090 distribute-lft-out--_binary64 cbrt-unprod_binary64_2498 add-cbrt-cube_binary64_3524
46×	flip-+_binary64_2098 unpow-prod-down_binary64_1180
45×	cbrt-undiv_binary64_2158 flip3-+_binary64_2127 pow1_binary64_3208 div-inv_binary64_4508
44×	unpow-prod-down_binary64_3567 distribute-lft-neg-in_binary64_717 flip3--_binary64 distribute-rgt-neg-in_binary64_718 flip--_binary64 associate-*r*_binary64_1041 difference-of-squares_binary64_2093
43×	distribute-lft-out--_binary64_3440 associate-/l*_binary64_364
42×	associate-+r+_binary64_2738 div-exp_binary64_1152 add-sqr-sqrt_binary64_5897
41×	distribute-lft-out--_binary64_1735 pow-prod-down_binary64_149 div-inv_binary64_757
40×	cbrt-undiv_binary64_1135 log-prod_binary64_5961 div-exp_binary64_1493 sqrt-div_binary64_2141
39×	cbrt-undiv_binary64_1476 add-sqr-sqrt_binary64_4192
38×	distribute-lft-out--_binary64_3099 *-un-lft-identity_binary64_4170 associate-/l*_binary64_705 div-inv_binary64_1098 sqrt-prod_binary64_1799 cancel-sign-sub-inv_binary64_44
37×	cbrt-undiv_binary64_794 associate-*l*_binary64_701 cbrt-prod_binary64_1473
36×	pow-prod-up_binary64_2194 pow-prod-down_binary64_1513 sqrt-pow1_binary64 div-exp_binary64_2857 add-log-exp_binary64_3527
35×	associate-*l*_binary64_1042 distribute-lft-out--_binary64_2076 cancel-sign-sub-inv_binary64_1749
34×	add-cube-cbrt_binary64_5228 associate-/l/_binary64_707 associate-/r/_binary64_1388 flip3-+_binary64_1786 flip-+_binary64_1757 associate-/r*_binary64_3091 sqrt-prod_binary64_1117 associate-*r*_binary64_700 associate-/r/_binary64_706 log-pow_binary64_1531
33×	associate-/r*_binary64_1386 distribute-lft-out_binary64_3098 associate-/l/_binary64_2412 flip--_binary64_2440 flip3--_binary64_2469 sqrt-prod_binary64_4186 pow-prod-down_binary64_2536
32×	add-cube-cbrt_binary64_5910 distribute-lft-neg-in_binary64_5491 difference-of-squares_binary64_1752 swap-sqr_binary64_45 distribute-rgt-neg-in_binary64_5492 difference-of-squares_binary64_47
31×	unswap-sqr_binary64 associate-*r/_binary64_702 cbrt-unprod_binary64_793 pow-prod-down_binary64_1172
30×	log-pow_binary64_3577 cbrt-undiv_binary64_2840 unswap-sqr_binary64_46 associate--r+_binary64_3424
29×	associate-*r*_binary64_2746 associate-*r*_binary64_3428 distribute-rgt-in_binary64 sqrt-div_binary64_777 distribute-lft-in_binary64
28×	distribute-lft-out_binary64_3439 associate-/r/_binary64 log-div_binary64_3575 unpow-prod-down_binary64 div-exp_binary64_470 frac-times_binary64_2475 frac-add_binary64_2473
27×	flip3--_binary64_1787 associate-*l*_binary64_2747 associate-*r*_binary64_359 add-cube-cbrt_binary64_4887 *-un-lft-identity_binary64_4852 distribute-lft-out_binary64_2757 associate-/r/_binary64_2411 add-sqr-sqrt_binary64_4874 associate-/r*_binary64_4455 flip--_binary64_1758 cbrt-undiv_binary64_4545 div-exp_binary64_4562
26×	associate-*l*_binary64_3429 unpow-prod-down_binary64_157 1-exp_binary64_1827 associate-/l*_binary64 associate-/l*_binary64_1387 associate-*l*_binary64_2406 distribute-neg-frac_binary64_2429 flip--_binary64_2099 tan-quot_binary64_919
25×	flip3--_binary64_2128 div-inv_binary64_1439 difference-of-squares_binary64_2775 add-exp-log_binary64_5913 sqr-pow_binary64_2778 add-log-exp_binary64_5914
24×	prod-exp_binary64_2855 associate-/l*_binary64_5479 sin-sum_binary64_211 unpow-prod-down_binary64_839
23×	frac-2neg_binary64_1794 div-inv_binary64_2803 associate-/l*_binary64_1046 associate-*r/_binary64_1725 cbrt-prod_binary64_2155 clear-num_binary64_1782 associate-*r/_binary64_20
22×	sqrt-prod_binary64_776 div-exp_binary64_129 flip3-+_binary64_763 div-inv_binary64_416 add-cbrt-cube_binary64_5570 flip-+_binary64_734 associate-/r*_binary64_363 add-exp-log_binary64_5572 sqrt-div_binary64_1800 cbrt-undiv_binary64_112 pow-sqr_binary64_2097 div-inv_binary64 add-cube-cbrt_binary64_4205 unswap-sqr_binary64_1410 flip--_binary64_735 flip3--_binary64_764
21×	pow1_binary64_4231 flip3--_binary64_1446 associate-*r/_binary64 pow1_binary64_4913 sqr-pow_binary64_391 flip--_binary64_1417 distribute-rgt-in_binary64_3438 distribute-lft-in_binary64_3437 log-prod_binary64_2892 frac-times_binary64
20×	pow1/2_binary64 log-prod_binary64_4256 associate-/r/_binary64_3093 sqrt-pow1_binary64_2483 cbrt-unprod_binary64_2839 log-div_binary64_5962 associate-/l*_binary64_3092 associate-*l/_binary64
19×	pow1_binary64_4572 rec-exp_binary64_1833 cancel-sign-sub-inv_binary64_385 sqrt-pow1_binary64_5552 log-pow_binary64_1190 associate-*r*_binary64_3087
18×	add-exp-log_binary64_4890 associate-*l/_binary64_703 swap-sqr_binary64 pow-div_binary64_1517 cube-mult_binary64_449 unpow2_binary64_143 sqr-pow_binary64_50 sqrt-div_binary64_4187 frac-2neg_binary64_2476 pow-unpow_binary64_3224 exp-prod_binary64_1153 pow-plus_binary64_2187 flip--_binary64_3122 sqr-pow_binary64_732 unpow3_binary64_485 flip3--_binary64_3151 log-pow_binary64_5964 clear-num_binary64_2464
17×	distribute-neg-frac_binary64_724 diff-log_binary64_1875 flip3--_binary64_3492 cancel-sign-sub-inv_binary64_726 flip--_binary64_3463 *-commutative_binary64_1373 cbrt-prod_binary64_5906 distribute-lft-out--_binary64_2758
16×	add-log-exp_binary64_4891 associate-/l/_binary64_1730 add-cbrt-cube_binary64_5911 difference-of-sqr-1_binary64_3117 flip3--_binary64_2810 add-log-exp_binary64_4550 frac-add_binary64_768 add-log-exp_binary64_5573 frac-times_binary64_770 associate-*r/_binary64_361 flip--_binary64_2781 rem-log-exp_binary64_801 add-log-exp_binary64_4209 pow1/3_binary64_160 sqr-pow_binary64 log-pow_binary64_4941 *-commutative_binary64 add-cbrt-cube_binary64_4888
15×	*-commutative_binary64_9 pow-prod-down_binary64_1854 flip-+_binary64_3121 div-sub_binary64_4857 difference-of-squares_binary64_388 flip-+_binary64_2780 add-exp-log_binary64_4208 pow-exp_binary64_828 unpow3_binary64_2872 sin-diff_binary64_4988 *-commutative_binary64_2055 associate-/r*_binary64_5137 prod-exp_binary64_468 cbrt-prod_binary64_450 flip3-+_binary64_3491 log-prod_binary64_4938 cbrt-undiv_binary64_453 flip3-+_binary64_3150 flip-+_binary64_3462 flip3-+_binary64_2809 cube-mult_binary64_2836 sub-neg_binary64_1776 associate-*l*_binary64_1724
14×	unswap-sqr_binary64_728 associate-/l/_binary64 unpow2_binary64_825 associate-*l/_binary64_1385 associate-*l/_binary64_2067 frac-2neg_binary64_771 clear-num_binary64_759 neg-mul-1_binary64_2461 div-inv_binary64_3485 div-sub_binary64_2811
13×	flip3--_binary64_423 associate-*l/_binary64_21 distribute-frac-neg_binary64_723 sub-neg_binary64_1435 flip--_binary64_394 cbrt-unprod_binary64_452 pow-prod-down_binary64_5605 unswap-sqr_binary64_2433 cbrt-prod_binary64_791 sub-neg_binary64_2117 unswap-sqr_binary64_1069 pow1/2_binary64_5614 pow1/2_binary64_2545 pow2_binary64_2205 diff-log_binary64_3239 diff-log_binary64_2898 div-inv_binary64_75
12×	associate-*r/_binary64_1384 *-commutative_binary64_1032 cbrt-prod_binary64_4883 flip3-+_binary64_5878 sub-neg_binary64_3140 distribute-lft-neg-out_binary64_719 add-exp-log_binary64_5231 distribute-lft-out_binary64_5826 clear-num_binary64_2123 swap-sqr_binary64_727 associate--r-_binary64_3427 flip-+_binary64_5849 pow-prod-up_binary64 pow1/3_binary64_5957 distribute-lft-out_binary64_5144 sub-neg_binary64_3481 frac-2neg_binary64_2135 add-cbrt-cube_binary64_4206 rem-sqrt-square_binary64_432
11×	sub-neg_binary64 pow1/2_binary64_2204 associate-/r/_binary64_1047 unswap-sqr_binary64_2092 distribute-rgt-neg-out_binary64 sqrt-pow1_binary64_2142 frac-sub_binary64_1451 associate-/r/_binary64_365 neg-mul-1_binary64_756 rem-sqrt-square_binary64_2137 sum-log_binary64_2897 rem-sqrt-square_binary64_5547 rem-sqrt-square_binary64 clear-num_binary64_2805 unswap-sqr_binary64_2774 frac-2neg_binary64_2817
10×	sin-cos-mult_binary64_2280 cbrt-div_binary64_110 frac-times_binary64_1452 pow-exp_binary64_3215 clear-num_binary64 unswap-sqr_binary64_3456 unswap-sqr_binary64_387 clear-num_binary64_1100 frac-2neg_binary64_1112 clear-num_binary64_1441 distribute-lft-out_binary64_370 div-inv_binary64_3144 cbrt-prod_binary64_3178 unpow-prod-down_binary64_1862 flip3-+_binary64_1104 frac-2neg_binary64_1453 diff-log_binary64_1534 add-cbrt-cube_binary64_5229 sqrt-div_binary64_2823 diff-log_binary64_2216 rem-sqrt-square_binary64_2478 pow1/3_binary64_1524 flip-+_binary64_1075 frac-2neg_binary64 div-exp_binary64_3198 sub-neg_binary64_71 associate-*r*_binary64_4110 associate-/r/_binary64_3434 sqrt-div_binary64
9×	associate-*l/_binary64_362 associate-/r/_binary64_4457 cbrt-undiv_binary64_3181 exp-prod_binary64_4904 pow-to-exp_binary64_829 associate-/l/_binary64_4458 tan-quot_binary64_4670 frac-sub_binary64_87 log-div_binary64_2893 flip-+_binary64_1416 associate-/l*_binary64_5138 flip3-+_binary64_1445 distribute-rgt-in_binary64_28 diff-log_binary64_3580 associate--l+_binary64_5812 clear-num_binary64_4510 sin-mult_binary64_1597 cancel-sign-sub-inv_binary64_5841 flip-+_binary64_4144 log-pow_binary64_849 distribute-lft-in_binary64_27 cbrt-unprod_binary64_3521 sub-neg_binary64_2799 pow-prod-up_binary64_5945 flip3-+_binary64_4173 frac-2neg_binary64_4522 pow-unpow_binary64_1178 *-commutative_binary64_691 exp-sum_binary64_4216
8×	sqrt-prod_binary64_5891 difference-of-squares_binary64_5162 frac-sub_binary64_1792 acos-asin_binary64_2987 pow-prod-up_binary64_148 associate--l-_binary64_3426 distribute-rgt-in_binary64_369 neg-mul-1_binary64_5530 sqrt-pow1_binary64_4870 cosh-undef_binary64_3682 log-prod_binary64_3233 associate--l+_binary64_1720 log-div_binary64_4257 difference-of-sqr-1_binary64 pow-to-exp_binary64_3216 sqrt-div_binary64_5892 distribute-lft-in_binary64_368 pow1/3_binary64_2547 difference-of-squares_binary64_4139 log-div_binary64_847 cos-sum_binary64_2258 associate-*r/_binary64_2066 rem-sqrt-square_binary64_1114 frac-sub_binary64_2815 sqrt-pow1_binary64_1119 associate-/r/_binary64_2752 cube-prod_binary64 associate--l-_binary64_5813 pow1/2_binary64_1181 frac-times_binary64_88
7×	pow-prod-down_binary64_490 flip3-+_binary64 cube-mult_binary64_3177 distribute-lft-out--_binary64_5827 sqrt-pow1_binary64_1801 unswap-sqr_binary64_3115 clear-num_binary64_3146 *-commutative_binary64_2396 exp-sum_binary64_3193 associate-*l*_binary64_4111 unpow2_binary64 pow1/2_binary64_1863 unpow3_binary64_3213 associate-/l*_binary64_3433 *-commutative_binary64_1714 *-commutative_binary64_350 prod-exp_binary64_3196 frac-times_binary64_2134 frac-2neg_binary64_3158 pow-prod-down_binary64_831 difference-of-sqr-1_binary64_2094 rem-sqrt-square_binary64_1796 associate-*r*_binary64_5815 sinh-undef_binary64_3681 flip-+_binary64
6×	clear-num_binary64_418 exp-prod_binary64_3199 exp-prod_binary64_4222 sub-neg_binary64_412 difference-of-squares_binary64_2434 associate-/r*_binary64_3432 difference-of-squares_binary64_1070 flip3--_binary64_4174 associate-/l/_binary64_1389 distribute-lft-out_binary64 frac-2neg_binary64_430 cancel-sign-sub-inv_binary64_2431 pow-sqr_binary64_51 sqrt-prod_binary64_4868 pow-plus_binary64_141 associate-*l*_binary64_3088 unpow2_binary64_1166 pow-unpow_binary64_1860 frac-sub_binary64 pow-exp_binary64_1169 pow-unpow_binary64 cos-diff_binary64_2261 associate-/r*_binary64_5478 associate-*r/_binary64_3430 associate-/r/_binary64_5139 log-pow_binary64_4259 distribute-lft-out--_binary64_5145 distribute-lft-out--_binary64_371 pow-unpow_binary64_3565 add-log-exp_binary64_5232 pow-sqr_binary64 flip--_binary64_4145 cube-prod_binary64_1470 1-exp_binary64_2168 unswap-sqr_binary64_1751 sqr-pow_binary64_1073 pow-plus_binary64_5938 sqr-pow_binary64_3460 pow-pow_binary64_3219 pow-pow_binary64_3560 unpow-prod-down_binary64_1521 sum-log_binary64_3238 log-div_binary64_3234 rec-exp_binary64_2174
5×	associate-+r-_binary64_2740 associate--r+_binary64_5811 pow-exp_binary64_2874 pow1/2_binary64_2886 pow1/3_binary64_501 div-sub_binary64_1788 flip--_binary64_53 *-commutative_binary64_2737 pow-prod-down_binary64_5946 rem-log-exp_binary64_1483 sqrt-pow1_binary64_2824 cos-mult_binary64_1596 associate-/l/_binary64_1048 pow1/2_binary64_4250 difference-of-squares_binary64_5844 pow1/3_binary64_2206 sqrt-pow1_binary64_4188 pow-to-exp_binary64_2875 rem-sqrt-square_binary64_2819 rem-log-exp_binary64_5916 +-commutative_binary64_3077 cbrt-div_binary64_2156 asin-acos_binary64_1622 distribute-rgt-in_binary64_2074 *-commutative_binary64_3419 sqr-abs_binary64 sub-neg_binary64_753 cbrt-undiv_binary64_3522 log-pow_binary64_3236 distribute-lft-out_binary64_4121 flip3--_binary64_82 diff-log_binary64_5967 pow1_binary64_5254 distribute-lft-in_binary64_2073 +-commutative_binary64_2736
4×	cos-diff_binary64_2943 +-commutative_binary64_8 sqrt-div_binary64_436 frac-times_binary64_4180 pow2_binary64_841 log-prod_binary64_164 +-commutative_binary64_1713 sin-sum_binary64_2257 sin-mult_binary64_2279 diff-log_binary64_2557 flip-+_binary64_52 pow-prod-up_binary64_1171 difference-of-sqr-1_binary64_389 flip-+_binary64_5167 pow-plus_binary64_823 cube-prod_binary64_788 associate-/r/_binary64_5480 div-inv_binary64_5190 distribute-rgt-in_binary64_710 associate-/l/_binary64_3094 distribute-frac-neg_binary64_2428 rec-exp_binary64_2515 flip--_binary64_5850 difference-of-sqr--1_binary64_5164 associate-/l/_binary64_2753 pow2_binary64_159 flip3-+_binary64_5196 sub-neg_binary64_2458 div-exp_binary64_5244 pow-sqr_binary64_1074 rem-log-exp_binary64_3529 cube-prod_binary64_3516 pow-to-exp_binary64_488 sum-log_binary64_1874 pow1/3_binary64_842 div-sub_binary64_2470 associate--r+_binary64_3083 distribute-lft-out--_binary64_2417 cos-sum_binary64_212 cos-sum_binary64_1576 difference-of-sqr-1_binary64_5163 cancel-sign-sub-inv_binary64_1067 cos-atan_binary64_939 distribute-lft-in_binary64_709 flip3--_binary64_5879 unpow-prod-down_binary64_2544 pow-prod-up_binary64_830 pow-to-exp_binary64_1170 pow-prod-up_binary64_1512 sqrt-pow1_binary64_437 sub-neg_binary64_5868 log-pow_binary64_167 pow-sqr_binary64_733 pow1/2_binary64_499 associate--r-_binary64_3086 distribute-lft-out--_binary64_30 1-exp_binary64_2509 associate-/l/_binary64_2071 unpow-prod-down_binary64_5613 atan-neg_binary64_944 unswap-sqr_binary64_4138 pow-sqr_binary64_1415 pow-exp_binary64_487 cbrt-prod_binary64_4542 sum-log_binary64_169 cos-neg_binary64_891 exp-prod_binary64_471 flip3-+_binary64_81 difference-of-sqr-1_binary64_4140
3×	acos-asin_binary64_1623 1-exp_binary64_463 exp-diff_binary64_4900 sum-log_binary64_851 sinh-def_binary64_604 log-prod_binary64_2210 flip3-+_binary64_422 inv-pow_binary64_1868 associate-*l*_binary64_5475 cbrt-unprod_binary64_3180 distribute-rgt-neg-in_binary64_3446 rec-exp_binary64 pow-pow_binary64_1173 associate-*r*_binary64_5474 log-prod_binary64_1187 rem-log-exp_binary64_4211 cbrt-unprod_binary64_5908 diff-log_binary64_170 1-exp_binary64 associate-*l*_binary64_4452 pow-sqr_binary64_5848 rem-exp-log_binary64_1482 pow-flip_binary64_1857 pow-flip_binary64_2539 pow-unpow_binary64_1519 log-pow_binary64_2213 pow-prod-down_binary64_4241 exp-sum_binary64_465 cos-diff_binary64_215 pow-unpow_binary64_496 pow-prod-down_binary64_2877 sum-log_binary64_510 cbrt-undiv_binary64_5227 frac-2neg_binary64_5204 cos-diff_binary64_1579 clear-num_binary64_5192 distribute-lft-out--_binary64_1053 cube-div_binary64_3176 pow-unpow_binary64_837 acos-neg_binary64_2989 associate-*r*_binary64_4451 rem-log-exp_binary64_2847 distribute-lft-neg-in_binary64_3445 rec-exp_binary64_469 +-commutative_binary64_4100 exp-diff_binary64_1490 sqrt-prod_binary64_1458 +-commutative_binary64_690 +-commutative_binary64_2054 pow2_binary64_1523 diff-log_binary64_852 cube-prod_binary64_4880 unpow-prod-down_binary64_4931 sin-mult_binary64_233 sum-log_binary64_4261 sum-log_binary64_5966 exp-prod_binary64_130 flip-+_binary64_393 pow-flip_binary64_2198 distribute-lft-out_binary64_5485 prod-exp_binary64_5924 pow-prod-down_binary64_3559 distribute-frac-neg_binary64_2769 un-div-inv_binary64_1781 associate--l+_binary64_2743 sum-log_binary64_2215 rem-cube-cbrt_binary64_3170 rem-log-exp_binary64_4893 log-prod_binary64_505 cos-atan_binary64_4690 log-div_binary64_4939 log-div_binary64_1529 pow-plus_binary64_1505 diff-log_binary64_511 log-pow_binary64_2895 sqrt-prod_binary64_4527 distribute-rgt-out_binary64_372 inv-pow_binary64_2209 distribute-lft-neg-out_binary64
2×	div-inv_binary64_5531 sqrt-div_binary64_4528 cbrt-div_binary64_3179 +-commutative_binary64_1031 pow1/2_binary64_4932 associate-+l-_binary64_5810 cos-mult_binary64_2278 pow-plus_binary64_1164 pow1/2_binary64_5955 rem-exp-log_binary64_3187 sqrt-div_binary64_4869 pow1/3_binary64_4593 frac-2neg_binary64_3499 sqr-pow_binary64_1755 associate-/l/_binary64_3435 pow-pow_binary64_1855 sqrt-pow1_binary64_5893 diff-log_binary64 pow-pow_binary64_491 +-commutative_binary64_2395 div-sub_binary64_765 associate-+r-_binary64_5809 sub-neg_binary64_1094 sum-log_binary64_2556 frac-add_binary64 div-exp_binary64_5585 sin-diff_binary64_214 sum-log_binary64_1192 frac-sub_binary64_428 frac-2neg_binary64_5545 unpow3_binary64 associate--l-_binary64_1721 sum-log_binary64 associate-/l/_binary64_366 neg-sub0_binary64_5529 cube-mult_binary64 associate-*l/_binary64_4113 distribute-frac-neg_binary64_5497 exp-diff_binary64_4218 associate-/l/_binary64_5140 clear-num_binary64_3487 sqr-pow_binary64_1414 pow2_binary64_5956 frac-times_binary64_2816 *-commutative_binary64_3078 diff-log_binary64_1193 pow-plus_binary64 clear-num_binary64_5533 unswap-sqr_binary64_5843 frac-add_binary64_2814 rem-sqrt-square_binary64_4183 div-sub_binary64_5539 +-commutative_binary64_5805 distribute-rgt-neg-out_binary64_2425 inv-pow_binary64_3573 cube-mult_binary64_1472 unpow3_binary64_1508 associate-*r/_binary64_4112 pow-to-exp_binary64_1852 associate-+r+_binary64_10 inv-pow_binary64_2550 unpow2_binary64_1848 pow-exp_binary64_1851 associate--r-_binary64_5814 sum-log_binary64_3579 pow-pow_binary64 pow-flip_binary64_3562 un-div-inv_binary64 frac-add_binary64_2132 sub-div_binary64_85 associate-*l/_binary64_2749 +-commutative_binary64_349 associate-*r/_binary64_3089 unpow2_binary64_5940 pow2_binary64 cbrt-undiv_binary64_5568 neg-sub0_binary64_2460
1×	flip3--_binary64_5197 difference-cubes_binary64_3149 sqrt-unprod_binary64 log-pow_binary64_508 flip--_binary64_5168 un-div-inv_binary64_2463 rem-cube-cbrt_binary64_1465 rem-log-exp_binary64_2165 pow1/3_binary64_3229 sum-log_binary64_1533 frac-add_binary64_5201 flip-+_binary64_4485 associate--r+_binary64_2742 unpow3_binary64_826 neg-mul-1_binary64_3484 flip3-+_binary64_4514 distribute-rgt-in_binary64_1392 exp-sum_binary64_124 exp-diff_binary64_467 rem-log-exp_binary64_3188 pow-flip_binary64_5267 div-sub_binary64_1447 pow2_binary64_1182 prod-exp_binary64_4219 frac-2neg_binary64_89 unpow3_binary64_4918 inv-pow_binary64_5278 unpow2_binary64_484 +-commutative_binary64_1372 cbrt-unprod_binary64_4203 inv-pow_binary64_504 distribute-lft-neg-out_binary64_3447 clear-num_binary64_77 unswap-sqr_binary64_5502 *-commutative_binary64_4442 *-commutative_binary64_5465 div-sub_binary64_3493 tanh-def-a_binary64_3675 cbrt-unprod_binary64_4544 tanh-def-c_binary64_3677 +-commutative_binary64_5123 sqr-pow_binary64_4824 neg-sub0_binary64_755 associate--r-_binary64_1381 pow-flip_binary64 rem-exp-log_binary64_459 prod-exp_binary64_5583 tanh-def-b_binary64_3676 distribute-rgt-out_binary64 log-div_binary64_506 sqrt-unprod_binary64_4190 distribute-lft-out--_binary64_4122 +-commutative_binary64_3418 sin-diff_binary64_2260 rem-log-exp_binary64_119 rem-3cbrt-lft_binary64_5900 frac-add_binary64_427 exp-diff_binary64_3195 associate-/r*_binary64_22 1-exp_binary64_5237 distribute-lft-in_binary64_1391 sinh-undef_binary64_612 swap-sqr_binary64_1068 associate-/l*_binary64_23 pow1/3_binary64_4934 cube-mult_binary64_790 unpow3_binary64_3554 pow-flip_binary64_493 inv-pow_binary64 cbrt-unprod_binary64_5567 unpow-prod-down_binary64_5954 distribute-rgt-out--_binary64_2078 exp-to-pow_binary64_1504 sqr-pow_binary64_5847 pow-exp_binary64_1510 tanh-undef_binary64_3683 rec-exp_binary64_5243 unswap-sqr_binary64_4479 exp-prod_binary64_2176 *-commutative_binary64_4101 pow-prod-down_binary64_4582 associate-*r/_binary64_2748 associate--l+_binary64_3084 distribute-rgt1-in_binary64_375 sum-log_binary64_5284 frac-add_binary64_1450 cube-mult_binary64_3518 associate--r+_binary64_355 rem-log-exp_binary64_1142 cube-mult_binary64_4882 div-sub_binary64_2129 rem-square-sqrt_binary64 distribute-lft-out--_binary64_5486 pow1/2_binary64_4591 rem-exp-log_binary64_4210 cos-sum_binary64_2940 +-commutative_binary64 pow3_binary64_5958 frac-sub_binary64_2133 mul0-rgt_binary64 *-commutative_binary64_5806 rem-sqrt-square_binary64_4524 swap-sqr_binary64_2091 cbrt-div_binary64_2497 associate-*l*_binary64_5816 pow-to-exp_binary64_1511 pow-pow_binary64_832 div-sub_binary64_1106 associate--l+_binary64 rem-cbrt-cube_binary64_1466 pow-pow_binary64_1514 distribute-rgt-out--_binary64_5829 rem-cbrt-cube_binary64_4876 sqrt-pow1_binary64_4529 prod-exp_binary64_4560 exp-to-pow_binary64_2186 sin-cos-mult_binary64_234

Calls

650 calls:

331.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
299.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))))
87.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))
51.0ms	(/.f64 (*.f64 (-.f64 (/.f64 m (/.f64 v (-.f64 1 m))) 1) (-.f64 1 (pow.f64 m 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 m m) (*.f64 1 m))))
51.0ms	(/.f64 (sqrt.f64 (*.f64 (*.f64 (/.f64 8 (pow.f64 (*.f64 x-scale y-scale) 2)) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (*.f64 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 a a) (*.f64 y-scale y-scale)))))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))))