rewrite1.1min (5.8%)

Algorithm

192×	rewrite-expression-head

Rules

3900×	add-exp-log_binary64
2809×	prod-exp_binary64
2067×	*-un-lft-identity_binary64_1783
1658×	add-cbrt-cube_binary64
1299×	add-exp-log_binary64_5231
1228×	times-frac_binary64_1789
1157×	cbrt-unprod_binary64
1113×	times-frac_binary64_5199
900×	unpow-prod-down_binary64_5272
849×	*-un-lft-identity_binary64_5193
813×	add-sqr-sqrt_binary64_1805
748×	pow-exp_binary64_5261
692×	add-exp-log_binary64_2162
687×	prod-exp_binary64_5242
676×	add-sqr-sqrt_binary64_782
659×	div-exp_binary64_5244
647×	*-un-lft-identity_binary64_760
633×	div-exp_binary64
617×	*-un-lft-identity_binary64_3147
602×	times-frac_binary64_2130
582×	add-sqr-sqrt_binary64_2146
531×	*-un-lft-identity_binary64_2124
516×	add-sqr-sqrt_binary64_5215
508×	times-frac_binary64_766
505×	distribute-lft-out_binary64_1734 add-cube-cbrt_binary64_1818
501×	times-frac_binary64_1107
500×	times-frac_binary64_3153
497×	add-cube-cbrt_binary64_5228
490×	add-sqr-sqrt_binary64_3169
464×	add-exp-log_binary64_1821
437×	add-sqr-sqrt_binary64_1123
419×	add-cube-cbrt_binary64_2159
398×	add-exp-log_binary64_116
379×	*-un-lft-identity_binary64_1101
360×	add-sqr-sqrt_binary64
358×	pow-to-exp_binary64_5262
352×	*-un-lft-identity_binary64
351×	add-cube-cbrt_binary64_795
330×	pow1_binary64
327×	add-sqr-sqrt_binary64_2487
326×	add-cube-cbrt_binary64_1136
294×	add-exp-log_binary64_2503
293×	add-cube-cbrt_binary64_3182
288×	add-sqr-sqrt_binary64_100
282×	*-un-lft-identity_binary64_2806
278×	prod-exp_binary64_2173
271×	add-exp-log_binary64_1139
268×	*-un-lft-identity_binary64_2465
267×	add-sqr-sqrt_binary64_2828
264×	add-cbrt-cube_binary64_2160
261×	times-frac_binary64
259×	times-frac_binary64_4517
255×	add-cube-cbrt_binary64_2500
248×	add-exp-log_binary64_3867
246×	times-frac_binary64_2471
229×	unpow-prod-down_binary64_2203
228×	div-exp_binary64_2175
225×	times-frac_binary64_2812
222×	cbrt-undiv_binary64
220×	add-cube-cbrt_binary64
214×	pow-prod-down_binary64
209×	add-sqr-sqrt_binary64_441
207×	*-un-lft-identity_binary64_78
204×	add-cbrt-cube_binary64_1819
201×	distribute-lft-out--_binary64_1735
199×	add-cube-cbrt_binary64_113
193×	add-sqr-sqrt_binary64_3510
192×	pow-exp_binary64_2192 sqrt-prod_binary64_1799
188×	pow1_binary64_2185
185×	add-cube-cbrt_binary64_2841
178×	pow-to-exp_binary64_2193
176×	prod-exp_binary64_1832
175×	distribute-lft-out_binary64_5144
173×	pow-exp_binary64 add-sqr-sqrt_binary64_4533
170×	add-cbrt-cube_binary64_114
167×	prod-exp_binary64_127
166×	associate-*l/_binary64_3431
163×	*-un-lft-identity_binary64_3488
162×	pow1_binary64_1844
161×	*-un-lft-identity_binary64_4511
160×	add-cbrt-cube_binary64_1137 add-exp-log_binary64_2844
159×	add-cube-cbrt_binary64_4546 cbrt-prod_binary64_3178
157×	times-frac_binary64_84
154×	pow1_binary64_2526
152×	difference-of-squares_binary64_729 swap-sqr_binary64_1750 unpow-prod-down_binary64_1862
150×	add-cbrt-cube_binary64_2501
148×	cbrt-prod_binary64_4542
147×	add-exp-log_binary64_798
146×	cancel-sign-sub-inv_binary64_1749
144×	pow1_binary64_139
142×	add-sqr-sqrt_binary64_3851
141×	div-exp_binary64_1834
138×	*-un-lft-identity_binary64_419
137×	sqrt-div_binary64_3505
133×	add-cbrt-cube_binary64_2842
131×	unpow-prod-down_binary64_157 1-exp_binary64_5237 rec-exp_binary64_5243
129×	add-cbrt-cube_binary64_796 associate-*r*_binary64_700
126×	sqrt-prod_binary64_776
125×	add-log-exp_binary64
124×	flip--_binary64_3463 add-cube-cbrt_binary64_3523 flip3--_binary64_3492
121×	pow-exp_binary64_1851
118×	add-cube-cbrt_binary64_454
116×	sqrt-prod_binary64_1117
112×	add-exp-log_binary64_457 pow-to-exp_binary64_1852
111×	associate-*r*_binary64_1723
110×	add-sqr-sqrt_binary64_1464
109×	sqr-pow_binary64_2096
108×	associate-*r*_binary64_18
107×	prod-exp_binary64_3878
105×	*-un-lft-identity_binary64_3829
104×	prod-exp_binary64_2514 associate-/r/_binary64_5139
101×	associate-/l*_binary64_2069 associate-*r*_binary64_2064
100×	difference-of-squares_binary64_1752
99×	div-exp_binary64_129
98×	*-un-lft-identity_binary64_1442
97×	add-cbrt-cube_binary64_455
96×	log-prod_binary64_846
95×	distribute-lft-out_binary64_3098 unpow-prod-down_binary64_1180
94×	prod-exp_binary64_1150 add-log-exp_binary64_2163
93×	unpow-prod-down_binary64_2544 pow1_binary64_821
92×	frac-times_binary64_3498 cbrt-prod_binary64_3519 associate-*l*_binary64_1724
91×	associate-*r*_binary64_2746 pow-exp_binary64_146
90×	sqrt-prod_binary64_3504 add-cube-cbrt_binary64_1477
88×	frac-add_binary64_3496 associate-/r*_binary64_2068
87×	add-cbrt-cube_binary64_3865 associate-*r*_binary64_2405 pow-to-exp_binary64 pow-to-exp_binary64_147
86×	pow1_binary64_480
85×	difference-of-squares_binary64_3116 times-frac_binary64_3494 add-cube-cbrt_binary64_3864 pow1_binary64_1162
84×	pow1_binary64_3890
83×	sqrt-prod_binary64_2481 associate-*l*_binary64_2065
82×	add-log-exp_binary64_1822
81×	associate-*l*_binary64_701 add-cbrt-cube_binary64_1478 add-exp-log_binary64_1480 associate-*r/_binary64_3430
79×	unpow-prod-down_binary64_3908
77×	associate-/l*_binary64_1728 div-exp_binary64_1152 associate-/r*_binary64_1727
76×	associate-/r*_binary64_704 cbrt-prod_binary64_1132 div-exp_binary64_2516
75×	cancel-sign-sub-inv_binary64_2090 cube-prod_binary64_1811 pow-exp_binary64_3897
73×	associate-*l*_binary64
72×	add-log-exp_binary64_2504 associate-*l*_binary64_360
69×	cbrt-unprod_binary64_2157 pow-exp_binary64_2533 add-log-exp_binary64_117 cancel-sign-sub-inv_binary64 associate-*r*_binary64_1041
68×	pow1_binary64_3549 pow-to-exp_binary64_3898 sqrt-div_binary64_2482 sqr-pow_binary64_1755
67×	cbrt-prod_binary64_1814 div-exp_binary64_3880 add-log-exp_binary64_458
66×	distribute-lft-out--_binary64_712
64×	pow1_binary64_1503 associate-*l*_binary64_1042 add-exp-log_binary64_3185 sqrt-prod_binary64_2140
63×	flip-+_binary64_5167 cbrt-prod_binary64_2496 flip3-+_binary64_5196
62×	pow-to-exp_binary64_2534 unswap-sqr_binary64_2092
60×	pow1_binary64_4231 add-cbrt-cube_binary64_4206 add-exp-log_binary64_4208
58×	times-frac_binary64_3835
57×	associate-*r/_binary64_2407 distribute-lft-out--_binary64_3099 sqr-pow_binary64_50 pow1_binary64_3208 associate-/l*_binary64_2410 add-log-exp_binary64_3186 log-prod_binary64_3233 difference-of-squares_binary64 add-log-exp_binary64_799
56×	associate-*r*_binary64_359 cube-prod_binary64_106 times-frac_binary64_425
55×	cbrt-undiv_binary64_2158 div-inv_binary64_5190
54×	associate-*l*_binary64_19 associate-*l*_binary64_2747 cancel-sign-sub-inv_binary64_1067
53×	pow1_binary64_2867 associate-/r*_binary64_1045 cube-prod_binary64_2152
52×	add-log-exp_binary64_1481 add-cbrt-cube_binary64_3183 associate-*r*_binary64_3428
51×	associate-*l*_binary64_2406 add-log-exp_binary64_2845
50×	pow-prod-down_binary64_2195 cbrt-unprod_binary64_111 sqr-pow_binary64_5165 prod-exp_binary64_2855
49×	pow1_binary64_5254
48×	associate-*r*_binary64 cancel-sign-sub-inv_binary64_3113 pow-prod-down_binary64_2536
47×	associate-/r/_binary64_1729 add-log-exp_binary64_1140 associate-/r/_binary64_3093 add-sqr-sqrt_binary64_4192 associate-/r*_binary64_2409
45×	cbrt-unprod_binary64_1134 sqr-pow_binary64_3801 unswap-sqr_binary64_46
44×	cbrt-unprod_binary64_1816 distribute-lft-out_binary64_711 distribute-lft-neg-in_binary64_1058 div-inv_binary64_1780 add-exp-log_binary64_3526 distribute-rgt-neg-in_binary64_1059
43×	sqr-pow_binary64_2437 unswap-sqr_binary64_1751 add-log-exp_binary64_3868
42×	associate-/l*_binary64_705 div-inv_binary64_2121 associate-/r*_binary64_4455
41×	cube-prod_binary64_2493 associate-*l*_binary64_3770 associate-/l*_binary64_3092 associate-/r*_binary64_22
40×	flip-+_binary64 log-pow_binary64_2213 add-cbrt-cube_binary64_3524 flip3-+_binary64 add-exp-log_binary64_4549
39×	associate-/r*_binary64_2750
38×	cbrt-undiv_binary64_1817 div-exp_binary64_2857 div-inv_binary64_1098 distribute-lft-out_binary64_2757 add-cbrt-cube_binary64_5229
37×	exp-prod_binary64_2176 associate-/r*_binary64
36×	associate-*r*_binary64_3769 cbrt-unprod_binary64_2839 associate-/l*_binary64_1046 flip3-+_binary64_2468 flip-+_binary64_2439 sqrt-prod_binary64_2822
35×	cbrt-unprod_binary64_2498 add-cube-cbrt_binary64_4205 *-un-lft-identity_binary64_4170 log-prod_binary64 associate-/r*_binary64_3091 div-inv_binary64_3144
34×	associate-*l/_binary64_2408 flip-+_binary64_3121 sqrt-prod_binary64_3163 cancel-sign-sub-inv_binary64_44 flip3--_binary64_2128 pow-prod-down_binary64_149 associate-*l*_binary64_1383 cbrt-undiv_binary64_1135 sqrt-div_binary64_2141 flip--_binary64_2099 associate-*l*_binary64_3429
33×	unswap-sqr_binary64_2433 flip3-+_binary64_3150 sqrt-div_binary64_1118 unswap-sqr_binary64_728 pow-prod-down_binary64_1854
32×	unpow3_binary64_2190 unswap-sqr_binary64_3797 flip3-+_binary64_3491 sqrt-prod_binary64_4868 cube-mult_binary64_2154 difference-of-squares_binary64_2093 add-sqr-sqrt_binary64_4874 flip-+_binary64_3462
31×	difference-of-squares_binary64_388 flip3--_binary64 flip--_binary64 distribute-lft-out--_binary64_2076 cbrt-undiv_binary64_2840 unpow-prod-down_binary64_3567 log-pow_binary64_1872
30×	sqrt-prod_binary64_94 frac-sub_binary64_1792 prod-exp_binary64_809 cbrt-prod_binary64_109
29×	associate-/l*_binary64_2751 associate-/l/_binary64_2412 associate-/r/_binary64_2070 distribute-rgt-neg-in_binary64_3446 distribute-lft-neg-in_binary64_3445 associate-*r*_binary64_4110 frac-sub_binary64_2474
28×	flip-+_binary64_2098 distribute-lft-out_binary64 prod-exp_binary64_468 flip3-+_binary64_2127 distribute-lft-out_binary64_2075 difference-of-sqr--1_binary64_1754
27×	associate-*r*_binary64_1382 swap-sqr_binary64_3114 exp-prod_binary64_1835 associate-/r*_binary64_5137 log-prod_binary64_5279
26×	associate-*r*_binary64_3087 flip--_binary64_2440 difference-of-sqr-1_binary64_3117 sqrt-div_binary64_1800 cbrt-unprod_binary64_3862 pow-prod-down_binary64_4241 associate-/l*_binary64_5138 cbrt-unprod_binary64_4203 flip3--_binary64_2469 add-log-exp_binary64_4891 cancel-sign-sub-inv_binary64_726 prod-exp_binary64_4219
25×	unswap-sqr_binary64_2774 associate-/r/_binary64_706 flip3--_binary64_764 cancel-sign-sub-inv_binary64_385 distribute-rgt-in_binary64_2074 flip--_binary64_735 div-exp_binary64_811 distribute-lft-in_binary64_2073 difference-of-squares_binary64_1070 pow-prod-down_binary64_3900 unswap-sqr_binary64_1069 associate-*l*_binary64_4111
24×	cbrt-prod_binary64_1473 unpow-prod-down_binary64_839 add-cube-cbrt_binary64_4887 sum-log_binary64 div-inv_binary64_757 frac-times_binary64_2475 *-un-lft-identity_binary64_4852 associate-/l*_binary64 flip3--_binary64_1787 associate--l+_binary64_2061 pow1_binary64_4913 unpow-prod-down_binary64_498 flip--_binary64_1758 cbrt-undiv_binary64_794 associate-*l*_binary64_3088 cbrt-unprod_binary64_793
23×	add-log-exp_binary64_3527 associate-/l/_binary64_1048 frac-times_binary64_1793 associate-/r*_binary64_3773
22×	cbrt-div_binary64_3520 sqrt-prod_binary64 cancel-sign-sub-inv_binary64_5159 sub-neg_binary64_2117
21×	cube-mult_binary64_1813 associate-*r/_binary64 frac-sub_binary64_2133 log-pow_binary64_1190 pow-unpow_binary64_1860 distribute-rgt-in_binary64 cbrt-unprod_binary64_452 pow-prod-down_binary64_1172 pow-prod-down_binary64_3559 sqr-pow_binary64_1073 times-frac_binary64_1448 distribute-neg-frac_binary64_3452 unpow3_binary64_1849 distribute-lft-in_binary64
20×	distribute-neg-frac_binary64_2429 associate-/l/_binary64_3435 add-log-exp_binary64_4209 associate-*r/_binary64_2066 associate-*r/_binary64_20 distribute-lft-out--_binary64 clear-num_binary64_2123 exp-prod_binary64_1153 flip-+_binary64_1075 frac-2neg_binary64_2135 flip3-+_binary64_1104 associate-*r/_binary64_1043
19×	add-log-exp_binary64_5232 associate-*l/_binary64 cbrt-undiv_binary64_2499 flip-+_binary64_1757 cube-mult_binary64_108 unpow3_binary64_2531 sqrt-prod_binary64_435 unswap-sqr_binary64_387 flip3-+_binary64_1786 associate-*r/_binary64_1725 cube-mult_binary64_2495 unpow3_binary64_144
18×	pow-unpow_binary64_2201 tan-quot_binary64_919 associate-*l/_binary64_1726 div-inv_binary64_2803 log-pow_binary64_5282 frac-sub_binary64 associate-/l*_binary64_23 frac-times_binary64 cbrt-undiv_binary64_112 add-cbrt-cube_binary64_4547 pow-unpow_binary64_2542 associate-/l/_binary64_1730
17×	associate-/l/_binary64_707 unpow-prod-down_binary64 associate--l+_binary64_15 unswap-sqr_binary64_3456 log-div_binary64_3234 distribute-neg-frac_binary64_1065 diff-log_binary64 div-inv_binary64 sqrt-div_binary64 sqrt-pow1_binary64_96
16×	distribute-rgt-neg-in_binary64_2423 associate-/l*_binary64_4456 cancel-sign-sub-inv_binary64_1408 pow-prod-down_binary64_490 flip3-+_binary64_2809 flip-+_binary64_2780 add-cbrt-cube_binary64_4888 cube-prod_binary64_3857 sqr-pow_binary64_391 sqrt-div_binary64_4869 sqrt-pow1_binary64_3506 associate-/l/_binary64_2071 add-exp-log_binary64_4890 *-commutative_binary64_691 pow1_binary64_4572 associate-*r*_binary64_4451 flip3--_binary64_423 flip--_binary64_394 diff-log_binary64_2216 pow-exp_binary64_1169 associate-/l*_binary64_3774 flip--_binary64_3122 distribute-lft-neg-in_binary64_2422 distribute-lft-out--_binary64_3440 frac-add_binary64_1109 associate-/r/_binary64_2752 distribute-rgt-out--_binary64
15×	sqrt-pow1_binary64_2483 pow-prod-up_binary64_148 flip3--_binary64_3151 clear-num_binary64_1782 cbrt-div_binary64_4884 associate-*r/_binary64_702 sub-neg_binary64 log-pow_binary64_3236 pow-unpow_binary64_155 flip3--_binary64_4856 frac-2neg_binary64_1794 associate-/r/_binary64 associate-*r*_binary64_5133 flip--_binary64_4827
14×	associate-*r/_binary64_5135 distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050 log-div_binary64 div-sub_binary64_1447 sin-diff_binary64_1578 *-commutative_binary64_2055 associate-+r+_binary64_1374 *-commutative_binary64_9
13×	cbrt-unprod_binary64_1475 unpow2_binary64_1166 frac-2neg_binary64_771 difference-of-squares_binary64_3457 clear-num_binary64_759 pow1/3_binary64_3570 log-pow_binary64 div-exp_binary64_4562 frac-sub_binary64_87 difference-of-squares_binary64_4821 frac-times_binary64_1111 div-inv_binary64_2462 cos-atan_binary64_1962 associate-*l/_binary64_1044 cbrt-div_binary64_3179 pow-prod-down_binary64_2877 associate-/r/_binary64_1047 prod-exp_binary64_1491 cancel-sign-sub-inv_binary64_2431 *-commutative_binary64_2396 pow-prod-down_binary64_831 associate-+r+_binary64_3079 difference-of-sqr-1_binary64_1753
12×	associate-*l/_binary64_703 unpow2_binary64_484 *-commutative_binary64_1032 pow-unpow_binary64_3906 pow1/3_binary64_3229 associate-/l*_binary64_3433 cube-prod_binary64 difference-of-sqr-1_binary64 add-log-exp_binary64_4550 log-prod_binary64_2210 associate-/r*_binary64_1386 div-inv_binary64_75 pow-pow_binary64_5265 pow-unpow_binary64_5270 pow-pow_binary64_1855 pow-unpow_binary64_837 associate-+r+_binary64_2397 unpow-prod-down_binary64_2885
11×	clear-num_binary64_2464 *-commutative_binary64_350 associate-+l+_binary64 div-sub_binary64_2470 cancel-sign-sub-inv_binary64_4136 pow-prod-up_binary64_1853 frac-2neg_binary64_2476 div-exp_binary64_3198 pow-pow_binary64_2196 neg-mul-1_binary64_1097 *-commutative_binary64_1714 unswap-sqr_binary64 *-commutative_binary64_4101
10×	swap-sqr_binary64_3455 rem-cube-cbrt_binary64_1806 pow-pow_binary64_2537 distribute-lft-out--_binary64_371 clear-num_binary64_2805 distribute-lft-out--_binary64_1053 difference-of-sqr-1_binary64_730 log-div_binary64_5280 sum-log_binary64_2897 sub-neg_binary64_1776 frac-2neg_binary64_1112 pow1/2_binary64_3568 sqr-pow_binary64_732 cbrt-undiv_binary64_3863 diff-log_binary64_1875 frac-2neg_binary64_2817 unswap-sqr_binary64_3115 clear-num_binary64_1100 div-inv_binary64_4508 associate-*r/_binary64_3771 *-commutative_binary64 sub-neg_binary64_3140 frac-add_binary64
9×	sqrt-pow1_binary64_1801 *-commutative_binary64_1373 rem-sqrt-square_binary64_2137 swap-sqr_binary64_727 unswap-sqr_binary64_1410 pow1/2_binary64_2204 pow1/2_binary64_1863 associate-*l*_binary64_5134 pow-unpow_binary64_496 log-prod_binary64_1869 pow-prod-down_binary64_1513 distribute-lft-out_binary64_1052 associate-/l/_binary64_3776 sqrt-pow1_binary64_2142 sum-log_binary64_3238 *-commutative_binary64_2737 difference-of-squares_binary64_2775 cbrt-undiv_binary64_3181 pow1/2_binary64_158 pow-sqr_binary64_1756 log-prod_binary64_3915
8×	associate-*r/_binary64_2748 pow1/2_binary64_4932 pow-sqr_binary64_2097 +-commutative_binary64 cosh-undef_binary64_1295 rem-sqrt-square_binary64_4865 distribute-lft-out_binary64_3780 associate-*l/_binary64_362 pow1/3_binary64_4593 prod-exp_binary64_3537 sub-neg_binary64_753 div-exp_binary64_1493 cube-prod_binary64_788 sqrt-pow1_binary64_4870 cbrt-undiv_binary64_1476 distribute-rgt-neg-in_binary64_5151 frac-times_binary64_2134 diff-log_binary64_511 pow-to-exp_binary64_1170 distribute-rgt-neg-out_binary64 flip3-+_binary64_3832 cos-sum_binary64_4304 pow-pow_binary64_3901 pow-prod-up_binary64_2194 distribute-rgt-in_binary64_3097 cbrt-unprod_binary64_3521 difference-of-squares_binary64_47 flip-+_binary64_3803 pow-exp_binary64_487 sin-sum_binary64_2598 sqrt-div_binary64_436 distribute-lft-in_binary64_3096 sub-neg_binary64_412 associate-+l+_binary64_3080
7×	cube-div_binary64_1812 pow-exp_binary64_828 pow1/2_binary64_2545 *-commutative_binary64_3760 *-commutative_binary64_3419 frac-2neg_binary64_3158 difference-of-squares_binary64_5162 div-exp_binary64_470 exp-prod_binary64_1494 flip3--_binary64_1105 cbrt-unprod_binary64_5226 flip--_binary64_1076 clear-num_binary64_3146 flip3--_binary64_82 sum-log_binary64_2556 pow-pow_binary64_150 log-pow_binary64_849 cbrt-undiv_binary64_4545 cbrt-undiv_binary64_453 log-pow_binary64_1531 flip--_binary64_53 +-commutative_binary64_2395 sinh-undef_binary64_1294 +-commutative_binary64_3077 associate-*l/_binary64_21 distribute-lft-out--_binary64_2758 pow-to-exp_binary64_829
6×	pow-unpow_binary64_1178 associate-/l*_binary64_364 acos-asin_binary64_2646 unpow-prod-down_binary64_1521 diff-log_binary64_852 diff-log_binary64_3239 sin-cos-mult_binary64_4326 rem-cube-cbrt_binary64_2488 cancel-sign-sub-inv_binary64_3454 cube-prod_binary64_1470 flip3-+_binary64_763 clear-num_binary64_77 unswap-sqr_binary64_4479 sqrt-prod_binary64_3845 flip-+_binary64_734 associate-+r-_binary64 distribute-rgt-in_binary64_2415 sum-log_binary64_3920 rem-cube-cbrt_binary64_2147 div-inv_binary64_416 frac-times_binary64_4862 frac-2neg_binary64_89 distribute-lft-in_binary64_2414 frac-2neg_binary64 associate-*l*_binary64_4452 difference-of-squares_binary64_3798 difference-of-squares_binary64_2434 acos-asin_binary64_1623 log-prod_binary64_1528 sqrt-div_binary64_3164 clear-num_binary64 cos-diff_binary64_2602 sqr-pow_binary64 pow-unpow_binary64_3565 cancel-sign-sub-inv_binary64_3795 pow-pow_binary64_491 div-inv_binary64_3485 unswap-sqr_binary64_4138 distribute-lft-out--_binary64_5145 frac-times_binary64_88 rem-log-exp_binary64_3188 associate-*r/_binary64_4794 sqrt-prod_binary64_1458 cos-diff_binary64_4307 diff-log_binary64_170 cbrt-undiv_binary64_5227 +-commutative_binary64_2736
5×	tan-quot_binary64_1601 rec-exp_binary64_2856 associate-*r/_binary64_1384 div-inv_binary64_1439 diff-log_binary64_4944 pow-plus_binary64_1846 asin-acos_binary64_1963 rem-log-exp_binary64 cos-sum_binary64_2599 sub-neg_binary64_1094 frac-2neg_binary64_3840 sub-neg_binary64_2458 sqr-pow_binary64_2778 inv-pow_binary64_5278 flip--_binary64_3804 sub-neg_binary64_71 pow-flip_binary64_5267 sub-neg_binary64_4163 pow-sqr_binary64_51 pow1/2_binary64_1181 clear-num_binary64_3828 frac-sub_binary64_3838 sin-mult_binary64_1597 cosh-def_binary64_1287 associate-/l/_binary64 unpow3_binary64_3895 pow-to-exp_binary64_488 cube-mult_binary64_3859 rem-sqrt-square_binary64_3501 sub-neg_binary64_4845 1-exp_binary64_2850 sin-mult_binary64_1938 neg-mul-1_binary64_3484 frac-add_binary64_2473 cancel-sign-sub-inv_binary64_4818 sin-mult_binary64_4325 sqrt-pow1_binary64_1119 flip3--_binary64_3833 div-inv_binary64_3826 div-sub_binary64_2129 associate-+r+_binary64
4×	rem-sqrt-square_binary64_1114 frac-2neg_binary64_4522 tan-quot_binary64_1942 rem-cube-cbrt_binary64_101 frac-add_binary64_3837 sub-neg_binary64_3822 associate-/l*_binary64_1387 cube-mult_binary64 pow-pow_binary64_832 clear-num_binary64_1441 cos-sum_binary64_1576 sin-sum_binary64_4303 distribute-rgt-neg-in_binary64_3105 neg-mul-1_binary64_2461 frac-add_binary64_5201 pow2_binary64_1864 associate-+r-_binary64_2399 rem-sqrt-square_binary64_91 exp-sum_binary64 cbrt-div_binary64_1815 frac-2neg_binary64_1453 swap-sqr_binary64_45 distribute-frac-neg_binary64_2428 associate--l+_binary64 sqrt-pow1_binary64_437 distribute-rgt-in_binary64_710 exp-to-pow_binary64 distribute-lft-out--_binary64_30 distribute-neg-in_binary64_5154 associate-/l/_binary64_1389 diff-log_binary64_3921 difference-of-sqr-1_binary64_2776 distribute-rgt-in_binary64_3438 associate-*r/_binary64_4112 pow1/2_binary64_499 rem-cube-cbrt_binary64_3852 cosh-undef_binary64_3000 cube-prod_binary64_447 pow-prod-up_binary64_3899 pow-sqr_binary64_2438 unpow3_binary64 distribute-lft-out--_binary64_2417 pow-pow_binary64_3560 rem-log-exp_binary64_801 flip3-+_binary64_4855 rec-exp_binary64_4561 pow-prod-up_binary64_2535 associate--l+_binary64_5130 rem-sqrt-square_binary64_432 difference-of-sqr--1_binary64_3118 frac-times_binary64_770 distribute-lft-neg-out_binary64_1401 associate--l+_binary64_3084 log-div_binary64_3916 1-exp_binary64_4555 clear-num_binary64_4510 flip-+_binary64_4826 pow-sqr_binary64_3802 distribute-lft-in_binary64_709 distribute-lft-in_binary64_3437 associate-+r+_binary64_5125 flip--_binary64_5168 unpow2_binary64_825 frac-add_binary64_2132 pow-plus_binary64_2187 prod-exp_binary64_4560 sqrt-unprod_binary64_2485 diff-log_binary64_2898 frac-sub_binary64_2815 flip3--_binary64_5197 associate-+l+_binary64_5126
3×	distribute-rgt-out_binary64_3100 clear-num_binary64_5192 pow-flip_binary64_1175 pow-prod-up_binary64_830 associate-+l-_binary64 associate-*l/_binary64_2749 associate-/r*_binary64_3432 distribute-lft-out_binary64_1393 distribute-neg-in_binary64_3108 *-commutative_binary64_5124 rem-log-exp_binary64_5234 pow-flip_binary64_4585 pow1/3_binary64_160 distribute-rgt-neg-in_binary64_1400 associate-*l/_binary64_4113 cancel-sign-sub-inv_binary64_2772 pow-unpow_binary64_2883 rem-sqrt-square_binary64_1796 pow1/3_binary64_1865 distribute-lft-neg-out_binary64 pow-exp_binary64_2874 unswap-sqr_binary64_5161 distribute-lft-neg-in_binary64_1399 cos-atan_binary64_1621 distribute-lft-out_binary64_2416 pow-plus_binary64_823 log-div_binary64_847 frac-add_binary64_3155 cbrt-prod_binary64_4883 pow-plus_binary64_141 pow-prod-down_binary64_3218 acos-neg_binary64_2648 distribute-lft-in_binary64_5142 rec-exp_binary64_1151 pow-sqr_binary64_733 diff-log_binary64_1193 associate-*r/_binary64_361 associate--r+_binary64_1719 log-prod_binary64_1187 cos-neg_binary64_1573 frac-times_binary64_2816 cube-div_binary64_2494 sqr-pow_binary64_3460 distribute-lft-out--_binary64_3781 associate-/l/_binary64_3094 1-exp_binary64_1145 pow-to-exp_binary64_2875 distribute-rgt-in_binary64_4120 distribute-frac-neg_binary64_1405 sqrt-undiv_binary64_2486 pow1/3_binary64_4934 associate--r+_binary64_5129 +-commutative_binary64_3759 pow2_binary64_841 div-sub_binary64_765 distribute-lft-out_binary64_3439 distribute-lft-in_binary64_4119 atan-neg_binary64_1626 associate-*l/_binary64_4795 frac-2neg_binary64_5204 frac-times_binary64_4180 associate-*r/_binary64_3089 pow-prod-down_binary64_5264 distribute-rgt-in_binary64_5143 sum-log_binary64_1533
2×	pow-sqr_binary64_3461 rec-exp_binary64 flip--_binary64_2781 sub-div_binary64_85 sin-diff_binary64_2601 prod-exp_binary64_3196 flip3-+_binary64_4173 sub-neg_binary64_3481 flip-+_binary64_4144 pow-sqr_binary64_3120 diff-log_binary64_4262 cbrt-div_binary64_2497 sqrt-div_binary64_95 sub-neg_binary64_1435 pow1/2_binary64_3227 rem-cbrt-cube_binary64_1466 rem-log-exp_binary64_1824 pow2_binary64_159 diff-log_binary64_5285 diff-log_binary64_2557 log-pow_binary64_3918 associate-*l/_binary64_2067 pow-pow_binary64_1173 pow-exp_binary64_3556 associate--l-_binary64_3085 unpow3_binary64_826 associate-+l-_binary64_3082 unpow3_binary64_1508 pow1/3_binary64_1524 cbrt-unprod_binary64_4544 flip-+_binary64_1416 sub-neg_binary64_5186 1-exp_binary64 rem-log-exp_binary64_3870 sin-mult_binary64_2620 difference-of-squares_binary64_1411 associate-+r-_binary64_5127 sum-log_binary64_5284 swap-sqr_binary64_2091 associate-+r-_binary64_3081 sqr-pow_binary64_1414 pow-plus_binary64_2528 unpow2_binary64 associate-/r/_binary64_2411 pow1/2_binary64_840 div-sub_binary64_3834 pow-prod-up_binary64_3558 pow1/2_binary64 sqrt-div_binary64_3846 associate-/l/_binary64_25 frac-add_binary64_4178 *-commutative_binary64_3078 div-sub_binary64_1788 exp-prod_binary64 associate--l-_binary64_2062 cosh-def_binary64_2992 flip3--_binary64_2810 rem-cbrt-cube_binary64_1807 inv-pow_binary64_3232 pow-prod-up_binary64_3217 rem-log-exp_binary64_2165 div-sub_binary64_1106 pow2_binary64_2205 div-exp_binary64_3539 exp-diff_binary64_1490 sqrt-div_binary64_777 cube-mult_binary64_790 sqrt-pow1_binary64 associate-+l+_binary64_3762 pow-flip_binary64_2880 sqrt-unprod_binary64_3508 pow1/3_binary64_1183 pow1/3_binary64_2547 rec-exp_binary64_2174 flip3-+_binary64_1445 sinh-def_binary64_1286 inv-pow_binary64_2891 flip--_binary64_4145 unpow2_binary64_3553 pow-flip_binary64_3221 associate--l-_binary64_5131 1-exp_binary64_3191 inv-pow_binary64_4596 unpow2_binary64_2189 pow-to-exp_binary64_3557 frac-times_binary64_429 sqrt-div_binary64_1459 1-exp_binary64_2168 +-commutative_binary64_1372 pow-plus_binary64_3892 associate-/r/_binary64_3434 associate-/l/_binary64_366 rem-log-exp_binary64_1483 cube-mult_binary64_1472 sqrt-pow1_binary64_778 cbrt-unprod_binary64_3180 rec-exp_binary64_3197 cbrt-undiv_binary64_3522 flip3--_binary64_4174 cos-mult_binary64_4324 sqrt-pow1_binary64_3165
1×	neg-sub0_binary64_2460 frac-2neg_binary64_3499 pow-plus_binary64_3210 sinh-undef_binary64_612 cos-diff_binary64_1579 distribute-frac-neg_binary64_3451 tanh-def-c_binary64_1290 sum-log_binary64_510 difference-of-sqr-1_binary64_1412 div-sub_binary64_424 neg-log_binary64_5286 rem-sqrt-square_binary64_1455 flip--_binary64_1417 rem-exp-log_binary64 pow-prod-down_binary64_4582 pow-pow_binary64_2878 unsub-neg_binary64_3141 neg-mul-1_binary64_1438 pow1/2_binary64_3909 associate--r+_binary64 clear-num_binary64_3487 sum-log_binary64_851 frac-2neg_binary64_430 sqrt-pow1_binary64_3847 flip3--_binary64_1446 associate-/l/_binary64_2753 distribute-rgt-out--_binary64_3101 rem-square-sqrt_binary64_1795 rem-log-exp_binary64_1142 sqr-abs_binary64_93 distribute-frac-neg_binary64_1064 rem-exp-log_binary64_1482 inv-pow_binary64 neg-sub0_binary64_5188 pow1/2_binary64_1522 rem-sqrt-square_binary64_3842 diff-log_binary64_1534 sqr-abs_binary64_1798 un-div-inv_binary64_2804 associate-+r-_binary64_1376 +-commutative_binary64_5123 unpow3_binary64_485 associate-/r/_binary64_4457 tanh-def-b_binary64_1289 neg-log_binary64_3240 distribute-rgt1-in_binary64_3103 tanh-undef_binary64_1296 +-commutative_binary64_690 div-sub_binary64_83 log-div_binary64_1529 pow-plus_binary64_3551 unpow2_binary64_3894 difference-cubes_binary64_1785 frac-sub_binary64_3156 unpow2_binary64_2871 frac-times_binary64_3157 associate--r+_binary64_2742 cbrt-div_binary64_4543 pow2_binary64_3569 div-sub_binary64_3493 associate-*r/_binary64_4453 pow2_binary64_2546 sinh-def_binary64_604 pow-flip_binary64 associate-+l-_binary64_5128 frac-add_binary64_1791 *-commutative_binary64_4442 swap-sqr_binary64_3796 clear-num_binary64_418 neg-sub0_binary64_1096 un-div-inv_binary64_4509 associate--l-_binary64_16 associate-*l/_binary64_3090 pow2_binary64_3910 pow2_binary64_3228 +-commutative_binary64_349 sin-diff_binary64_4306 rem-cbrt-cube_binary64_2489 rem-sqrt-square_binary64_2478 +-commutative_binary64_1031 associate-+l-_binary64_3764 neg-sub0_binary64_3483 sqrt-unprod_binary64_1803 sqrt-pow1_binary64_1460 sub-neg_binary64_2799 associate-/r*_binary64_363 flip3-+_binary64_422 flip-+_binary64_393 sum-log_binary64_1192 un-div-inv_binary64_1781 distribute-lft-out--_binary64_1394 cube-mult_binary64_449 tanh-def-a_binary64_1288 associate-+r+_binary64_3761 frac-add_binary64_2814 swap-sqr_binary64_2432 neg-sub0_binary64_3142 associate--l+_binary64_2743 inv-pow_binary64_1186 exp-to-pow_binary64_1504

Counts

639 → 18157

Calls

368 calls:

389.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))))
108.0ms	(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a c) (*.f64 a c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
101.0ms	(/.f64 (*.f64 (*.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
98.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)))))
92.0ms	(-.f64 (cbrt.f64 (pow.f64 (/.f64 x (+.f64 1 x)) 3)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

Compiler

Compiled 834814 to 455793 computations (45.4% saved)