rewrite8.7s (0.7%)

Algorithm

190×	rewrite-expression-head

Rules

3891×	add-exp-log_binary64
2818×	prod-exp_binary64
1653×	add-cbrt-cube_binary64
1276×	add-exp-log_binary64_2503
1164×	cbrt-unprod_binary64
972×	*-un-lft-identity_binary64_3488
833×	add-exp-log_binary64_457
792×	add-sqr-sqrt_binary64_441
712×	add-exp-log_binary64_1480
700×	prod-exp_binary64_2514
694×	pow-exp_binary64_2533
643×	times-frac_binary64_3494
632×	times-frac_binary64_425
624×	sqrt-div_binary64_3846
622×	div-exp_binary64
605×	div-exp_binary64_2516
585×	*-un-lft-identity_binary64_419
515×	add-sqr-sqrt_binary64_3510
504×	associate-*l/_binary64_1044
498×	add-cbrt-cube_binary64_1478
456×	add-cube-cbrt_binary64_454
442×	add-exp-log_binary64_116
408×	*-un-lft-identity_binary64_2465
402×	add-sqr-sqrt_binary64_1123
389×	flip3--_binary64_1105 flip--_binary64_1076
371×	times-frac_binary64_3835
360×	pow1_binary64 prod-exp_binary64_468
354×	prod-exp_binary64_1491
346×	pow-to-exp_binary64_2534
344×	*-un-lft-identity_binary64_1101
343×	times-frac_binary64_1107
341×	add-sqr-sqrt_binary64_2487
336×	*-un-lft-identity_binary64_2124
335×	add-exp-log_binary64_1139
325×	add-sqr-sqrt_binary64_1464
323×	*-un-lft-identity_binary64_1783
315×	add-sqr-sqrt_binary64
300×	times-frac_binary64_2812
290×	add-sqr-sqrt_binary64_3169
286×	add-exp-log_binary64_3185 add-cube-cbrt_binary64_1136
280×	add-cbrt-cube_binary64_455
276×	frac-add_binary64_1109
274×	add-sqr-sqrt_binary64_3851
273×	add-sqr-sqrt_binary64_2146
271×	*-un-lft-identity_binary64_4170 div-exp_binary64_470 add-sqr-sqrt_binary64_4533
269×	*-un-lft-identity_binary64
268×	add-sqr-sqrt_binary64_100
265×	*-un-lft-identity_binary64_3829 frac-times_binary64_1111
263×	*-un-lft-identity_binary64_4511
259×	times-frac_binary64_5199
254×	add-sqr-sqrt_binary64_782
250×	add-cube-cbrt_binary64_3523
247×	times-frac_binary64_3153 cbrt-unprod_binary64_1475
245×	*-un-lft-identity_binary64_1442
241×	times-frac_binary64_766
239×	times-frac_binary64_2130
237×	associate-*r/_binary64_3771
235×	add-exp-log_binary64_798
233×	*-un-lft-identity_binary64_3147
232×	add-sqr-sqrt_binary64_1805
231×	pow-exp_binary64_487
229×	add-cube-cbrt_binary64_1477
225×	pow-prod-down_binary64
221×	add-cube-cbrt_binary64_3864 times-frac_binary64_4517 pow-to-exp_binary64_488
220×	pow1_binary64_1503
215×	cbrt-undiv_binary64
214×	add-cube-cbrt_binary64_2159 times-frac_binary64_1448
213×	*-un-lft-identity_binary64_760 distribute-lft-out_binary64_3439 times-frac_binary64_2471
211×	add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
209×	unpow-prod-down_binary64_498
201×	flip3-+_binary64_3832 flip-+_binary64_3803
195×	associate-*r*_binary64_359 *-un-lft-identity_binary64_78
191×	times-frac_binary64_4176 add-cube-cbrt_binary64_795
189×	add-cube-cbrt_binary64_113
186×	prod-exp_binary64_127 associate-*l/_binary64_3772
184×	times-frac_binary64_1789
182×	add-cbrt-cube_binary64_1137
181×	add-sqr-sqrt_binary64_4192
180×	frac-times_binary64_3839
177×	add-cube-cbrt_binary64 add-cube-cbrt_binary64_2500
176×	add-cbrt-cube_binary64_114
175×	pow-exp_binary64
173×	add-sqr-sqrt_binary64_5215 associate-*l*_binary64_360
171×	log-prod_binary64_2551
168×	add-cube-cbrt_binary64_1818
166×	div-exp_binary64_1493 add-cube-cbrt_binary64_3182
161×	*-un-lft-identity_binary64_5193
159×	add-cube-cbrt_binary64_5228
156×	frac-sub_binary64_3838
154×	sqrt-div_binary64_1118 sqrt-prod_binary64_2140
153×	*-un-lft-identity_binary64_4852
152×	pow1_binary64_1844
148×	unpow-prod-down_binary64_3226 cbrt-prod_binary64_5224 sqrt-div_binary64_2141
147×	associate-*r/_binary64_1043
138×	add-cbrt-cube_binary64_796
137×	pow1_binary64_480
136×	times-frac_binary64_84
135×	associate-/r*_binary64_363
133×	cbrt-div_binary64_1133 add-sqr-sqrt_binary64_4874 add-cube-cbrt_binary64_4546
131×	pow1_binary64_139
127×	difference-of-squares_binary64_3457
125×	add-cube-cbrt_binary64_4205
123×	add-exp-log_binary64_1821 div-exp_binary64_129
122×	pow1_binary64_1162
118×	associate-*r*_binary64_18
116×	rec-exp_binary64_2515 add-cbrt-cube_binary64_1819 times-frac_binary64 1-exp_binary64_2509
113×	prod-exp_binary64_1150
112×	add-cbrt-cube_binary64_3183
110×	pow-exp_binary64_146
109×	flip--_binary64_3804 sqrt-prod_binary64_435 flip3--_binary64_3833
108×	prod-exp_binary64_3196
107×	sqr-pow_binary64_391
106×	pow-to-exp_binary64_147
104×	cancel-sign-sub-inv_binary64_3454 pow-exp_binary64_1510
103×	pow1_binary64_821 unpow-prod-down_binary64_1521
100×	add-log-exp_binary64
97×	add-exp-log_binary64_4208 pow-to-exp_binary64_1511
96×	swap-sqr_binary64_3455 add-exp-log_binary64_3526 unpow-prod-down_binary64_157 difference-of-squares_binary64_388 div-exp_binary64_1152
95×	pow1_binary64_3890
94×	unswap-sqr_binary64_387
93×	div-exp_binary64_3198
92×	distribute-lft-out--_binary64_3440
90×	associate-*r*_binary64_2064
89×	pow-to-exp_binary64
88×	add-log-exp_binary64_799
87×	associate-*l*_binary64_1042 add-cbrt-cube_binary64_4206
86×	difference-of-squares_binary64_2434 add-cbrt-cube_binary64_2501
85×	associate-*r*_binary64_1382 pow-exp_binary64_3215
84×	associate-*l*_binary64_3429
83×	add-cbrt-cube_binary64_3524
82×	add-exp-log_binary64_3867 add-cbrt-cube_binary64_3865 add-cube-cbrt_binary64_4887 add-log-exp_binary64_458
81×	cbrt-undiv_binary64_1476 pow-prod-down_binary64_1513 difference-of-squares_binary64_4480 unpow-prod-down_binary64_1180
79×	associate-/l/_binary64_3776
78×	associate-/r*_binary64_1045 cbrt-unprod_binary64_452
76×	distribute-neg-frac_binary64_3793 associate-*l*_binary64_1383 distribute-lft-neg-in_binary64_2081 distribute-rgt-neg-in_binary64_2082
74×	pow-to-exp_binary64_3216
73×	prod-exp_binary64_809 sqrt-prod_binary64_3845 pow1_binary64_3549 associate-*l*_binary64 pow1_binary64_2185
72×	add-log-exp_binary64_117 add-exp-log_binary64_2162 sqr-pow_binary64_3119
70×	add-log-exp_binary64_1481 associate-*l/_binary64_2067 associate-*r/_binary64_2066
69×	cancel-sign-sub-inv_binary64_4818
68×	associate-*r*_binary64 pow-exp_binary64_1169
65×	flip-+_binary64_2098 flip3-+_binary64_2127 sqrt-prod_binary64_1117 associate-/l*_binary64_3774 pow1_binary64_2526
63×	add-log-exp_binary64_1822
62×	add-log-exp_binary64_1140 distribute-lft-out_binary64_1734
61×	associate-*r*_binary64_3428 cbrt-prod_binary64
60×	sqrt-prod_binary64_2481 add-log-exp_binary64_2504 pow-to-exp_binary64_1170 cbrt-prod_binary64_1473 associate-/l*_binary64_364
59×	distribute-lft-out_binary64_2075 associate-*r*_binary64_1041 div-exp_binary64_811 add-cbrt-cube_binary64_2160 associate-*r/_binary64_2407
57×	associate-*l*_binary64_19 cube-prod_binary64_447 add-cbrt-cube_binary64_2842 add-exp-log_binary64_2844
55×	associate-/l*_binary64_2069 associate--l+_binary64_2402 distribute-lft-out_binary64_4121
54×	cbrt-undiv_binary64_453 pow1_binary64_3208
53×	sqr-pow_binary64_1414
52×	pow-prod-down_binary64_1854 cancel-sign-sub-inv_binary64_385 difference-of-squares_binary64_3116 times-frac_binary64_4858 *-un-lft-identity_binary64_5875 associate-/l*_binary64_2751 distribute-lft-out_binary64_2416
51×	add-exp-log_binary64_4890 difference-of-squares_binary64
50×	associate-/r*_binary64_1386 associate-/l*_binary64_1387 add-log-exp_binary64_2163 associate-/l/_binary64_2071
49×	cbrt-unprod_binary64_111
48×	sqr-pow_binary64_50 difference-of-sqr-1_binary64_3458 cancel-sign-sub-inv_binary64 unswap-sqr_binary64_1410
47×	associate-/l*_binary64_1046
46×	add-log-exp_binary64_3868 frac-add_binary64_2132 distribute-neg-frac_binary64_2088
45×	cbrt-prod_binary64_2837 cbrt-prod_binary64_4542 associate-*r*_binary64_1723 cancel-sign-sub-inv_binary64_1749
44×	distribute-lft-neg-in_binary64_717 distribute-rgt-neg-in_binary64_718 distribute-lft-out--_binary64_371 distribute-lft-out--_binary64_4463 unpow-prod-down_binary64_2544 unswap-sqr_binary64_46
43×	associate-*l*_binary64_4111 add-log-exp_binary64_3527 associate-*r*_binary64_4110
42×	cbrt-prod_binary64_3519 sqrt-prod_binary64_4868 associate-/r*_binary64_5137 associate-*l*_binary64_4793 flip3-+_binary64_2468 distribute-lft-out--_binary64_2417 associate-*r*_binary64_3087 flip-+_binary64_2439
41×	sqrt-prod_binary64_776 cbrt-unprod_binary64_1134 cancel-sign-sub-inv_binary64_2431 unswap-sqr_binary64_1069 associate-/l*_binary64_3092
40×	associate-*l*_binary64_2406 add-exp-log_binary64_5231 associate-*r*_binary64_700 distribute-rgt-in_binary64_2415 distribute-lft-in_binary64_2414 frac-times_binary64_2134 sqrt-pow1_binary64_3847
39×	flip3--_binary64_2128 unpow-prod-down_binary64_1862 sqrt-prod_binary64_1458 flip--_binary64_2099
38×	associate-/r*_binary64_1727 add-cbrt-cube_binary64_4888
37×	associate-/r*_binary64_4114 sqr-pow_binary64_1073 pow1_binary64_2867 sqrt-div_binary64_777
36×	pow-prod-down_binary64_490 associate-*l*_binary64_4452 associate-/r*_binary64_3091 associate-/r*_binary64_22 prod-exp_binary64_1832 sqrt-prod_binary64
35×	cancel-sign-sub-inv_binary64_4477 div-inv_binary64_416
34×	cube-prod_binary64_1129 cbrt-undiv_binary64_1135 add-exp-log_binary64_4549 associate-*l*_binary64_3088 cbrt-unprod_binary64_1816 add-log-exp_binary64_3186 associate-/r/_binary64_3434
33×	add-log-exp_binary64_4891 associate-*l*_binary64_701 pow-prod-down_binary64_149 associate-/r*_binary64_4455
32×	add-cube-cbrt_binary64_5910 distribute-rgt-neg-in_binary64_3787 add-sqr-sqrt_binary64_5556 associate-*r*_binary64_4792 sqrt-prod_binary64_5550 associate-*l*_binary64_2065 add-log-exp_binary64_2845 add-sqr-sqrt_binary64_5897 distribute-lft-neg-in_binary64_3786
31×	associate-/r*_binary64_3432 flip3--_binary64 cancel-sign-sub-inv_binary64_726 associate-/r*_binary64_2409 flip--_binary64
30×	log-prod_binary64_5961 pow1_binary64_4913 associate-/r/_binary64_3775 add-cbrt-cube_binary64_4547 associate-/l*_binary64_1728 cube-prod_binary64_1470 associate-*r*_binary64_2405
29×	associate--r+_binary64_2401 pow-prod-down_binary64_3900 pow1_binary64_4231 unswap-sqr_binary64_3115 pow-prod-down_binary64_1172 div-exp_binary64_4221
28×	cbrt-unprod_binary64_3180 cbrt-unprod_binary64_793 associate-*r*_binary64_3769 cube-prod_binary64_3175
27×	associate-*r/_binary64_1384 log-prod_binary64_2210 pow1_binary64_5936 flip3-+_binary64_1786 cube-mult_binary64_449 flip-+_binary64_1757 distribute-lft-in_binary64_4801 div-inv_binary64_1098 distribute-rgt-in_binary64_4802 unpow3_binary64_485 associate-*l*_binary64_1724
26×	sqrt-div_binary64_4869 difference-of-squares_binary64_729 associate-/l*_binary64_705 cbrt-prod_binary64_1132
25×	associate-/r/_binary64_4457 flip3--_binary64_423 unpow-prod-down_binary64 flip--_binary64_394 cbrt-undiv_binary64_4204 unpow-prod-down_binary64_839
24×	cbrt-undiv_binary64_3181 associate-/l/_binary64_707 distribute-lft-out--_binary64 *-un-lft-identity_binary64_5534 associate--l+_binary64_4789 add-log-exp_binary64_5573 pow-unpow_binary64_3565 associate-+r+_binary64_2397 cbrt-prod_binary64_109 add-cube-cbrt_binary64_5569 add-log-exp_binary64_5914 frac-sub_binary64_2474 pow1_binary64_5595
23×	cbrt-undiv_binary64_794 cube-prod_binary64_106 *-commutative_binary64_350 cbrt-prod_binary64_5906 add-log-exp_binary64_4209 associate-/r*_binary64_704
22×	div-inv_binary64_3826 associate-/r/_binary64_1729 associate-/l*_binary64 unswap-sqr_binary64 difference-of-squares_binary64_4139
21×	distribute-lft-out--_binary64_4804 associate-*l/_binary64_703 add-exp-log_binary64_5913 associate-/l*_binary64_4115 sqrt-prod_binary64_1799 associate-*r/_binary64_702 unpow-prod-down_binary64_4931 div-inv_binary64_757
20×	clear-num_binary64_418 div-exp_binary64_3880 cbrt-undiv_binary64_3863 cube-mult_binary64_3177 associate-/r/_binary64_1047 frac-2neg_binary64_430 div-inv_binary64_2803 flip3-+_binary64_763 prod-exp_binary64_4219 frac-sub_binary64_3497 flip--_binary64_2440 unpow3_binary64_3213 flip-+_binary64_734 flip3--_binary64_2469 cbrt-div_binary64_3861 frac-add_binary64_2473 cbrt-div_binary64_5566
19×	log-pow_binary64_2554 add-log-exp_binary64_4550 associate-/l/_binary64_1048 prod-exp_binary64_3537 flip3-+_binary64_3491 associate-/l*_binary64_3433 difference-of-squares_binary64_2093 flip-+_binary64_3462 div-inv_binary64_2462 log-pow_binary64_167
18×	flip3-+_binary64 *-commutative_binary64_9 cbrt-unprod_binary64_4203 frac-sub_binary64_1451 frac-sub_binary64 distribute-lft-neg-in_binary64 *-commutative_binary64_1373 distribute-lft-out_binary64_4803 div-inv_binary64_4167 frac-times_binary64_3498 distribute-rgt-neg-in_binary64 associate-*r/_binary64_3430 associate-/l*_binary64_23 add-cbrt-cube_binary64_5229 pow1/2_binary64_3909 cbrt-div_binary64 cbrt-undiv_binary64_112 associate-/l*_binary64_4456 tan-quot_binary64_919 exp-prod_binary64_130 associate-/r/_binary64_2411 flip-+_binary64
17×	distribute-neg-frac_binary64_724 pow1_binary64_4572 flip3--_binary64_4856 associate-/r*_binary64 associate--l+_binary64_356 unpow2_binary64_825 swap-sqr_binary64 div-inv_binary64_1439 sqrt-pow1_binary64_2142 associate-*r/_binary64 flip--_binary64_4827 sqr-pow_binary64_732 div-inv_binary64_3485 associate-/l*_binary64_2410
16×	sqrt-div_binary64_5551 associate-*l/_binary64_3431 frac-sub_binary64_4861 add-cbrt-cube_binary64_5911 associate-/l*_binary64_5138 pow-exp_binary64_828 frac-add_binary64_768 div-inv_binary64_1780 clear-num_binary64_1100 frac-2neg_binary64_1112 add-cbrt-cube_binary64_5570 cbrt-unprod_binary64_2498 flip3-+_binary64_1104 add-exp-log_binary64_5572 associate-*r*_binary64_5133 flip-+_binary64_1075 distribute-lft-out_binary64_1052 pow-prod-up_binary64 pow1_binary64_5254 div-inv_binary64_4508 flip--_binary64_735 difference-of-squares_binary64_3798 flip3--_binary64_764
15×	log-div_binary64_2552 pow-exp_binary64_3556 pow-prod-down_binary64_2195 associate-/l/_binary64_3435 diff-log_binary64 unswap-sqr_binary64_2092 neg-mul-1_binary64_2120 pow-unpow_binary64_1519 pow-unpow_binary64_3224 difference-of-sqr-1_binary64 sub-neg_binary64_4845 sum-log_binary64 div-inv_binary64_3144 cbrt-unprod_binary64_3521 cbrt-undiv_binary64_2499 associate-/r*_binary64_2068 sqr-pow_binary64_3460 pow-pow_binary64_3560
14×	flip--_binary64_5509 rem-sqrt-square_binary64_3842 diff-log_binary64_2557 difference-of-squares_binary64_1070 flip-+_binary64_4826 clear-num_binary64_1441 flip3-+_binary64_4855 unpow-prod-down_binary64_4590 associate-/r/_binary64_4116 frac-2neg_binary64_1453 cube-mult_binary64_1131 distribute-lft-out_binary64_3780 sqrt-div_binary64_1800 unpow3_binary64_1167 prod-exp_binary64_4901 associate-/r*_binary64_3773 sqr-pow_binary64_4483 flip3--_binary64_5538 div-exp_binary64_3539 cbrt-undiv_binary64_3522 log-div_binary64_2211 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
13×	associate-*l/_binary64_362 sin-diff_binary64_2942 cancel-sign-sub-inv_binary64_3795 sub-neg_binary64 difference-of-squares_binary64_1752 frac-times_binary64_1793 distribute-lft-out_binary64_3098 unpow-prod-down_binary64_3567 *-commutative_binary64_1032 flip3--_binary64_3492 sqr-pow_binary64_1755 cos-atan_binary64_2985 swap-sqr_binary64_3114 prod-exp_binary64_3878 flip--_binary64_3463 distribute-lft-out--_binary64_1735 prod-exp_binary64_2173 div-exp_binary64_5244 unswap-sqr_binary64_2433 frac-times_binary64_770 div-exp_binary64_1834 pow-prod-up_binary64_1512 unpow2_binary64_1848 cbrt-unprod_binary64_3862 log-pow_binary64_5964 sqrt-div_binary64 div-sub_binary64_2811
12×	log-pow_binary64_508 associate-+r+_binary64_692 difference-of-sqr--1_binary64_1754 unpow-prod-down_binary64_2203 unswap-sqr_binary64_3456 difference-of-squares_binary64_5503 associate-/r*_binary64_2750 pow-unpow_binary64_496 cbrt-undiv_binary64_2840 unpow3_binary64_144 pow-unpow_binary64_837 flip-+_binary64_4144 flip3-+_binary64_4173 distribute-rgt-in_binary64 cube-mult_binary64_108 div-exp_binary64_2857 pow-prod-down_binary64_3559 add-log-exp_binary64_5232 log-div_binary64_5962 div-inv_binary64_2121 cube-prod_binary64 unswap-sqr_binary64_1751 distribute-rgt-out--_binary64 pow-unpow_binary64_1178 sqrt-prod_binary64_3163 distribute-lft-in_binary64
11×	unswap-sqr_binary64_728 flip--_binary64_4486 sub-neg_binary64_412 unswap-sqr_binary64_4820 associate-/l/_binary64_3094 distribute-lft-out--_binary64_1053 *-commutative_binary64_1714 neg-mul-1_binary64_756 associate-*r/_binary64_361 associate-*r/_binary64_4794 sub-neg_binary64_753 associate-*r/_binary64_3089 unswap-sqr_binary64_4138 pow-sqr_binary64_1415 exp-prod_binary64_471 difference-of-sqr-1_binary64_4140 div-inv_binary64_75
10×	cbrt-undiv_binary64_1817 pow1/2_binary64_2204 difference-of-squares_binary64_4821 pow-to-exp_binary64_829 frac-times_binary64_4862 cancel-sign-sub-inv_binary64_3113 distribute-lft-out_binary64_4462 flip3-+_binary64_5878 div-sub_binary64_1447 flip3--_binary64_4515 cube-prod_binary64_2834 associate-/l/_binary64_2412 div-inv_binary64_5190 associate-/l/_binary64_366 distribute-lft-out_binary64_5826 flip-+_binary64_5849 unpow-prod-down_binary64_2885 cube-mult_binary64_1472 unpow3_binary64_1508 pow-prod-down_binary64_831 diff-log_binary64_511 *-commutative_binary64_691 sqr-pow_binary64
9×	frac-2neg_binary64_1794 distribute-lft-out--_binary64_3099 log-prod_binary64_164 clear-num_binary64_3146 associate-/l/_binary64_1389 distribute-lft-out_binary64 pow1/2_binary64 pow1/3_binary64 clear-num_binary64_4169 pow-prod-down_binary64_3218 pow-unpow_binary64_1860 frac-2neg_binary64_4181 associate-*l/_binary64_1726 cube-prod_binary64_4198 associate-/r/_binary64_365 associate-*r/_binary64_1725 unpow-prod-down_binary64_4249 sub-neg_binary64_2458 swap-sqr_binary64_727 sqrt-pow1_binary64 clear-num_binary64_1782 associate-*r/_binary64_4112 frac-2neg_binary64_3158 pow-plus_binary64_1505 pow-pow_binary64_3219 div-exp_binary64_4562 pow-pow_binary64_1514
8×	sqrt-prod_binary64_5891 distribute-lft-out--_binary64_712 pow-to-exp_binary64_3557 distribute-lft-out--_binary64_3781 distribute-lft-neg-out_binary64_2424 flip3--_binary64_1787 cancel-sign-sub-inv_binary64_1408 cbrt-unprod_binary64_4885 cube-prod_binary64_5903 *-commutative_binary64_2396 distribute-rgt-neg-out_binary64 pow-pow_binary64_491 flip-+_binary64_1416 flip3-+_binary64_1445 difference-of-sqr-1_binary64_389 neg-mul-1_binary64_3825 frac-add_binary64 frac-2neg_binary64_2476 associate-*l/_binary64_1385 sqrt-pow1_binary64_5552 pow-sqr_binary64_1756 sin-mult_binary64_1938 sum-log_binary64_1874 associate-/r/_binary64_2070 cosh-undef_binary64_1295 diff-log_binary64_852 unpow-prod-down_binary64_5954 frac-times_binary64_5544 cube-prod_binary64_2152 rem-sqrt-square_binary64_5547 pow1/2_binary64_5614 associate-*r/_binary64_5476 cbrt-div_binary64_3520 cos-sum_binary64_1917 diff-log_binary64_4944 pow1/3_binary64_5275 cancel-sign-sub-inv_binary64_44 flip--_binary64_1758 frac-add_binary64_4178 sin-sum_binary64_893 clear-num_binary64_2464 div-exp_binary64_4903 pow-prod-up_binary64_1853
7×	associate-/l/_binary64 frac-times_binary64_1452 associate--r-_binary64_2404 +-commutative_binary64_1713 flip-+_binary64_4485 pow-pow_binary64_1173 rem-cube-cbrt_binary64_1124 associate-*l*_binary64_3770 sub-neg_binary64_3822 cbrt-unprod_binary64_2157 cbrt-undiv_binary64_5227 distribute-frac-neg_binary64_2428 sinh-undef_binary64_1294 diff-log_binary64_1534 flip--_binary64_3122 cos-mult_binary64_1937 rem-sqrt-square_binary64_2137 difference-of-sqr-1_binary64_4481 difference-of-squares_binary64_47 cancel-sign-sub-inv_binary64_1067 flip3--_binary64_3151 sub-neg_binary64_1776 div-inv_binary64 pow-exp_binary64_1851 difference-of-squares_binary64_1411 rem-log-exp_binary64_2506 cbrt-undiv_binary64_4545 diff-log_binary64_3921
6×	sqrt-prod_binary64_94 acos-asin_binary64_1623 cbrt-undiv_binary64_2158 frac-add_binary64_3496 sum-log_binary64_851 flip--_binary64_53 sqr-pow_binary64_2437 cbrt-div_binary64_5907 flip3-+_binary64_4514 flip3-+_binary64_5537 distribute-lft-out--_binary64_2076 flip3--_binary64_1446 frac-2neg_binary64_89 sin-cos-mult_binary64_1939 rem-cube-cbrt_binary64_3511 *-commutative_binary64_2055 acos-asin_binary64_259 clear-num_binary64_77 cos-diff_binary64_1920 distribute-rgt-in_binary64_710 neg-mul-1_binary64 pow-unpow_binary64_2542 clear-num_binary64_4510 cube-prod_binary64_1811 flip--_binary64_1417 distribute-lft-out--_binary64_4122 frac-2neg_binary64_771 cube-prod_binary64_3516 sqr-pow_binary64_2096 flip-+_binary64_5508 +-commutative_binary64_690 associate-*l*_binary64_5134 cbrt-div_binary64_2156 pow-pow_binary64_2537 distribute-lft-in_binary64_709 associate-*r/_binary64_20 frac-2neg_binary64_4522 clear-num_binary64_759 sum-log_binary64_2215 pow-prod-down_binary64_2536 unswap-sqr_binary64_5161 flip3--_binary64_82 div-exp_binary64_2175
5×	frac-times_binary64_4180 pow1/2_binary64_4932 rem-cube-cbrt_binary64_1465 diff-log_binary64_1875 frac-2neg_binary64_3499 pow1/3_binary64_2888 sum-log_binary64_1533 pow-pow_binary64_1855 cancel-sign-sub-inv_binary64_2090 sqrt-pow1_binary64_4870 sum-log_binary64_2556 diff-log_binary64_3580 cbrt-undiv_binary64_4886 clear-num_binary64_3828 div-inv_binary64_4849 tan-quot_binary64_2624 rem-sqrt-square_binary64_4865 frac-sub_binary64_3156 associate-+l+_binary64 clear-num_binary64_2123 frac-sub_binary64_1110 clear-num_binary64_3487 rem-log-exp_binary64_5916 *-commutative_binary64_3078 pow2_binary64_1523 log-pow_binary64_1190 sin-mult_binary64_233 sub-neg_binary64_4504 swap-sqr_binary64_1409 frac-2neg_binary64_3840 pow-to-exp_binary64_1852 *-commutative_binary64_3419 sub-neg_binary64_3481 frac-2neg_binary64_2135 sin-mult_binary64_3643 cosh-def_binary64_1287
4×	associate-*l/_binary64_5477 sqrt-div_binary64_436 cbrt-prod_binary64_5565 associate-+r-_binary64_1376 pow-plus_binary64_1164 pow-prod-up_binary64_148 diff-log_binary64_5626 rem-log-exp_binary64_2165 distribute-rgt-in_binary64_369 cancel-sign-sub-inv_binary64_5500 rem-cube-cbrt_binary64_1806 1-exp_binary64_4214 pow-prod-up_binary64_1171 associate-/r/_binary64_1388 pow1/2_binary64_840 sub-neg_binary64_1435 clear-num_binary64 cos-sum_binary64_894 cbrt-prod_binary64_3860 difference-of-sqr-1_binary64_1753 pow-plus_binary64_1846 pow-plus_binary64_141 unpow3_binary64_2872 log-pow_binary64_2213 distribute-frac-neg_binary64_2087 pow-prod-down_binary64_4241 associate--l+_binary64_5812 rec-exp_binary64_4220 frac-sub_binary64_428 sub-neg_binary64_3140 unpow3_binary64 cosh-undef_binary64_1636 frac-2neg_binary64_5204 clear-num_binary64_5192 *-commutative_binary64_4783 cube-mult_binary64 sqrt-div_binary64_5892 rem-cbrt-cube_binary64_2830 flip--_binary64_5850 associate-*r*_binary64_4451 associate-/l/_binary64_2753 tan-quot_binary64_2965 rem-sqrt-square_binary64_773 pow-plus_binary64_482 1-exp_binary64_5237 distribute-lft-in_binary64_368 frac-add_binary64_3155 asin-acos_binary64_3668 cube-prod_binary64_2493 distribute-lft-out_binary64_1393 unpow3_binary64_3554 prod-exp_binary64_5242 cos-sum_binary64_212 sum-log_binary64_5966 sqr-pow_binary64_2778 frac-2neg_binary64 +-commutative_binary64_5805 rec-exp_binary64_5243 flip3--_binary64_5879 cube-mult_binary64_2836 *-commutative_binary64_4101 sin-sum_binary64_1916 clear-num_binary64_2805 distribute-rgt-out_binary64_1736 frac-add_binary64_1450 cube-mult_binary64_3518 rem-cube-cbrt_binary64_442 rem-cube-cbrt_binary64_3170 pow1/3_binary64_160 sqrt-pow1_binary64_1119 associate-/r/_binary64_2752 pow1/3_binary64_5616 pow-prod-down_binary64_4923 diff-log_binary64_3239 sqrt-pow1_binary64_778 difference-of-sqr--1_binary64_4141 pow1/3_binary64_5957 pow-prod-up_binary64_489 distribute-lft-out--_binary64_1394 sub-neg_binary64_71 pow1/2_binary64_1181 frac-2neg_binary64_2817 pow-pow_binary64_832 associate--l+_binary64 div-sub_binary64_424 sub-neg_binary64_5527
3×	div-sub_binary64_3152 distribute-lft-neg-in_binary64_2422 frac-sub_binary64_1792 1-exp_binary64_463 pow-unpow_binary64_4247 cbrt-div_binary64_4543 distribute-rgt-in_binary64_1733 unswap-sqr_binary64_3797 pow-unpow_binary64_5952 cube-div_binary64_4199 pow2_binary64_841 sqrt-pow1_binary64_1801 pow1/2_binary64_3227 pow1/3_binary64_4593 flip3--_binary64_4174 flip-+_binary64_3121 associate-*r*_binary64_2746 distribute-lft-in_binary64_1732 frac-add_binary64_1791 cube-mult_binary64_1813 log-prod_binary64_1187 div-sub_binary64_765 1-exp_binary64_4896 pow-flip_binary64_5267 sub-neg_binary64_1094 diff-log_binary64_170 unpow3_binary64_1849 pow-exp_binary64_2192 pow-plus_binary64_823 pow1/2_binary64_1863 pow-prod-down_binary64_2877 associate-/l*_binary64_4797 acos-neg_binary64_1625 prod-exp_binary64_2855 cos-diff_binary64_1579 pow1/3_binary64_3570 associate-*l/_binary64_4113 flip3-+_binary64_3150 atan-neg_binary64_2649 rec-exp_binary64_469 pow1/3_binary64_2206 rem-log-exp_binary64_119 diff-log_binary64_4603 +-commutative_binary64_4100 pow-unpow_binary64 cbrt-unprod_binary64_2839 1-exp_binary64_1145 rec-exp_binary64_1151 +-commutative_binary64_2054 rem-sqrt-square_binary64_3160 diff-log_binary64_1193 diff-log_binary64_2216 sqrt-pow1_binary64_3165 distribute-rgt-out_binary64_2077 rec-exp_binary64_4902 pow1/3_binary64_1183 cube-div_binary64_3517 cbrt-prod_binary64_791 pow-unpow_binary64_155 sub-neg_binary64_2117 cbrt-prod_binary64_2155 sum-log_binary64_4261 *-commutative_binary64_3760 associate-/r*_binary64_4796 cos-atan_binary64_2644 cos-diff_binary64_897 distribute-frac-neg_binary64_1405 distribute-rgt-neg-in_binary64_2423 pow-to-exp_binary64_2193 rem-sqrt-square_binary64 associate-/r/_binary64_706 cos-neg_binary64_2596 rem-sqrt-square_binary64_1114 pow-unpow_binary64_4929 pow-prod-up_binary64_830 pow-flip_binary64_1175 pow-sqr_binary64 pow-sqr_binary64_733 pow-flip_binary64_4244 div-sub_binary64_2129 log-prod_binary64_505 flip--_binary64_4145 distribute-lft-out--_binary64_30 associate-*l/_binary64_4795 neg-sub0_binary64_2119 inv-pow_binary64_4255 div-sub_binary64_3834 div-sub_binary64_1106 distribute-lft-neg-out_binary64
2×	inv-pow_binary64_4596 associate-/l/_binary64_1730 cbrt-div_binary64_2838 distribute-rgt-in_binary64_4120 distribute-rgt-in_binary64_4461 rem-cube-cbrt_binary64_101 pow1/2_binary64_5955 rec-exp_binary64_128 associate-*l/_binary64_21 pow-plus_binary64_3551 sub-div_binary64_1449 neg-sub0_binary64_3824 sqrt-pow1_binary64_5893 swap-sqr_binary64_1750 pow3_binary64 sin-mult_binary64_915 pow-sqr_binary64_51 pow2_binary64_1182 associate-+l+_binary64_4103 unpow2_binary64 associate-*r/_binary64_4453 inv-pow_binary64_5278 1-exp_binary64_122 unpow2_binary64_484 associate-/l/_binary64_25 associate-+l+_binary64_2398 associate-/r/_binary64_3093 pow-flip_binary64_2539 cube-mult_binary64_2154 div-sub_binary64_3493 pow2_binary64_500 cbrt-unprod_binary64_5226 cbrt-unprod_binary64_4544 distribute-frac-neg_binary64_3792 unpow3_binary64_5941 pow-pow_binary64_150 sqrt-div_binary64_2482 sqrt-pow1_binary64_2483 sinh-def_binary64_1286 frac-times_binary64_429 pow2_binary64_159 exp-diff_binary64_126 associate-+r+_binary64_3420 pow-sqr_binary64_1074 1-exp_binary64_4555 div-sub_binary64 pow2_binary64_3569 distribute-rgt-in_binary64_3438 pow-prod-up_binary64_3558 distribute-lft-in_binary64_4119 cube-div_binary64_1130 distribute-lft-in_binary64_3437 unpow3_binary64_2190 pow-plus_binary64 cbrt-div_binary64_792 sqrt-div_binary64_95 sqr-pow_binary64_5847 pow-flip_binary64_4585 cube-div_binary64_1812 unswap-sqr_binary64_4479 distribute-lft-in_binary64_4460 cosh-def_binary64_1628 associate--l-_binary64_4790 cube-mult_binary64_5905 frac-times_binary64_4521 sqrt-pow1_binary64_437 rec-exp_binary64_4561 inv-pow_binary64_2550 pow1/2_binary64_2545 associate-+l+_binary64_2057 pow-sqr_binary64_392 pow1/2_binary64_499 associate-/l/_binary64_4117 pow-sqr_binary64_3461 associate--l-_binary64_5813 sin-diff_binary64_896 pow2_binary64 pow2_binary64_1864 sum-log_binary64_4943 rem-sqrt-square_binary64_432 prod-exp_binary64_4560
1×	pow-prod-down_binary64_5264 pow-to-exp_binary64_4239 un-div-inv_binary64_5191 +-commutative_binary64_4782 pow-pow_binary64_4924 sqr-abs_binary64_1457 +-commutative_binary64_1031 associate--l+_binary64_1379 inv-pow_binary64_1186 sinh-undef_binary64_2317 tanh-def-a_binary64_1288 associate-*l*_binary64_2747 associate-+l-_binary64 unpow3_binary64_2531 inv-pow_binary64_1868 associate--r+_binary64 associate--l-_binary64 cbrt-div_binary64_5225 rem-cube-cbrt_binary64_4193 distribute-frac-neg_binary64_723 unpow2_binary64_1507 *-commutative_binary64_2737 distribute-rgt-out--_binary64_4465 +-commutative_binary64_2395 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 pow-pow_binary64_5947 associate-*l/_binary64_3090 associate--r+_binary64_4788 pow-exp_binary64_4920 1-exp_binary64_1827 rem-exp-log_binary64_118 sqrt-unprod_binary64_1803 un-div-inv_binary64_76 frac-sub_binary64_4520 cube-mult_binary64_4200 sqr-pow_binary64_4142 rec-exp_binary64_1833 unpow2_binary64_3212 associate-+r-_binary64_2399 distribute-rgt-neg-out_binary64_2084 pow-flip_binary64_1857 +-commutative_binary64_1372 associate--l+_binary64_1720 cos-diff_binary64_215 sum-log_binary64_1192 *-commutative_binary64_4442 pow-exp_binary64_4238 tanh-undef_binary64_1296 rem-cbrt-cube_binary64_1125 pow-sqr_binary64_3120 sqr-pow_binary64_4824 clear-num_binary64_4851 neg-sub0_binary64_755 *-commutative_binary64_5124 cancel-sign-sub-inv_binary64_5841 exp-prod_binary64_1153 sin-diff_binary64_1919 associate-+r+_binary64_2056 +-commutative_binary64_3418 pow-pow_binary64_4242 pow-plus_binary64_3210 cube-mult_binary64_2495 unpow3_binary64_4236 pow1/3_binary64_3911 associate-/r/_binary64_5139 pow-to-exp_binary64_4921 rem-cbrt-cube_binary64_5899 pow1/3_binary64_842 tanh-def-b_binary64_1289 distribute-rgt1-in_binary64_2080 frac-times_binary64_3157 pow2_binary64_3228 pow1/3_binary64_1524 log-div_binary64_165 pow-prod-up_binary64_3217 pow-exp_binary64_5943 associate--r+_binary64_1378 cos-sum_binary64_1576 rem-log-exp_binary64_460 pow-prod-down_binary64_4582 associate-+l-_binary64_2059 associate-*r/_binary64_2748 associate-*l/_binary64_4454 sub-neg_binary64_5868 associate--l-_binary64_2403 sqr-abs_binary64 un-div-inv_binary64_2804 neg-mul-1_binary64_2461 rem-log-exp_binary64_1142 div-sub_binary64_83 unpow2_binary64_4917 sum-log_binary64_3579 pow-pow_binary64 +-commutative_binary64 pow1/2_binary64_158 associate--l-_binary64_357 sinh-def_binary64_2309 rem-cube-cbrt_binary64_5898 rem-sqrt-square_binary64_1796 associate-*r/_binary64_5135 diff-log_binary64_5967 associate-*l/_binary64_2749 exp-to-pow_binary64_1163 frac-2neg_binary64_4863 pow-to-exp_binary64_5944 exp-to-pow_binary64_140 sin-cos-mult_binary64_916 rem-cbrt-cube_binary64_1466 difference-cubes_binary64_3490 cube-div_binary64_2835 tanh-def-c_binary64_1290

Calls

1316 calls:

269.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))))
69.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (/.f64 (-.f64 x 1) (cbrt.f64 (+.f64 x 1)))))
60.0ms	(/.f64 (-.f64 (*.f64 (/.f64 x (+.f64 x 1)) (/.f64 x (+.f64 x 1))) (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))) (+.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1))))
57.0ms	(-.f64 (+.f64 (/.f64 1 (+.f64 (exp.f64 b) 1)) (/.f64 a (+.f64 (exp.f64 b) 1))) (/.f64 a (pow.f64 (+.f64 (exp.f64 b) 1) 2)))
52.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)))