rewrite8.4s (1%)

Algorithm

187×	rewrite-expression-head

Rules

1422×	add-exp-log_binary64
1339×	add-exp-log_binary64_2844
1025×	prod-exp_binary64
960×	times-frac_binary64_2471
851×	times-frac_binary64_1107
841×	*-un-lft-identity_binary64_2465
789×	times-frac_binary64_2130
751×	*-un-lft-identity_binary64_1442 times-frac_binary64_6222
722×	prod-exp_binary64_2855
692×	pow-exp_binary64_2874
639×	add-cbrt-cube_binary64 *-un-lft-identity_binary64_2124
631×	div-exp_binary64_2857
623×	add-sqr-sqrt_binary64_2146
603×	add-sqr-sqrt_binary64_2487
576×	*-un-lft-identity_binary64_1783
556×	add-sqr-sqrt_binary64_782
549×	add-sqr-sqrt_binary64_1123
540×	add-cube-cbrt_binary64_2500
525×	add-sqr-sqrt_binary64_1464
508×	*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
484×	times-frac_binary64_5199
464×	add-cube-cbrt_binary64_2159
455×	*-un-lft-identity_binary64_760
447×	times-frac_binary64_1448
427×	cbrt-unprod_binary64
390×	add-sqr-sqrt_binary64_6238
388×	add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
377×	add-sqr-sqrt_binary64
367×	times-frac_binary64_766
364×	pow1_binary64
361×	*-un-lft-identity_binary64
344×	pow-to-exp_binary64_2875
331×	add-exp-log_binary64_116
329×	sqrt-prod_binary64_2481
328×	add-exp-log_binary64_1480
319×	add-sqr-sqrt_binary64_441
317×	*-un-lft-identity_binary64_2806
314×	add-sqr-sqrt_binary64_2828
311×	*-un-lft-identity_binary64_3829
302×	add-cube-cbrt_binary64_795
286×	*-un-lft-identity_binary64_3488
281×	add-exp-log_binary64_1139
276×	add-cbrt-cube_binary64_114
272×	add-cube-cbrt_binary64_1477
271×	add-sqr-sqrt_binary64_3851
270×	add-sqr-sqrt_binary64_3510
259×	add-sqr-sqrt_binary64_5215
252×	*-un-lft-identity_binary64_419
251×	*-un-lft-identity_binary64_5193
250×	add-cbrt-cube_binary64_1478
245×	add-cube-cbrt_binary64_5228
241×	times-frac_binary64_1789
237×	add-sqr-sqrt_binary64_1805
227×	pow-prod-down_binary64
226×	add-cube-cbrt_binary64
219×	times-frac_binary64_3494 add-exp-log_binary64_2503
216×	times-frac_binary64
215×	times-frac_binary64_3835
210×	*-un-lft-identity_binary64_4170
203×	add-exp-log_binary64_2162
202×	times-frac_binary64_2812
194×	sqrt-div_binary64_4528
185×	sqrt-prod_binary64_2140 unpow-prod-down_binary64_1521
184×	distribute-lft-neg-in_binary64_2422 add-sqr-sqrt_binary64_100 distribute-rgt-neg-in_binary64_2423
183×	*-un-lft-identity_binary64_3147
181×	add-cbrt-cube_binary64_1137
177×	add-cbrt-cube_binary64_2160 pow1_binary64_139
176×	add-cube-cbrt_binary64_454 add-cbrt-cube_binary64_2501
174×	add-cube-cbrt_binary64_2841
171×	add-cube-cbrt_binary64_1818 cbrt-prod_binary64_3860 *-un-lft-identity_binary64_5875
170×	sqrt-div_binary64_5892
166×	times-frac_binary64_5881
164×	distribute-lft-out_binary64_2416
162×	add-cube-cbrt_binary64_3523 sqrt-div_binary64_2482
160×	add-exp-log_binary64_1821 associate-/r*_binary64_2409 associate-*l/_binary64_4454
159×	add-cube-cbrt_binary64_3864
157×	add-sqr-sqrt_binary64_5897
156×	associate-*r/_binary64_5817 div-exp_binary64
155×	prod-exp_binary64_127 add-cbrt-cube_binary64_1819
150×	cbrt-prod_binary64_3178
148×	add-sqr-sqrt_binary64_3169
146×	cube-prod_binary64_1470
145×	flip--_binary64_4486 flip3--_binary64_4515
144×	times-frac_binary64_425
143×	add-cube-cbrt_binary64_5910
142×	associate-*l/_binary64_5818
141×	add-exp-log_binary64_798
138×	add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78
136×	distribute-lft-out_binary64_1734
134×	cbrt-div_binary64_1815
132×	cbrt-prod_binary64_6247
129×	times-frac_binary64_3153
128×	add-cbrt-cube_binary64_2842 sqrt-div_binary64_1800
126×	cancel-sign-sub-inv_binary64_1408 cbrt-unprod_binary64_111 prod-exp_binary64_1491 pow1_binary64_2526 add-cbrt-cube_binary64_796
125×	cbrt-prod_binary64_4201 pow1_binary64_1844
124×	cbrt-prod_binary64
122×	difference-of-squares_binary64_729
121×	associate-/l*_binary64_1046
120×	rec-exp_binary64_2856 1-exp_binary64_2850
117×	times-frac_binary64_4176 distribute-lft-out_binary64_1393
116×	add-exp-log_binary64_457 cbrt-prod_binary64_2496
112×	pow1_binary64_2185 pow1_binary64_821
111×	add-log-exp_binary64_1822
108×	associate-*r*_binary64_700
107×	pow1_binary64_1503
104×	frac-times_binary64_4521
102×	pow1_binary64_5936
101×	add-cbrt-cube_binary64_455 add-cube-cbrt_binary64_3182
100×	difference-of-squares_binary64_1411
97×	add-log-exp_binary64_2163
96×	flip--_binary64_5850 flip3--_binary64_5879 distribute-lft-out--_binary64_1394
93×	add-sqr-sqrt_binary64_4192
92×	difference-of-squares_binary64_2093
91×	associate-*r*_binary64_359
90×	associate-*r*_binary64_18
88×	cbrt-prod_binary64_1814 add-exp-log_binary64_5572 frac-times_binary64_5885
87×	sqrt-prod_binary64_776 div-exp_binary64_1152
86×	flip3-+_binary64_1786 flip-+_binary64_1757 associate-*l*_binary64_701
85×	flip3-+_binary64_2468 associate-/r*_binary64_2068 flip-+_binary64_2439
84×	cbrt-unprod_binary64_1475 prod-exp_binary64_1150
83×	sqrt-prod_binary64_5891 difference-of-squares_binary64_388
82×	associate-*r/_binary64_4453
80×	distribute-lft-out_binary64_4121
79×	unpow-prod-down_binary64 add-exp-log_binary64_5231 add-cbrt-cube_binary64_5229 associate-*l*_binary64
78×	pow1_binary64_4572 pow1_binary64_1162 div-exp_binary64_1493 pow1_binary64_2867
77×	add-log-exp_binary64_2504
76×	cancel-sign-sub-inv_binary64_2772 add-cbrt-cube_binary64_5570 pow-exp_binary64 pow1_binary64_480 associate-/r/_binary64_2070
75×	distribute-lft-neg-in_binary64_5832 distribute-rgt-neg-in_binary64_5833
74×	unpow-prod-down_binary64_498
72×	associate-/r*_binary64_6160 add-log-exp_binary64 add-log-exp_binary64_458
71×	log-prod_binary64_2892
70×	associate-*r*_binary64_1382 cube-prod_binary64 associate-*r*_binary64_2405
69×	add-exp-log_binary64_4890 cancel-sign-sub-inv_binary64
68×	add-log-exp_binary64_117
67×	frac-times_binary64_1793 difference-of-squares_binary64 associate-*r*_binary64_1041 prod-exp_binary64_2514 add-cbrt-cube_binary64_4888
66×	add-exp-log_binary64_3526 add-log-exp_binary64_1481
65×	add-log-exp_binary64_2845
64×	unpow-prod-down_binary64_3567 frac-add_binary64_4519 flip3-+_binary64_5878 add-log-exp_binary64_799 div-inv_binary64_4167 flip-+_binary64_5849
63×	associate-*l*_binary64_2065 associate-/r*_binary64_704 associate-*r*_binary64_1723
62×	associate-/l*_binary64_2069 associate-/r*_binary64_5137 distribute-neg-frac_binary64_2429
61×	associate-*l*_binary64_19
60×	div-inv_binary64_1098 frac-sub_binary64_5884 associate-/r/_binary64_2411 sqrt-prod_binary64_4527
59×	frac-sub_binary64_1792 add-sqr-sqrt_binary64_4533
58×	cancel-sign-sub-inv_binary64_2090 pow-prod-down_binary64_149 div-exp_binary64_2175
57×	difference-of-squares_binary64_2775 associate-*l*_binary64_1383 associate-*l*_binary64_360 associate-*r/_binary64_2407
56×	associate-/l/_binary64_5822 associate-*l/_binary64_2408 add-log-exp_binary64_3527 add-cube-cbrt_binary64_4205
55×	cbrt-undiv_binary64_1476 associate-*r*_binary64 flip-+_binary64_2098
54×	associate-*l*_binary64_1042 add-cbrt-cube_binary64_6252 flip3-+_binary64_2127 add-exp-log_binary64_6254
53×	cancel-sign-sub-inv_binary64_3454 add-sqr-sqrt_binary64_4874
52×	associate-*r*_binary64_4451 frac-add_binary64_2473
51×	cbrt-undiv_binary64_1135 pow-prod-down_binary64_5946 cbrt-undiv_binary64
50×	add-log-exp_binary64_1140 difference-of-squares_binary64_3798 distribute-neg-frac_binary64_5839
49×	cbrt-unprod_binary64_2498
48×	add-cbrt-cube_binary64_5911 add-exp-log_binary64_4549 add-exp-log_binary64_5913 cbrt-div_binary64_2156 add-cbrt-cube_binary64_4547 log-prod_binary64_2551
47×	associate-*r/_binary64_1384 flip3--_binary64_1787 exp-prod_binary64_812 *-un-lft-identity_binary64_5534 times-frac_binary64_84 flip--_binary64_1758
46×	difference-of-squares_binary64_3457 div-exp_binary64_2516 sqr-pow_binary64_391 *-un-lft-identity_binary64_4511 div-inv_binary64_2121 associate-/l*_binary64_5820
44×	distribute-lft-out--_binary64_712 distribute-lft-neg-in_binary64_1058 cube-prod_binary64_3516 distribute-rgt-neg-in_binary64_1059 sqrt-prod_binary64_435 associate-/l*_binary64_2410
43×	associate-/r*_binary64_1045 associate-*l*_binary64_2406
42×	cbrt-undiv_binary64_2158 flip-+_binary64_1416 flip3-+_binary64_1445 distribute-lft-out--_binary64_1735 div-inv_binary64_6213 add-cbrt-cube_binary64_3524
41×	flip3--_binary64 distribute-lft-out--_binary64_2076 flip--_binary64
40×	associate-/r*_binary64_3432 div-exp_binary64_129 sqrt-div_binary64_2141 associate-*r*_binary64_3087
39×	pow-to-exp_binary64 cbrt-unprod_binary64_1134 add-sqr-sqrt_binary64_5556 cbrt-undiv_binary64_2499
38×	swap-sqr_binary64_3796
37×	distribute-lft-out_binary64_2075 associate-*r*_binary64_2064 *-un-lft-identity_binary64_4852 pow-prod-down_binary64_2536
36×	distribute-lft-out_binary64_3098 log-prod_binary64 unpow2_binary64_484 prod-exp_binary64_2173 unpow-prod-down_binary64_2885 cbrt-unprod_binary64_1816 prod-exp_binary64_1832 pow1_binary64_3890
35×	associate-/r*_binary64 add-exp-log_binary64_3867 cancel-sign-sub-inv_binary64_726 distribute-lft-out--_binary64 flip--_binary64_2440 flip3--_binary64_2469 cancel-sign-sub-inv_binary64_385 distribute-lft-out_binary64_3780 flip--_binary64_2099
34×	flip3--_binary64_2128 associate-*r*_binary64_2746 frac-sub_binary64_1451 cbrt-undiv_binary64_2840 cbrt-unprod_binary64_2157 associate-*l/_binary64_1726 associate-*r*_binary64_3769 unpow-prod-down_binary64_839
33×	add-log-exp_binary64_3868 distribute-lft-out_binary64_3439 prod-exp_binary64_809 add-cbrt-cube_binary64_3865 flip3--_binary64_1446 associate-*l*_binary64_3770 flip--_binary64_1417 cbrt-div_binary64_4202 associate-/l*_binary64_1728 pow1_binary64_5595
32×	prod-exp_binary64_468 sqrt-prod_binary64_4186 pow-prod-down_binary64_4582 add-cube-cbrt_binary64_4546 cancel-sign-sub-inv_binary64_1749
31×	sqrt-pow1_binary64_5893 swap-sqr_binary64_1750 add-cube-cbrt_binary64_4887 associate-/r*_binary64_1727 associate-/l*_binary64_705 distribute-rgt-out_binary64_4123 div-exp_binary64_1834 sqrt-prod_binary64_1799 distribute-rgt-in_binary64 add-cube-cbrt_binary64_5569 distribute-lft-out--_binary64_2758 distribute-lft-in_binary64
30×	cbrt-undiv_binary64_1817 associate-/r/_binary64_1388 add-log-exp_binary64_5573 cbrt-unprod_binary64_2839 swap-sqr_binary64_1409 log-prod_binary64_505 associate-/l*_binary64_2751
29×	sqrt-div_binary64_1118 associate-/l/_binary64_2412 sqrt-prod_binary64_1117 pow-unpow_binary64_837 distribute-lft-out_binary64_2757 associate-/r*_binary64_3773 cbrt-prod_binary64_1132
28×	pow1_binary64_3549 cbrt-undiv_binary64_112 cbrt-prod_binary64_2155
27×	associate-/r/_binary64_1047 distribute-lft-out--_binary64_3781 associate-/l/_binary64_1389 swap-sqr_binary64_3114 associate-*l*_binary64_3088 cbrt-undiv_binary64_5227 div-exp_binary64_5244 div-inv_binary64_2462
26×	unswap-sqr_binary64_728 associate-*l*_binary64_2747 add-exp-log_binary64_3185 associate--r+_binary64_2742 pow-prod-down_binary64_1854 div-inv_binary64_1780 div-exp_binary64_5585 div-inv_binary64_5190 swap-sqr_binary64_4137 associate--l+_binary64_2743 sqr-pow_binary64_3460 associate-*l*_binary64_1724
25×	associate-*l*_binary64_3429 cbrt-prod_binary64_4883 div-inv_binary64_1439 div-inv_binary64_2803 pow1_binary64_4913 associate-/l/_binary64_1048 cosh-undef_binary64_4023 times-frac_binary64_5540 associate-/l*_binary64_3433 prod-exp_binary64_5583 associate-*r/_binary64_1725 associate-*r*_binary64_3428 tan-quot_binary64_919 neg-mul-1_binary64_2461 frac-times_binary64_2475 difference-of-sqr-1_binary64_1412
24×	exp-prod_binary64_1494 sqrt-prod_binary64_94 associate-/r*_binary64_1386 flip3--_binary64_2810 unswap-sqr_binary64_387 cbrt-unprod_binary64_452 associate-/r/_binary64_3775 log-pow_binary64 flip--_binary64_2781 cbrt-prod_binary64_2837
23×	cbrt-undiv_binary64_794 associate-/r*_binary64_2750 pow-prod-down_binary64_1513 associate-/l*_binary64_1387 cbrt-unprod_binary64_4544 flip3-+_binary64_1104 flip-+_binary64_1075 associate-*r/_binary64_20 cbrt-unprod_binary64_793 distribute-lft-out--_binary64_3440 unswap-sqr_binary64_46 log-pow_binary64_1531 div-exp_binary64_811 flip--_binary64_735 flip3--_binary64_764 prod-exp_binary64_4560
22×	sub-neg_binary64 cbrt-unprod_binary64_4885 flip-+_binary64_2780 associate-*r/_binary64 associate-*r/_binary64_702 flip3-+_binary64_2809 prod-exp_binary64_4901 associate-*r*_binary64_5815
21×	cancel-sign-sub-inv_binary64_3795 frac-times_binary64_1452 log-prod_binary64_3574 cbrt-unprod_binary64_5226 associate-*r/_binary64_1043 log-pow_binary64_849 cbrt-unprod_binary64_5567 prod-exp_binary64_5242 cbrt-undiv_binary64_5568
20×	*-commutative_binary64_9 cbrt-undiv_binary64_6250 unpow-prod-down_binary64_157 distribute-lft-out_binary64 div-exp_binary64_6267 sqrt-pow1_binary64_2483 frac-times_binary64_2134 add-log-exp_binary64_3186
19×	difference-of-squares_binary64_1752 diff-log_binary64_1875 distribute-lft-neg-in_binary64_717 distribute-rgt-neg-in_binary64_718 unpow-prod-down_binary64_2203 associate-/r*_binary64_5819 add-cbrt-cube_binary64_3183
18×	exp-sum_binary64_806 pow-prod-down_binary64_2195 sqrt-prod_binary64_2822 associate-*l*_binary64_4111 log-div_binary64_2893 associate-/r/_binary64_3093 cbrt-undiv_binary64_4886 associate-/r*_binary64_363 unswap-sqr_binary64_2433 sqr-pow_binary64_1414 distribute-lft-out--_binary64_371 pow1_binary64_3208 exp-sum_binary64_3534 sub-neg_binary64_2117 unswap-sqr_binary64_1069 cbrt-prod_binary64_109 associate-/r/_binary64_2752 log-pow_binary64_2895 frac-times_binary64 associate-*r*_binary64_4110 associate--l+_binary64 div-exp_binary64_4903 div-inv_binary64_757
17×	neg-mul-1_binary64_5871 sqr-pow_binary64_2096 distribute-neg-frac_binary64_1065 pow-prod-down_binary64_831 log-prod_binary64_846
16×	pow-prod-down_binary64_490 flip3-+_binary64 associate-*l/_binary64_703 pow1_binary64_4231 associate-/r/_binary64_1729 unswap-sqr_binary64_3115 sqrt-pow1_binary64_96 associate-*r*_binary64_4792 distribute-lft-out_binary64_370 pow1/3_binary64_2547 unpow-prod-down_binary64_1180 frac-add_binary64_1109 add-log-exp_binary64_5914 pow1_binary64_5254 div-sub_binary64_1106 flip-+_binary64
15×	add-log-exp_binary64_4891 pow-prod-up_binary64_148 log-prod_binary64_4256 cbrt-unprod_binary64_5908 swap-sqr_binary64_727 pow-exp_binary64_146 associate-/l*_binary64_3774 prod-exp_binary64_5924 associate-*r/_binary64_2748 sub-neg_binary64_1776 sin-diff_binary64_1237 sqr-pow_binary64
14×	flip--_binary64_3804 cube-prod_binary64_447 sin-mult_binary64_2279 associate-/l*_binary64_5138 unswap-sqr_binary64_3456 cbrt-div_binary64_1133 *-commutative_binary64_1373 associate-/l*_binary64_5479 associate-*l/_binary64_2067 sub-neg_binary64_2799 rem-log-exp_binary64_801 sqr-pow_binary64_732 associate-*r/_binary64_2066 pow-prod-down_binary64_1172 log-div_binary64 sqr-pow_binary64_1073 cancel-sign-sub-inv_binary64_44 sqrt-div_binary64_777 *-commutative_binary64_691 unswap-sqr_binary64_1410 associate-*l/_binary64 flip3--_binary64_3833
13×	unpow2_binary64_825 cos-mult_binary64_2278 associate-/r/_binary64 associate-*l*_binary64_4452 unpow2_binary64_1166 associate-*l/_binary64_1385 flip-+_binary64_4144 sqrt-prod_binary64_5550 associate-/l*_binary64_6161 times-frac_binary64_4858 flip3-+_binary64_4173 diff-log_binary64_2216 unpow3_binary64_3554 frac-times_binary64_1111 associate-*l/_binary64_1044 associate-/r/_binary64_706 add-log-exp_binary64_5232 cube-mult_binary64_3518 frac-add_binary64_2132 frac-add_binary64_4178 unswap-sqr_binary64_2774
12×	flip3-+_binary64_3832 div-inv_binary64_3826 pow1/2_binary64_2204 *-commutative_binary64_1032 associate-/l/_binary64_707 unswap-sqr_binary64_2092 flip-+_binary64_3803 frac-add_binary64_1791 sqrt-pow1_binary64_2142 clear-num_binary64_1100 pow-unpow_binary64_1519 associate-/l*_binary64 frac-2neg_binary64_1112 difference-of-sqr-1_binary64_3458 cbrt-prod_binary64_450 prod-exp_binary64_3537 flip3-+_binary64_3491 pow-exp_binary64_1169 pow1/3_binary64_2206 sin-mult_binary64_1938 unswap-sqr_binary64 *-commutative_binary64_350 sqrt-prod_binary64_1458 rem-sqrt-square_binary64_2137 pow-unpow_binary64_155 flip-+_binary64_3462 pow1/2_binary64_2545 *-commutative_binary64
11×	unswap-sqr_binary64_3797 flip3--_binary64_423 distribute-rgt-neg-out_binary64 add-log-exp_binary64_4550 flip--_binary64_394 *-commutative_binary64_2055 associate-/r/_binary64_5480 difference-of-sqr-1_binary64_730 clear-num_binary64_2123 frac-2neg_binary64_771 sum-log_binary64_1874 neg-mul-1_binary64_1097 unpow-prod-down_binary64_2544 clear-num_binary64_759 div-inv_binary64 div-exp_binary64_3539 associate-*l*_binary64_5816 pow1_binary64_6277 frac-2neg_binary64_2135
10×	associate-*l/_binary64_362 pow-to-exp_binary64_147 difference-of-squares_binary64_2434 *-commutative_binary64_2396 associate-/r/_binary64_6162 flip-+_binary64_3121 sub-neg_binary64_1435 cancel-sign-sub-inv_binary64_2431 add-exp-log_binary64_4208 sqr-pow_binary64_50 diff-log_binary64_3580 associate--l+_binary64_1720 sum-log_binary64_510 flip3-+_binary64_3150 cancel-sign-sub-inv_binary64_5841 associate-*l*_binary64_4793 frac-times_binary64_770 associate-*r*_binary64_5133 associate-*r/_binary64_361 sqrt-div_binary64_2823 unswap-sqr_binary64_1751 diff-log_binary64_2898 associate-/l*_binary64_364 div-sub_binary64_2811
9×	sin-cos-mult_binary64_2280 frac-times_binary64_4180 distribute-rgt1-in_binary64_4126 log-div_binary64_2552 frac-2neg_binary64_1794 distribute-lft-out--_binary64_5827 log-div_binary64_3575 flip3--_binary64_3492 +-commutative_binary64_1713 pow1/3_binary64_3229 pow1/3_binary64_4252 frac-sub_binary64_87 1-exp_binary64_1486 pow-exp_binary64_828 frac-2neg_binary64_2476 flip--_binary64_3463 clear-num_binary64_1441 difference-of-sqr-1_binary64 prod-exp_binary64_6265 distribute-rgt-in_binary64_5825 unpow3_binary64 div-inv_binary64_3144 distribute-lft-in_binary64_5824 cube-mult_binary64 unpow-prod-down_binary64_1862 frac-2neg_binary64_1453 pow-unpow_binary64 pow1/3_binary64_3911 pow1/3_binary64_4934 distribute-lft-out--_binary64_2417 clear-num_binary64_1782 add-log-exp_binary64_4209 cbrt-unprod_binary64_6249 sub-neg_binary64_753 add-log-exp_binary64_6255 rec-exp_binary64_1492 clear-num_binary64_2464 sqrt-prod_binary64
8×	sqrt-div_binary64_5551 associate--l+_binary64_1379 flip3-+_binary64_422 flip--_binary64_5509 pow1/2_binary64_5955 unpow-prod-down_binary64_3226 sqrt-pow1_binary64_1801 log-pow_binary64_2554 flip3-+_binary64_5537 frac-sub_binary64_3497 div-inv_binary64_416 cosh-undef_binary64_3682 distribute-rgt-in_binary64_28 associate-/r*_binary64_3091 associate-/r/_binary64_5821 pow1/2_binary64_1863 div-exp_binary64_470 associate-/l*_binary64_4797 e-exp-1_binary64_805 distribute-lft-in_binary64_27 distribute-lft-out_binary64_5826 flip-+_binary64_5508 cos-sum_binary64_212 pow-pow_binary64_2537 cos-sum_binary64_2258 pow-exp_binary64_1510 flip-+_binary64_393 tan-quot_binary64_1260 clear-num_binary64_2805 associate-+r+_binary64_10 flip3--_binary64_5538 sum-log_binary64_3579 pow1/2_binary64_158 rem-sqrt-square_binary64_1796 sub-neg_binary64_71 frac-2neg_binary64_2817
7×	cbrt-div_binary64_3179 associate-*r*_binary64_6156 pow-to-exp_binary64_3557 pow-exp_binary64_3556 associate-*l/_binary64_21 diff-log_binary64 log-prod_binary64_3915 distribute-lft-in_binary64_2755 *-commutative_binary64_4442 sub-neg_binary64_3822 distribute-lft-neg-out_binary64_719 cbrt-undiv_binary64_453 pow-prod-down_binary64_5605 difference-of-squares_binary64_4480 diff-log_binary64_1534 *-commutative_binary64_1714 associate-/l*_binary64_23 distribute-lft-out--_binary64_4463 log-div_binary64_847 prod-exp_binary64_3196 pow1/3_binary64_1865 distribute-lft-out_binary64_5485 cbrt-div_binary64_3861 log-pow_binary64_3918 difference-of-sqr-1_binary64_2094 cbrt-div_binary64_2497 sqrt-div_binary64 sinh-undef_binary64_3681 add-cbrt-cube_binary64_4206 distribute-rgt-in_binary64_2756
6×	difference-of-squares_binary64_5162 acos-asin_binary64_2987 difference-of-squares_binary64_4821 pow-to-exp_binary64_829 diff-log_binary64_2557 cancel-sign-sub-inv_binary64_5500 flip-+_binary64_52 distribute-frac-neg_binary64_723 +-commutative_binary64_2395 distribute-rgt-in_binary64_1392 associate-*r*_binary64_5474 log-prod_binary64_1528 cancel-sign-sub-inv_binary64_4477 flip3-+_binary64_763 exp-prod_binary64_3881 sum-log_binary64_2556 unpow2_binary64 exp-prod_binary64_2517 cos-diff_binary64_215 pow-unpow_binary64_1860 pow-pow_binary64_2878 frac-sub_binary64 flip-+_binary64_734 associate--r-_binary64_2745 associate--l-_binary64_2744 pow-unpow_binary64_2542 cube-prod_binary64_1811 cube-prod_binary64_106 pow-sqr_binary64_1756 sub-neg_binary64_2458 pow-unpow_binary64_2883 cos-diff_binary64_2261 associate-/r*_binary64_5478 distribute-lft-in_binary64_1391 swap-sqr_binary64_4819 associate-/r/_binary64_5139 diff-log_binary64_852 rem-sqrt-square_binary64_2478 pow-prod-up_binary64_830 pow-to-exp_binary64_1170 associate-/l*_binary64_3092 1-exp_binary64_2168 pow-prod-down_binary64_4923 swap-sqr_binary64_2091 div-inv_binary64_3485 asin-acos_binary64_1963 sub-neg_binary64_3481 flip3-+_binary64_81 rec-exp_binary64_2174 pow-prod-up_binary64_1853 div-inv_binary64_75 frac-times_binary64_88
5×	div-inv_binary64_5531 acos-asin_binary64_1623 associate-/l/_binary64 div-exp_binary64_3880 pow1/2_binary64_2886 sub-neg_binary64_412 cbrt-undiv_binary64_3863 unswap-sqr_binary64_4820 pow2_binary64_841 clear-num_binary64_6215 frac-2neg_binary64_3499 *-commutative_binary64_2737 clear-num_binary64 sqrt-pow1_binary64_2824 rem-log-exp_binary64 pow-plus_binary64_141 pow-plus_binary64_823 distribute-rgt-in_binary64_3779 pow-prod-down_binary64_2877 clear-num_binary64_3828 frac-times_binary64_3839 frac-2neg_binary64_5204 clear-num_binary64_5192 pow-pow_binary64_150 sin-mult_binary64_1597 frac-2neg_binary64_6227 rem-sqrt-square_binary64_2819 clear-num_binary64_3487 pow-to-exp_binary64_488 +-commutative_binary64_2054 cos-mult_binary64_1937 sum-log_binary64_2897 associate-*r/_binary64_3771 distribute-rgt-in_binary64_2074 frac-2neg_binary64 associate-/r*_binary64_4796 distribute-lft-in_binary64_3778 unswap-sqr_binary64_4479 frac-2neg_binary64_3840 sum-log_binary64_2215 pow-sqr_binary64_733 pow-pow_binary64 cbrt-undiv_binary64_3522 *-commutative_binary64_5806 diff-log_binary64_511 rem-log-exp_binary64_2506 pow-exp_binary64_487 distribute-lft-in_binary64_2073 +-commutative_binary64_2736 sqrt-pow1_binary64_4529
4×	associate-+r-_binary64_2740 pow-prod-down_binary64_5264 frac-2neg_binary64_5886 +-commutative_binary64_8 pow-prod-up_binary64_4581 pow-prod-down_binary64_3900 distribute-rgt-in_binary64_4461 sinh-def_binary64_604 rem-cube-cbrt_binary64_1465 cbrt-undiv_binary64_5909 diff-log_binary64_5626 sin-sum_binary64_2257 associate-/l/_binary64_3435 cube-div_binary64_107 cancel-sign-sub-inv_binary64_3113 exp-diff_binary64_808 cube-mult_binary64_449 difference-of-sqr-1_binary64_1753 pow1/3_binary64 associate-+r+_binary64_2738 rem-exp-log_binary64_800 div-inv_binary64_5872 cube-div_binary64_1471 clear-num_binary64_5874 cancel-sign-sub-inv_binary64_4818 div-inv_binary64_4849 distribute-rgt-in_binary64_710 rec-exp_binary64_2515 neg-sub0_binary64_755 cancel-sign-sub-inv_binary64_5159 sqrt-pow1_binary64_5552 exp-sum_binary64_3875 associate-/r/_binary64_365 cbrt-unprod_binary64_3521 +-commutative_binary64_3418 frac-add_binary64_427 difference-of-squares_binary64_3116 div-exp_binary64_5926 cos-atan_binary64_1280 associate-*l*_binary64_5134 unpow-prod-down_binary64_5954 frac-add_binary64_2814 log-pow_binary64_1190 rem-sqrt-square_binary64_5547 cos-sum_binary64_1576 pow1/2_binary64_5614 cube-div_binary64_1812 distribute-lft-in_binary64_709 distribute-lft-in_binary64_4460 sin-sum_binary64_211 unpow3_binary64_485 *-commutative_binary64_3419 associate--l+_binary64_2402 1-exp_binary64_2509 associate-/l/_binary64_2071 cube-prod_binary64_3175 unswap-sqr_binary64_4138 associate-/r/_binary64_3434 pow-to-exp_binary64_1511 pow-sqr_binary64_4484 pow-pow_binary64_832 sqr-pow_binary64_3119 sum-log_binary64_169 pow-pow_binary64_1514 diff-log_binary64_3921 sub-neg_binary64_5527
3×	cos-diff_binary64_2943 distribute-lft-out--_binary64_4804 flip3--_binary64_5197 clear-num_binary64_418 associate-/l/_binary64_1730 exp-neg_binary64_807 flip--_binary64_5168 cube-prod_binary64_1129 distribute-lft-neg-in_binary64_2763 flip3--_binary64_4856 neg-sub0_binary64_5870 flip--_binary64_53 sqr-pow_binary64_2437 associate--r+_binary64 rem-sqrt-square_binary64_1455 sqr-pow_binary64_1755 cbrt-unprod_binary64_3180 unpow2_binary64_1507 pow1/2_binary64_840 pow-prod-up_binary64_3899 cbrt-div_binary64_6248 rem-sqrt-square_binary64_91 log-prod_binary64_1187 log-pow_binary64_3577 frac-2neg_binary64_430 div-sub_binary64_765 rem-cbrt-cube_binary64 pow-sqr_binary64_51 div-sub_binary64_1447 swap-sqr_binary64_45 unpow2_binary64_143 sqrt-prod_binary64_4868 associate-/l/_binary64_4799 +-commutative_binary64_5464 pow-plus_binary64_1846 associate-*l*_binary64_6157 prod-exp_binary64_3878 pow1/3_binary64_6298 flip--_binary64_4827 log-div_binary64_4257 pow-unpow_binary64_496 rec-exp_binary64_5584 frac-2neg_binary64_5545 sum-log_binary64 associate-*l/_binary64_3772 clear-num_binary64_4851 *-commutative_binary64_4783 sqrt-prod_binary64_5209 associate-*l/_binary64_4113 acos-neg_binary64_2989 exp-prod_binary64_1153 difference-of-squares_binary64_5844 associate-/l/_binary64_2753 pow2_binary64_159 rem-log-exp_binary64_2847 associate-/l/_binary64_5140 rem-log-exp_binary64_3529 neg-mul-1_binary64_756 distribute-lft-out--_binary64_5145 *-commutative_binary64_3078 1-exp_binary64_5578 cube-prod_binary64_2493 pow-neg_binary64_833 sqrt-pow1_binary64_1460 clear-num_binary64_5533 +-commutative_binary64_3759 unswap-sqr_binary64_5843 pow1/3_binary64_1183 pow1/2_binary64_1522 sum-log_binary64_3920 *-commutative_binary64_3760 div-sub_binary64_5880 pow-flip_binary64_2198 cube-mult_binary64_1472 unpow3_binary64_1508 distribute-frac-neg_binary64_2769 pow-sqr_binary64_3802 associate-*r/_binary64_4112 associate--l+_binary64_3425 pow1/3_binary64_160 pow1/2_binary64_4591 cbrt-unprod_binary64_3862 unpow2_binary64_2530 flip3--_binary64_82 diff-log_binary64_3239 sqrt-pow1_binary64_778 rem-sqrt-square_binary64_4524 +-commutative_binary64_349 inv-pow_binary64_2209 frac-2neg_binary64_4863 distribute-rgt-neg-in_binary64_2764 sqrt-prod_binary64_3504 distribute-frac-neg_binary64_5838 distribute-lft-neg-out_binary64 sum-log_binary64_5625
2×	associate-*l/_binary64_5477 cbrt-div_binary64_110 sub-neg_binary64_5186 pow-to-exp_binary64_2534 distribute-lft-out_binary64_711 frac-add_binary64_3496 sum-log_binary64_851 pow-exp_binary64_3215 sqr-cos-a_binary64_1932 cbrt-undiv_binary64_3181 pow-exp_binary64_2533 pow-plus_binary64_4574 associate--l-_binary64 clear-num_binary64_3146 sum-log_binary64_1533 pow-pow_binary64_1855 pow-sqr_binary64_4825 associate-*l*_binary64_5475 difference-of-sqr-1_binary64_3117 cube-mult_binary64_1813 pow-prod-up_binary64_2194 diff-log_binary64_5285 un-div-inv_binary64_1440 difference-of-squares_binary64_5503 rem-sqrt-square_binary64_5888 associate--r+_binary64_1719 sqrt-div_binary64_4187 frac-2neg_binary64_89 unpow3_binary64_1849 rem-log-exp_binary64_1483 +-commutative_binary64_1372 frac-add_binary64 associate-+l+_binary64_2739 pow-prod-down_binary64_4241 clear-num_binary64_77 pow-prod-down_binary64_3218 sub-div_binary64_1790 associate--l+_binary64_5812 pow-to-exp_binary64_3216 *-commutative_binary64_5465 div-sub_binary64_3493 sub-neg_binary64_4845 sub-neg_binary64_3140 pow-prod-up_binary64_4922 pow-sqr_binary64_4143 associate--l-_binary64_1721 pow-sqr_binary64_3120 associate-/l/_binary64_366 cube-div_binary64_448 sum-cubes_binary64 unpow3_binary64_144 *-commutative_binary64_5124 associate-/r*_binary64_22 exp-diff_binary64_1490 pow-prod-up_binary64_4240 pow-flip_binary64_2880 +-commutative_binary64_690 flip--_binary64_3122 difference-of-squares_binary64_4139 div-sub_binary64_2470 pow2_binary64_1523 cube-mult_binary64_108 asin-acos_binary64_1622 rem-cube-cbrt_binary64 frac-times_binary64_5544 pow-prod-up_binary64_3217 sin-mult_binary64_233 sqr-pow_binary64_2778 sub-neg_binary64_4504 associate--r+_binary64_1378 inv-pow_binary64_2891 associate-*r/_binary64_4794 cos-atan_binary64_939 rem-log-exp_binary64_460 div-exp_binary64_3198 sqrt-div_binary64_3505 pow-sqr_binary64_2097 pow-to-exp_binary64_1852 flip3--_binary64_3151 pow-prod-up_binary64_1512 sub-neg_binary64_5868 pow-plus_binary64_3892 associate--l-_binary64_2403 pow-exp_binary64_1851 associate--r-_binary64 diff-log_binary64_4944 frac-2neg_binary64_3158 associate--r-_binary64_5814 pow-flip_binary64_5608 +-commutative_binary64 pow2_binary64_3910 pow-plus_binary64_1505 associate-*r/_binary64_5135 sub-div_binary64_85 un-div-inv_binary64_758 atan-neg_binary64_944 pow-sqr_binary64_1415 pow2_binary64_1864 pow-sub_binary64_836 cos-neg_binary64_891 sum-log_binary64_3238
1×	log-pow_binary64_508 rem-cbrt-cube_binary64_102 sqr-abs_binary64_93 pow1/3_binary64_501 rem-cube-cbrt_binary64_2488 cube-mult_binary64_3177 distribute-lft-out--_binary64_3099 div-sub_binary64_1788 rem-cube-cbrt_binary64_101 sqrt-unprod_binary64_780 neg-mul-1_binary64_2802 unpow3_binary64_2531 inv-pow_binary64_1868 cbrt-div_binary64_451 pow-plus_binary64_4233 rem-cube-cbrt_binary64_1806 flip-+_binary64_4485 flip3--_binary64_4174 flip3-+_binary64_4514 pow-pow_binary64_491 div-sub_binary64_4857 rem-log-exp_binary64_4211 associate-*l/_binary64_3090 prod-exp_binary64_4219 diff-log_binary64_170 1-exp_binary64_1827 rem-exp-log_binary64_1482 sqrt-pow1_binary64_3506 mul0-lft_binary64 rec-exp_binary64_1833 pow-flip_binary64_1857 cbrt-unprod_binary64_4203 inv-pow_binary64_5619 swap-sqr_binary64_4478 pow1/2_binary64_3568 sin-diff_binary64_214 unpow3_binary64_3213 neg-sub0_binary64_1096 tanh-def-a_binary64_3675 distribute-frac-neg_binary64_1064 tanh-def-c_binary64_3677 pow-prod-down_binary64_6287 rem-cbrt-cube_binary64_1125 distribute-frac-neg_binary64_2428 cos-diff_binary64_1579 pow2_binary64_4251 distribute-lft-neg-out_binary64_2765 pow-plus_binary64_4915 associate--r-_binary64_1381 tanh-def-b_binary64_3676 log-div_binary64_506 rem-cbrt-cube_binary64_443 pow1/2_binary64_4250 rem-sqrt-square_binary64_773 sin-diff_binary64_2260 cube-mult_binary64_1131 sqrt-pow1_binary64_4188 +-commutative_binary64_4100 pow-plus_binary64_3210 neg-log_binary64_853 pow-plus_binary64_2187 cube-mult_binary64_2495 sinh-undef_binary64_612 log-pow_binary64_4259 frac-times_binary64_2816 difference-cubes_binary64_1444 unpow3_binary64_1167 +-commutative_binary64_3077 frac-times_binary64_3157 associate-+r+_binary64_351 log-div_binary64_3916 pow2_binary64_3228 rem-cbrt-cube_binary64_1807 associate-*r/_binary64_6158 rem-sqrt-square_binary64_4183 sum-log_binary64_4261 tanh-undef_binary64_3683 *-commutative_binary64_4101 rem-log-exp_binary64_3870 associate-*r/_binary64_5476 pow2_binary64_4933 associate--l+_binary64_3084 rem-cube-cbrt_binary64_442 unpow2_binary64_1848 rem-log-exp_binary64_1142 unswap-sqr_binary64_6184 div-sub_binary64_2129 distribute-lft-out--_binary64_5486 flip--_binary64_4145 cos-sum_binary64_2940 unswap-sqr_binary64_5161 log-div_binary64_1529 pow2_binary64_4592 frac-sub_binary64_2133 pow2_binary64_2205 associate-/l/_binary64_5481 mul0-rgt_binary64 associate--r+_binary64_3424 associate-*l/_binary64_2749 associate-*r/_binary64_3089 rem-sqrt-square_binary64_3501 exp-diff_binary64_3877 neg-sub0_binary64_2460 associate-+l+_binary64_352 *-commutative_binary64_6147 distribute-rgt-out--_binary64_2419 div-sub_binary64_5198

Calls

645 calls:

297.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))))
139.0ms	(-.f64 (pow.f64 (/.f64 x (+.f64 x 1)) 3) (pow.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) 3))
76.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))) (cbrt.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (+.f64 1 x)))))
67.0ms	(*.f64 (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))) (cbrt.f64 (+.f64 (/.f64 1 x) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 x x))) x))))
46.0ms	(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))