rewrite1.2min (5.2%)

Algorithm

200×	rewrite-expression-head

Rules

1428×	add-exp-log_binary64
1405×	*-un-lft-identity_binary64_2124
1214×	add-exp-log_binary64_5572
1028×	prod-exp_binary64
871×	times-frac_binary64_1107
712×	*-un-lft-identity_binary64_2465
706×	*-un-lft-identity_binary64_1101
692×	pow-exp_binary64_5602
687×	prod-exp_binary64_5583
641×	add-cbrt-cube_binary64
634×	add-sqr-sqrt_binary64_1123
629×	times-frac_binary64_2130
617×	add-sqr-sqrt_binary64_2487
595×	div-exp_binary64_5585
569×	add-sqr-sqrt_binary64_2146
562×	add-exp-log_binary64_1821
543×	add-sqr-sqrt_binary64_782
540×	times-frac_binary64_2471
529×	add-cube-cbrt_binary64_1136
483×	*-un-lft-identity_binary64_760
456×	add-exp-log_binary64_457
449×	add-exp-log_binary64_116
437×	add-exp-log_binary64_1480
430×	times-frac_binary64_766 cbrt-unprod_binary64
424×	pow1_binary64
374×	add-cube-cbrt_binary64_2500
370×	add-sqr-sqrt_binary64_1464
362×	times-frac_binary64_4176
354×	add-sqr-sqrt_binary64_441
344×	pow-to-exp_binary64_5603 times-frac_binary64_1448
330×	add-sqr-sqrt_binary64_1805
324×	*-un-lft-identity_binary64_2806
320×	*-un-lft-identity_binary64_1442
319×	add-sqr-sqrt_binary64_2828
316×	add-exp-log_binary64_1139
311×	*-un-lft-identity_binary64_5193 *-un-lft-identity_binary64_3147
310×	add-cube-cbrt_binary64_795
308×	add-cube-cbrt_binary64_2159
298×	distribute-lft-out_binary64_2075
296×	add-cube-cbrt_binary64_1477
284×	sqrt-prod_binary64_2822
280×	times-frac_binary64_2812
273×	*-un-lft-identity_binary64
269×	times-frac_binary64_1789
266×	add-cube-cbrt_binary64_2841
262×	cbrt-prod_binary64_5224
259×	add-sqr-sqrt_binary64_3169
256×	add-sqr-sqrt_binary64
252×	pow-prod-down_binary64
248×	*-un-lft-identity_binary64_1783
243×	add-sqr-sqrt_binary64_100
242×	times-frac_binary64_3153
241×	*-un-lft-identity_binary64_419
238×	times-frac_binary64_5199
236×	add-cube-cbrt_binary64_1818
227×	add-exp-log_binary64_3867
223×	add-sqr-sqrt_binary64_5215
222×	prod-exp_binary64_1832 unpow-prod-down_binary64_1862
214×	add-cbrt-cube_binary64_1819
211×	add-cube-cbrt_binary64_3182
210×	sqrt-prod_binary64_2140
205×	*-un-lft-identity_binary64_4170 prod-exp_binary64_468
204×	add-cbrt-cube_binary64_1478
202×	add-cbrt-cube_binary64_1137
201×	distribute-lft-out--_binary64_2076
195×	add-cube-cbrt_binary64_454
191×	add-cbrt-cube_binary64_114
186×	frac-times_binary64
185×	add-sqr-sqrt_binary64_4192 prod-exp_binary64_127
184×	*-un-lft-identity_binary64_4511
183×	add-cube-cbrt_binary64
182×	*-un-lft-identity_binary64_78
180×	pow1_binary64_1503
177×	add-cbrt-cube_binary64_455 add-exp-log_binary64_3185
176×	add-cube-cbrt_binary64_113
174×	sqrt-div_binary64
172×	div-exp_binary64_1834
165×	add-cube-cbrt_binary64_4205
162×	add-sqr-sqrt_binary64_4533
161×	prod-exp_binary64_1491
159×	add-cube-cbrt_binary64_5228 pow1_binary64_1844 cbrt-prod_binary64_2496
158×	add-exp-log_binary64_2162
157×	sqrt-div_binary64_2823 times-frac_binary64_425
156×	div-exp_binary64
155×	times-frac_binary64_4517
152×	associate-*l/_binary64_3431
150×	pow1_binary64_139
149×	pow1_binary64_2185 times-frac_binary64_84
142×	pow-exp_binary64_1851
141×	log-prod_binary64_1187
139×	add-cbrt-cube_binary64_2160
131×	div-exp_binary64_1493
130×	add-cube-cbrt_binary64_4546 add-cbrt-cube_binary64_3183 pow1_binary64_480
129×	flip3-+_binary64 flip-+_binary64 div-exp_binary64_470
128×	pow-to-exp_binary64_1852
125×	cancel-sign-sub-inv_binary64_2090
124×	pow-exp_binary64_487
123×	add-exp-log_binary64_2503 *-un-lft-identity_binary64_5534
122×	pow-to-exp_binary64_488 div-exp_binary64_129
119×	add-exp-log_binary64_798 unpow-prod-down_binary64_498
117×	rec-exp_binary64_5584 1-exp_binary64_5578
115×	unpow-prod-down_binary64_1521
113×	pow1_binary64_2867 flip--_binary64_3463 flip3--_binary64_3492
112×	difference-of-squares_binary64_729 sqr-pow_binary64_1755
110×	add-log-exp_binary64 add-sqr-sqrt_binary64_3851
109×	associate-/l*_binary64_1046
108×	pow1_binary64_1162
107×	associate-*l*_binary64_360
106×	difference-of-squares_binary64_2093
105×	add-cbrt-cube_binary64_4206 times-frac_binary64 add-exp-log_binary64_4208
103×	add-cbrt-cube_binary64_796 associate-/r*_binary64_1727
102×	unpow-prod-down_binary64_157 associate-*r*_binary64_359
101×	prod-exp_binary64_3878
98×	add-log-exp_binary64_2163
97×	pow1_binary64_821 associate-*l*_binary64
96×	log-prod_binary64_3233
95×	sqrt-prod_binary64_1117
94×	add-log-exp_binary64_2504 prod-exp_binary64_1150
93×	pow1_binary64_3208 distribute-lft-out_binary64_2416 associate-/r*_binary64_1386
92×	add-sqr-sqrt_binary64_5556
91×	swap-sqr_binary64_2091 pow-exp_binary64_146
90×	unpow-prod-down_binary64_2203
89×	add-cbrt-cube_binary64_2501
88×	associate-*r/_binary64_2748
87×	div-exp_binary64_1152
86×	pow-to-exp_binary64_147 add-sqr-sqrt_binary64_3510
84×	pow-exp_binary64_1510
82×	difference-of-squares_binary64_2434
81×	flip3--_binary64 flip--_binary64
80×	associate-*r*_binary64_18 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
79×	cube-prod_binary64_1811
78×	cube-prod_binary64_2152 associate-*l/_binary64 add-sqr-sqrt_binary64_4874
77×	associate-*r*_binary64_2405
76×	cancel-sign-sub-inv_binary64 pow-to-exp_binary64_1511 pow-exp_binary64 associate-*r*_binary64_700
75×	associate-*r*_binary64_2064
74×	add-cbrt-cube_binary64_3865 associate-*l*_binary64_701
73×	associate-/r*_binary64_1045 associate-*r*_binary64_3087 associate-*r/_binary64 add-log-exp_binary64_3186 pow1_binary64_2526 add-log-exp_binary64_1481 pow-exp_binary64_3897
72×	*-un-lft-identity_binary64_3829 pow1_binary64_3890 sqrt-prod_binary64_1458
71×	associate-*l/_binary64_2749 unpow-prod-down_binary64_3908 sqr-pow_binary64_391
70×	associate-*r*_binary64_1041
69×	times-frac_binary64_4858
68×	*-un-lft-identity_binary64_3488 frac-times_binary64_3498 associate-*r*_binary64 log-prod_binary64_5620 associate-/r*_binary64_704
67×	add-log-exp_binary64_458 add-log-exp_binary64_799 div-exp_binary64_3880
66×	distribute-lft-neg-in_binary64_2763 add-cube-cbrt_binary64_3864 distribute-rgt-neg-in_binary64_2764 sqrt-div_binary64_3505 difference-of-squares_binary64_1070 pow-to-exp_binary64_3898
65×	distribute-lft-out_binary64_5144 flip-+_binary64_2780 flip3-+_binary64_2809 associate-/r*_binary64_22 distribute-lft-out--_binary64_2417
64×	frac-add_binary64_3496 add-log-exp_binary64_1822
62×	associate-*r*_binary64_1382 add-log-exp_binary64_117 associate-*l*_binary64_2065 add-log-exp_binary64_2845
61×	difference-of-squares_binary64_388
60×	add-log-exp_binary64_1140 associate-/r*_binary64_2409 add-exp-log_binary64_4890 cbrt-div_binary64
59×	associate-/l*_binary64_2410 cbrt-unprod_binary64_1475 div-inv_binary64_1098 cbrt-unprod_binary64_111
58×	times-frac_binary64_3835 *-un-lft-identity_binary64_4852
57×	prod-exp_binary64_3196 cbrt-unprod_binary64_1816 associate-*l*_binary64_1724
56×	swap-sqr_binary64_5160
55×	add-cube-cbrt_binary64_4887 add-cube-cbrt_binary64_5569 unswap-sqr_binary64_387 cbrt-prod_binary64_2155 sqr-pow_binary64_1414
54×	associate-/l*_binary64_1387 distribute-lft-out_binary64_3098 distribute-lft-out_binary64_1052 cbrt-unprod_binary64_452
53×	flip3--_binary64_2128 flip--_binary64_2099
52×	associate-*l*_binary64_1383 sqr-pow_binary64_2096
51×	associate-/l*_binary64_1728
50×	unswap-sqr_binary64_1751 associate-/r/_binary64_4116 flip--_binary64_2781 associate-/l*_binary64_2751 flip3--_binary64_2810
49×	associate-/l*_binary64_4115 pow-prod-down_binary64_1513 times-frac_binary64_5540 cbrt-undiv_binary64 associate-*l*_binary64_19
48×	sqr-pow_binary64_50 sqrt-prod_binary64_3163 associate-/r/_binary64_2411 frac-times_binary64_2816 cbrt-prod_binary64_3178 add-exp-log_binary64_4549 cbrt-prod_binary64_1814 cbrt-undiv_binary64_1135 associate-*r*_binary64_1723
47×	associate-*r*_binary64_2746
46×	associate-/l*_binary64_2069 exp-prod_binary64_2517 associate-/r*_binary64_2068
45×	cbrt-unprod_binary64_1134 cbrt-prod_binary64_791 flip-+_binary64_2439
44×	associate-*l*_binary64_1042 add-cube-cbrt_binary64_3523 distribute-lft-neg-in_binary64_1058 distribute-rgt-neg-in_binary64_1059 flip3-+_binary64_2468 pow-prod-down_binary64_1854
43×	frac-sub_binary64_2133 flip-+_binary64_2098 flip3-+_binary64_2127 cancel-sign-sub-inv_binary64_2431
42×	cube-prod_binary64_1470 associate-*l*_binary64_5134 associate-*r*_binary64_5133 unpow-prod-down_binary64_839
41×	associate-*l*_binary64_2406 distribute-neg-frac_binary64_2770 sqr-pow_binary64_3801 associate-/r*_binary64_2750 cube-mult_binary64_1813 unpow3_binary64_1849
40×	associate-/l/_binary64_2753 associate-/r*_binary64_363 add-cbrt-cube_binary64_4547 associate-*r/_binary64_3430
39×	cbrt-undiv_binary64_1817 pow-to-exp_binary64
38×	associate-/l*_binary64_705 sqrt-pow1_binary64_2824
37×	sqrt-div_binary64_1118 pow-prod-down_binary64_149 sqrt-prod_binary64_435 pow1_binary64_5595 cube-prod_binary64_106 unpow-prod-down_binary64 pow-prod-down_binary64_490
36×	difference-of-sqr-1_binary64_2435 cbrt-undiv_binary64_4204 unpow-prod-down_binary64_5613 flip3-+_binary64_3150 flip-+_binary64_3121 div-exp_binary64_4221 sqrt-div_binary64_2141
35×	cbrt-prod_binary64 div-inv_binary64_3144 pow-prod-down_binary64_2877 cbrt-unprod_binary64_3180
34×	unswap-sqr_binary64_2433 frac-times_binary64_2134
33×	associate-*l*_binary64_2747 div-inv_binary64_2462 distribute-rgt-in_binary64 cbrt-undiv_binary64_1476 distribute-lft-in_binary64
32×	add-cbrt-cube_binary64_5570 cancel-sign-sub-inv_binary64_385 div-inv_binary64_4167 associate-/r/_binary64_5139 associate-/r/_binary64_1047 unswap-sqr_binary64_46
31×	distribute-lft-out_binary64 log-pow_binary64_2554
30×	associate-/l/_binary64_1048 associate-*r*_binary64_3769 sqrt-prod_binary64_94 associate--r+_binary64_5470 sqrt-pow1_binary64 pow-prod-down_binary64_2195 associate-+r+_binary64_3079
29×	unpow2_binary64_484 pow1_binary64_3549 frac-sub_binary64
28×	associate-/r*_binary64_4455 add-log-exp_binary64_4209 cube-prod_binary64 add-cbrt-cube_binary64_4888 cbrt-unprod_binary64_4203 div-exp_binary64_3198 associate-/l*_binary64_3092 prod-exp_binary64_4219
27×	prod-exp_binary64_2173 flip3-+_binary64_4173 flip-+_binary64_4144 distribute-lft-out_binary64_2757
26×	cbrt-div_binary64_3520 cancel-sign-sub-inv_binary64_726 distribute-lft-out--_binary64_712 associate-+l+_binary64_1034 associate-/l/_binary64_2071 associate-*r*_binary64_4451 associate-/r/_binary64_706
25×	cancel-sign-sub-inv_binary64_1408 unswap-sqr_binary64_3797 times-frac_binary64_3494 cbrt-unprod_binary64_2157 unpow3_binary64_1508 add-log-exp_binary64_4550 pow1_binary64_5254 associate-*r/_binary64_2066 pow1_binary64_4231 cube-prod_binary64_447 add-exp-log_binary64_3526 unswap-sqr_binary64_5161 cbrt-undiv_binary64_112 difference-of-squares_binary64 pow1/3_binary64_2547 pow-prod-down_binary64_3900 associate-*r*_binary64_4792 cube-mult_binary64_1472 difference-of-squares_binary64_1411 frac-add_binary64
24×	pow-unpow_binary64_2201 unpow-prod-down_binary64_2544 unpow-prod-down_binary64_3226 unswap-sqr_binary64_1410 distribute-rgt-neg-in_binary64_4128 cbrt-unprod_binary64_3862 pow1/2_binary64_2886 frac-add_binary64_2814 distribute-lft-out--_binary64_4463 cbrt-prod_binary64_4883 associate-*r/_binary64_4112 pow1_binary64_4572 distribute-lft-neg-in_binary64_4127 flip-+_binary64_1075 distribute-lft-neg-in_binary64_717 associate-*l*_binary64_3088 frac-sub_binary64_2815 flip3-+_binary64_1104 associate-*r/_binary64_1043 associate--l+_binary64_5471
23×	associate-/l*_binary64_4456 associate-/r*_binary64_3773 add-log-exp_binary64_5573 associate-*r/_binary64_3089
22×	cbrt-div_binary64_2497 associate-/r/_binary64_2070 div-exp_binary64_2175 add-cbrt-cube_binary64_3524 associate-*l*_binary64_3770 cbrt-undiv_binary64_453 pow-prod-down_binary64_1172 add-exp-log_binary64_5231 associate-+l+_binary64_3080
21×	div-inv_binary64_1439 flip3--_binary64_764 flip--_binary64_735 log-div_binary64_3234 sum-log_binary64 cosh-undef_binary64_3000 log-prod_binary64_1528 prod-exp_binary64_4901 prod-exp_binary64_2514 unpow-prod-down_binary64_1180 pow-unpow_binary64_837 cbrt-undiv_binary64_3181
20×	add-log-exp_binary64_3527 distribute-lft-out--_binary64_1053 add-log-exp_binary64_3868 associate-/r*_binary64_5137 sqr-pow_binary64_732 associate-/l*_binary64_23 add-cbrt-cube_binary64_5229 difference-of-squares_binary64_5503
19×	pow-prod-up_binary64 associate-/l*_binary64_364 flip--_binary64_1417 flip3--_binary64_1446 div-inv_binary64_1780 unswap-sqr_binary64_2092 cbrt-prod_binary64_3519 sqrt-prod_binary64 sub-neg_binary64_2117 div-exp_binary64_2516 associate-/r*_binary64_4114
18×	unpow3_binary64_2190 associate-*l/_binary64_2067 div-exp_binary64_4903 div-exp_binary64_811 clear-num_binary64_1782 div-inv_binary64_757 associate-/l*_binary64 frac-2neg_binary64_1794 log-pow_binary64_3236 cube-mult_binary64_2154 distribute-rgt-out_binary64_713 distribute-lft-out_binary64_5485 sqrt-div_binary64_1459 cancel-sign-sub-inv_binary64_4477 div-inv_binary64_5190
17×	unpow3_binary64_144 distribute-rgt-out--_binary64_714 difference-of-squares_binary64_3457 distribute-lft-out_binary64_711 distribute-neg-frac_binary64_1065 frac-2neg_binary64_1112 cube-mult_binary64_108 unswap-sqr_binary64_728 clear-num_binary64_1100 sqrt-pow1_binary64_96 prod-exp_binary64_809 sqr-pow_binary64_1073 unswap-sqr_binary64 diff-log_binary64_2216
16×	sqrt-prod_binary64_4186 sub-neg_binary64 *-commutative_binary64_350 neg-mul-1_binary64_2802 distribute-lft-out--_binary64_371 distribute-lft-out_binary64_4121 distribute-lft-out--_binary64 unswap-sqr_binary64_2774 flip-+_binary64_5167 sum-log_binary64_2556 log-prod_binary64 sqr-pow_binary64 pow-exp_binary64_2192 sum-log_binary64_3238 unswap-sqr_binary64_1069 associate-/l*_binary64_3774 associate-/l/_binary64_1730 associate-*r/_binary64_1725 frac-add_binary64_1109 flip3-+_binary64_5196
15×	pow1/3_binary64_5275 associate-/l*_binary64_5138 div-inv_binary64_2121 frac-add_binary64_3155 cbrt-undiv_binary64_2499 pow-unpow_binary64_1860 pow-prod-down_binary64_3218 div-sub_binary64_1788 *-commutative_binary64_2055 log-pow_binary64_1531 pow-prod-up_binary64_148 cbrt-unprod_binary64_793 swap-sqr_binary64_2432
14×	*-commutative_binary64_1032 clear-num_binary64_1441 log-div_binary64_5621 div-inv_binary64_2803 frac-2neg_binary64_1453 div-exp_binary64_4562 log-pow_binary64_5623 sqrt-prod_binary64_4527 distribute-lft-out--_binary64_5486 sqrt-pow1_binary64_2142 associate-*l/_binary64_1044 associate-+r+_binary64_1374 *-commutative_binary64_1373 pow-exp_binary64_1169 difference-of-squares_binary64_2775 pow1/2_binary64_2204 cbrt-undiv_binary64_794
13×	associate-*l/_binary64_703 difference-of-sqr--1_binary64_2095 clear-num_binary64_2464 log-prod_binary64_2551 *-commutative_binary64_9 unpow2_binary64_1166 cbrt-undiv_binary64_2158 cbrt-prod_binary64_2837 pow1/3_binary64_3570 div-inv_binary64_416 frac-2neg_binary64_2476 pow-to-exp_binary64_2193 pow1/3_binary64 flip3--_binary64_423 rem-sqrt-square_binary64_2819 *-commutative_binary64_691 *-commutative_binary64 flip--_binary64_394
12×	sqr-pow_binary64_2437 pow-unpow_binary64_3906 difference-of-sqr--1_binary64_2436 cbrt-prod_binary64_1132 difference-of-squares_binary64_1752 tan-quot_binary64_919 log-pow_binary64 cube-prod_binary64_3175 associate-*r*_binary64_3428 cos-sum_binary64_894 diff-log_binary64 cube-prod_binary64_3857 log-pow_binary64_1872 associate-/r*_binary64_4796 pow-unpow_binary64_155 unswap-sqr_binary64_3115 cancel-sign-sub-inv_binary64_3454 log-pow_binary64_508 difference-of-squares_binary64_3116 div-inv_binary64_4508 sqrt-prod_binary64_1799 pow-prod-down_binary64_831 sqrt-div_binary64_4528 associate-*l*_binary64_3429 sin-diff_binary64_1919 associate-/r/_binary64_2752
11×	pow1/2_binary64 cbrt-div_binary64_5225 exp-prod_binary64_471 distribute-rgt-in_binary64_3097 associate-/r*_binary64 exp-prod_binary64_1835 log-pow_binary64_1190 div-inv_binary64_75 associate-/l/_binary64 distribute-rgt-neg-out_binary64 associate-/r/_binary64_1388 neg-mul-1_binary64_1097 pow1_binary64_4913 distribute-lft-in_binary64_3096
10×	distribute-rgt-out_binary64_3100 associate-*l/_binary64_362 flip3-+_binary64_763 add-log-exp_binary64_5232 pow1/3_binary64_2206 flip-+_binary64_734 sub-neg_binary64_753 cbrt-undiv_binary64_2840 unpow-prod-down_binary64_4590 pow1/2_binary64_1522 associate-/l/_binary64_1389 associate-*r/_binary64_361 unswap-sqr_binary64_4820 log-div_binary64_1188 cbrt-undiv_binary64_4886 div-exp_binary64_2857 associate-*l*_binary64_4793 clear-num_binary64_2123 cbrt-undiv_binary64_3863 difference-of-squares_binary64_4480 pow-pow_binary64_1855 +-commutative_binary64_2395 cbrt-undiv_binary64_4545 associate-*r/_binary64_3771 sqrt-pow1_binary64_1460 frac-2neg_binary64_2135 cancel-sign-sub-inv_binary64_5500 +-commutative_binary64_3077
9×	associate-+l+_binary64 flip--_binary64_2440 div-inv_binary64 diff-log_binary64_2557 difference-of-sqr-1_binary64_2094 cbrt-unprod_binary64_2839 cbrt-unprod_binary64_2498 difference-cubes_binary64_2126 difference-of-sqr-1_binary64_730 distribute-lft1-in_binary64_715 swap-sqr_binary64_727 exp-prod_binary64_1494 flip3--_binary64_1105 associate-/l/_binary64_3776 cbrt-unprod_binary64_4885 pow1/2_binary64_158 pow-unpow_binary64_3224 rem-cube-cbrt_binary64_2147 pow-pow_binary64_2196 associate-/r*_binary64_3091 cos-atan_binary64_1280 add-log-exp_binary64_4891 flip--_binary64_1076 pow-prod-up_binary64_2194 flip--_binary64_4145 *-commutative_binary64_1714 associate-/l*_binary64_4797 *-commutative_binary64_2396 sqrt-prod_binary64_776 prod-exp_binary64_2855 flip3--_binary64_4174 distribute-lft-out--_binary64_3440 pow-sqr_binary64
8×	cube-prod_binary64_2493 pow-exp_binary64_828 div-sub_binary64_4857 rem-log-exp_binary64_1142 cos-sum_binary64_2258 frac-2neg_binary64_771 flip3--_binary64_2469 associate--l+_binary64_4448 rem-sqrt-square_binary64_1455 distribute-rgt-neg-in_binary64_718 cube-mult_binary64 clear-num_binary64_2805 distribute-lft-out_binary64_4462 clear-num_binary64_77 clear-num_binary64_759 difference-of-squares_binary64_4139 cancel-sign-sub-inv_binary64_4136 pow-prod-up_binary64_1853 frac-2neg_binary64_89 pow-sqr_binary64_1415 log-div_binary64 log-prod_binary64_2210 frac-times_binary64_1111 sqrt-div_binary64_3164 frac-2neg_binary64_2817 exp-sum_binary64_2170 unpow3_binary64 pow-to-exp_binary64_1170 associate-*r/_binary64_702 tan-quot_binary64_1260 flip3--_binary64_1787 pow-pow_binary64_3901 cbrt-div_binary64_3179 sqrt-div_binary64_4187 sin-sum_binary64_893 sqr-pow_binary64_3119 rem-log-exp_binary64_3188 pow-prod-up_binary64_1512 unpow-prod-down_binary64_2885 cancel-sign-sub-inv_binary64_1749 flip--_binary64_1758 associate-/l/_binary64_707 pow-sqr_binary64_1756 distribute-rgt-in_binary64_5484 frac-sub_binary64_4520 distribute-lft-in_binary64_5483 pow-to-exp_binary64_829 neg-mul-1_binary64_4166
7×	flip--_binary64_5509 sinh-undef_binary64_612 sub-neg_binary64_1435 pow-sqr_binary64_2097 pow-pow_binary64_832 flip3--_binary64_4515 +-commutative_binary64 flip3-+_binary64_5537 cbrt-unprod_binary64_5567 frac-2neg_binary64_430 sub-neg_binary64_2458 flip-+_binary64_1416 flip-+_binary64_5508 cosh-undef_binary64_613 distribute-rgt-in_binary64_710 distribute-lft-out_binary64_370 pow-plus_binary64 flip3-+_binary64_4514 unpow-prod-down_binary64_3567 rem-sqrt-square_binary64_2137 log-div_binary64_1529 *-commutative_binary64_3078 flip-+_binary64_4485 diff-log_binary64_511 pow-flip_binary64_2198 cos-diff_binary64_897 flip--_binary64_4486 flip3-+_binary64_1445 clear-num_binary64_418 div-inv_binary64_5531 *-commutative_binary64_2737 distribute-lft-in_binary64_709 frac-add_binary64_2132 flip3--_binary64_5538 sub-neg_binary64_412
6×	associate-+r+_binary64_2397 rec-exp_binary64_3197 pow-to-exp_binary64_2534 frac-2neg_binary64_4522 tan-quot_binary64_1942 rem-cube-cbrt_binary64_1806 associate-+r+_binary64_692 pow-prod-down_binary64_2536 pow1/3_binary64_3229 distribute-lft-out--_binary64_1735 sin-cos-mult_binary64_2280 distribute-lft-out_binary64_1393 sin-mult_binary64_2279 cbrt-prod_binary64_450 sum-log_binary64_851 pow-unpow_binary64_5611 diff-log_binary64_4603 pow-exp_binary64_2533 pow-unpow_binary64_496 exp-prod_binary64_2176 distribute-lft-out--_binary64_1394 difference-of-squares_binary64_47 diff-log_binary64_1534 pow-unpow_binary64_4588 unpow3_binary64_485 unpow2_binary64 div-exp_binary64_5244 difference-of-squares_binary64_3798 cos-mult_binary64_2278 pow-unpow_binary64 associate-*l*_binary64_4452 pow-pow_binary64_5606 pow-pow_binary64_150 1-exp_binary64_3191 associate-/r*_binary64_3432 clear-num_binary64_4510 pow-unpow_binary64_1519 diff-log_binary64_5626 cbrt-prod_binary64_109 associate-/r/_binary64_5480 cube-mult_binary64_449 cos-diff_binary64_2261
5×	clear-num_binary64_5192 distribute-lft-neg-out_binary64_1742 flip--_binary64_3122 pow-to-exp_binary64_3216 sqrt-unprod_binary64_2826 *-commutative_binary64_3760 cbrt-undiv_binary64_5568 flip3--_binary64_3151 distribute-rgt-in_binary64_2074 frac-2neg_binary64_3840 associate-/l/_binary64_2412 frac-2neg_binary64_3158 associate-/r*_binary64_5478 acos-asin_binary64_5033 sum-log_binary64_2897 clear-num_binary64_3828 pow-sqr_binary64_51 frac-sub_binary64_3838 distribute-lft-in_binary64_2073 +-commutative_binary64_690 div-inv_binary64_4849 frac-2neg_binary64_4181 acos-asin_binary64_1623 clear-num_binary64_3146 frac-sub_binary64_1792 1-exp_binary64_2168 rec-exp_binary64_2174 pow-exp_binary64_3215 frac-times_binary64_770 div-inv_binary64_3826 cbrt-undiv_binary64_5227 clear-num_binary64_4169 +-commutative_binary64_2736 frac-2neg_binary64_5204 frac-sub_binary64_2474
4×	rem-cube-cbrt_binary64_1465 associate-/l/_binary64_366 pow-prod-down_binary64_3559 rem-sqrt-square_binary64_4183 pow-sqr_binary64_5166 flip3--_binary64_3833 sub-neg_binary64_3481 distribute-frac-neg_binary64_1746 cos-sum_binary64_1576 swap-sqr_binary64_3455 frac-add_binary64_3837 diff-log_binary64_4262 1-exp_binary64_4896 swap-sqr_binary64 pow1/2_binary64_4250 pow1/3_binary64_2888 1-exp_binary64_2509 cancel-sign-sub-inv_binary64_3795 associate--l+_binary64 pow-plus_binary64_1846 pow-prod-up_binary64_489 cube-mult_binary64_3859 associate-/l/_binary64_4458 pow-plus_binary64_1505 associate--l-_binary64_5472 cancel-sign-sub-inv_binary64_2772 cbrt-unprod_binary64_4544 unswap-sqr_binary64_4479 swap-sqr_binary64_45 cube-prod_binary64_1129 sqrt-div_binary64_1800 pow1/3_binary64_1865 associate--l+_binary64_2061 rec-exp_binary64_2515 sub-neg_binary64_1776 associate-+r+_binary64_1033 sub-neg_binary64_5527 pow-pow_binary64_1514 flip--_binary64_3804 clear-num_binary64 pow-sqr_binary64_392 sub-neg_binary64_4163 cube-prod_binary64_788 associate-+r-_binary64_3081 frac-2neg_binary64 exp-sum_binary64_2511 pow-flip_binary64_2539 sin-mult_binary64_1597 sub-neg_binary64_4504 distribute-rgt-in_binary64_3438 associate-/l/_binary64_4117 sqrt-pow1_binary64_4188 rem-sqrt-square_binary64_91 rem-cube-cbrt_binary64_3852 inv-pow_binary64_2550 frac-times_binary64_2475 pow-prod-up_binary64_3899 log-pow_binary64_849 diff-log_binary64_1875 pow-sqr_binary64_2438 distribute-rgt-neg-in_binary64_3105 distribute-lft-out--_binary64_4122 flip3--_binary64_82 rem-cbrt-cube_binary64_1807 pow2_binary64_2205 associate-/l*_binary64_5479 pow-pow_binary64_491 unpow3_binary64_3895 rem-log-exp_binary64_5575 frac-add_binary64_1791 cancel-sign-sub-inv_binary64_44 cbrt-div_binary64_2838 associate-+r-_binary64_4786 log-prod_binary64_846 pow-prod-up_binary64_5263 associate--l+_binary64_3084 pow-prod-up_binary64_2535 div-sub_binary64_2129 flip--_binary64_53 pow-sqr_binary64_3802 sin-sum_binary64_2257 distribute-lft-in_binary64_3437 sub-neg_binary64_2799 rem-log-exp_binary64_1483 unpow2_binary64_825 pow-plus_binary64_2187 prod-exp_binary64_4560 rec-exp_binary64_4902 diff-log_binary64_2898 pow-prod-down_binary64_5264
3×	associate-*r/_binary64_2407 acos-neg_binary64_5035 pow-pow_binary64_3219 clear-num_binary64_4851 pow-prod-up_binary64_830 associate-*l*_binary64_5475 inv-pow_binary64_5619 sqrt-prod_binary64_3504 unpow3_binary64_3213 *-commutative_binary64_3419 diff-log_binary64_852 sub-neg_binary64_3140 diff-log_binary64_3239 distribute-neg-in_binary64_3108 unswap-sqr_binary64_3456 associate-*r/_binary64_20 sqrt-prod_binary64_3845 associate-/l*_binary64_3433 exp-prod_binary64_812 distribute-frac-neg_binary64_4815 rem-log-exp_binary64 associate-+r-_binary64_2399 associate-+l+_binary64_2398 associate-+l-_binary64_3082 1-exp_binary64_463 pow1/3_binary64_842 pow1/2_binary64_3227 prod-exp_binary64_3537 pow-prod-down_binary64_4241 distribute-lft-neg-out_binary64 log-prod_binary64_1869 pow-plus_binary64_823 log-pow_binary64_2213 distribute-lft-out--_binary64_30 rec-exp_binary64_469 pow-pow_binary64 pow-plus_binary64_141 flip-+_binary64_1757 distribute-rgt1-in_binary64_3103 frac-2neg_binary64_4863 cancel-sign-sub-inv_binary64_3113 div-sub_binary64_1447 cube-mult_binary64_3177 pow-sqr_binary64_733 distribute-lft-neg-in_binary64_1740 pow2_binary64 pow-flip_binary64_5608 pow-unpow_binary64_3565 distribute-lft-out--_binary64_3781 flip3-+_binary64_1786 associate-/l/_binary64_3094 log-prod_binary64_505 cbrt-unprod_binary64_3521 pow-prod-down_binary64_5605 distribute-rgt-neg-in_binary64_1741 associate-*l*_binary64_4111 pow2_binary64_841 div-sub_binary64_765 associate-/r/_binary64_3434 rem-sqrt-square_binary64_3160 distribute-lft-out--_binary64_2758 associate-+l-_binary64 sum-log_binary64_1533 sqrt-pow1_binary64_3165
2×	pow-sqr_binary64_3461 sqrt-pow1_binary64_1801 log-div_binary64_2211 prod-exp_binary64_5242 clear-num_binary64_5533 pow-plus_binary64_482 associate-+r-_binary64_1035 sub-neg_binary64_3822 sqrt-div_binary64_95 associate-*r/_binary64_5135 associate-*r/_binary64_1384 sqrt-undiv_binary64_2827 pow2_binary64_159 pow-prod-down_binary64_4582 pow2_binary64_1864 +-commutative_binary64_4100 associate-+l-_binary64_695 frac-times_binary64_5203 associate-*l/_binary64_5136 exp-diff_binary64_2172 rem-cube-cbrt_binary64_101 pow1/2_binary64_1863 cos-diff_binary64_4989 associate-*l/_binary64_2408 rem-sqrt-square_binary64_1796 div-sub_binary64_424 sub-neg_binary64_71 pow-prod-down_binary64_4923 pow1/2_binary64_1181 associate--l-_binary64_3085 1-exp_binary64_804 diff-log_binary64_3921 pow-plus_binary64_2528 distribute-frac-neg_binary64_2769 rem-log-exp_binary64_2506 pow2_binary64_1523 div-sub_binary64_3834 pow-prod-up_binary64_3558 sqr-pow_binary64_4483 neg-sub0_binary64_2801 pow-to-exp_binary64_4580 pow1/2_binary64_4591 associate-/l/_binary64_25 cbrt-unprod_binary64_5226 asin-acos_binary64_1622 *-commutative_binary64_4442 rem-sqrt-square_binary64_4524 *-commutative_binary64_4783 pow-exp_binary64_4579 1-exp_binary64_1486 swap-sqr_binary64_1409 swap-sqr_binary64_1750 unpow3_binary64_2531 associate-*r/_binary64_4453 exp-diff_binary64_1490 unpow2_binary64_3212 sqr-pow_binary64_5506 pow-pow_binary64_3560 div-sub_binary64_2811 flip3-+_binary64_3832 associate--r-_binary64_5473 rec-exp_binary64_4561 pow2_binary64_2546 diff-log_binary64_3580 div-inv_binary64_3485 inv-pow_binary64_2209 pow-flip_binary64_3221 associate-/r/_binary64 cube-mult_binary64_2495 sqrt-pow1_binary64_1119 pow2_binary64_5274 unpow2_binary64_143 pow-plus_binary64_5256 div-sub_binary64_4516 rec-exp_binary64_1492 pow-pow_binary64_4583 1-exp_binary64_4555 flip-+_binary64_3803 diff-log_binary64_170 +-commutative_binary64_1031 frac-2neg_binary64_5545 associate--r+_binary64_2060 +-commutative_binary64_1372 rec-exp_binary64_810 pow-plus_binary64_3892 sqrt-pow1_binary64_4529 sum-log_binary64_4261 sum-log_binary64_5625 associate-/r/_binary64_365 sqrt-div_binary64_436 rem-cube-cbrt_binary64_442 associate-*l/_binary64_1385 *-commutative_binary64_5124 sin-diff_binary64_896 associate--l-_binary64_4449 unpow2_binary64_4576 sum-log_binary64_1192 neg-sub0_binary64_755
1×	rem-sqrt-square_binary64_1114 pow-to-exp_binary64_3557 frac-2neg_binary64_3499 cos-diff_binary64_1579 frac-times_binary64_4862 pow2_binary64_500 rem-cbrt-cube_binary64_3171 div-sub_binary64_4175 atan-neg_binary64_1967 un-div-inv_binary64_1099 difference-of-sqr-1_binary64_1412 unpow3_binary64_826 sqrt-unprod_binary64_2144 rem-3cbrt-lft_binary64 +-commutative_binary64_2054 rem-log-exp_binary64_1824 cbrt-undiv_binary64_3522 rem-exp-log_binary64_1482 sqrt-unprod_binary64 rem-square-sqrt_binary64_2136 unsub-neg_binary64_3141 asin-acos_binary64_2304 pow-flip_binary64_4585 cos-neg_binary64_1914 pow-exp_binary64_3556 associate-*r*_binary64_5474 associate--r+_binary64 pow1/3_binary64_160 clear-num_binary64_3487 pow2_binary64_3910 difference-of-sqr-1_binary64 tanh-def-b_binary64_607 div-sub_binary64_2470 pow3_binary64 sqr-abs_binary64_93 sqrt-pow1_binary64_437 inv-pow_binary64_5278 sinh-def_binary64_945 cube-mult_binary64_1131 distribute-frac-neg_binary64_1064 rem-sqrt-square_binary64_432 neg-log_binary64_853 pow2_binary64_3569 pow-flip_binary64_5267 div-sub_binary64_83 tanh-undef_binary64_614 log-div_binary64_2552 associate-*r/_binary64_4794 pow1/2_binary64_3568 distribute-rgt-out--_binary64_2078 associate-/r/_binary64_4457 un-div-inv_binary64_3145 neg-log_binary64_3240 pow1/2_binary64_499 flip3-+_binary64_3491 pow-plus_binary64_3551 unpow2_binary64_3894 tanh-def-c_binary64_608 flip3-+_binary64_4855 sin-diff_binary64_2260 associate--l-_binary64_2062 rem-square-sqrt_binary64 rem-log-exp_binary64_460 mul0-rgt_binary64 exp-diff_binary64_2513 sqrt-pow1_binary64_3506 rem-log-exp_binary64_801 tanh-def-a_binary64_606 cos-sum_binary64_4986 associate-+r-_binary64_1376 inv-pow_binary64_3232 pow1/3_binary64_501 rem-cube-cbrt_binary64 sinh-undef_binary64_953 cos-atan_binary64_1962 div-exp_binary64_3539 sqr-pow_binary64_3460 sqr-abs_binary64_2139 *-commutative_binary64_5465 rem-cbrt-cube_binary64_2148 neg-mul-1_binary64_1779 cube-mult_binary64_790 rem-cbrt-cube_binary64 div-sub_binary64_1106 exp-sum_binary64_806 mul0-lft_binary64 frac-add_binary64_2473 associate-*l/_binary64_4795 associate-+l-_binary64_1036 swap-sqr_binary64_3796 inv-pow_binary64_4596 associate-*r*_binary64_4110 neg-sub0_binary64_1096 swap-sqr_binary64_386 distribute-rgt-out--_binary64_3442 associate--l+_binary64_2402 +-commutative_binary64_4782 rem-exp-log_binary64_2164 frac-times_binary64_429 associate-+r-_binary64_4445 sum-log_binary64_4943 associate--r-_binary64_1381 distribute-rgt-out_binary64 associate--r+_binary64_2401 sum-log_binary64_2215 flip-+_binary64_4826 pow-flip_binary64_834 sin-mult_binary64_915 1-exp_binary64_5237 inv-pow_binary64_845 rem-exp-log_binary64_2505 unpow3_binary64_1167 unpow2_binary64_1848 flip3-+_binary64_422 inv-pow_binary64_1527 flip-+_binary64_393 cube-div_binary64_2153 *-commutative_binary64_4101 rem-sqrt-square_binary64_3501 pow-flip_binary64_1516 rec-exp_binary64_5243 flip-+_binary64_3462 rem-cube-cbrt_binary64_3170 neg-sub0_binary64_3142

Counts

681 → 18508

Calls

391 calls:

417.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))))
131.0ms	(*.f64 (sqrt.f64 (-.f64 (/.f64 x (+.f64 1 x)) (/.f64 (+.f64 1 x) (+.f64 x -1)))) (sqrt.f64 (-.f64 (/.f64 x (+.f64 1 x)) (/.f64 (+.f64 1 x) (+.f64 x -1)))))
128.0ms	(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
97.0ms	(cos.f64 (*.f64 1/180 (*.f64 angle PI.f64)))
97.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 839783 to 449612 computations (46.5% saved)