rewrite8.6s (1%)

Algorithm

191×	rewrite-expression-head

Rules

1658×	add-exp-log_binary64
1401×	times-frac_binary64_2812
1215×	add-exp-log_binary64_6254
1171×	prod-exp_binary64
1090×	*-un-lft-identity_binary64_1783
1066×	times-frac_binary64_1789
986×	add-sqr-sqrt_binary64_2828
904×	*-un-lft-identity_binary64_2806
884×	times-frac_binary64_1107
846×	times-frac_binary64_5881
834×	*-un-lft-identity_binary64_760
827×	times-frac_binary64_766
769×	*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_1805
740×	add-cube-cbrt_binary64_2841
736×	add-cbrt-cube_binary64
722×	*-un-lft-identity_binary64_5875
720×	flip--_binary64_4486 flip3--_binary64_4515
692×	pow-exp_binary64_6284
688×	prod-exp_binary64_6265 frac-times_binary64_4521
652×	sqrt-div_binary64_2482 add-sqr-sqrt_binary64_1123
641×	add-sqr-sqrt_binary64_782
593×	div-exp_binary64_6267
586×	*-un-lft-identity_binary64_1101
578×	add-cube-cbrt_binary64_1136
557×	add-cube-cbrt_binary64_1818
556×	associate-*l/_binary64_4454
480×	sqrt-div_binary64_4528 cbrt-unprod_binary64
472×	frac-add_binary64_4519
465×	add-sqr-sqrt_binary64_5897
450×	add-cube-cbrt_binary64_5910
411×	*-un-lft-identity_binary64_2465
408×	times-frac_binary64_2130
395×	add-cube-cbrt_binary64_795
391×	*-un-lft-identity_binary64_2124
381×	sqrt-prod_binary64_5891
380×	pow1_binary64
368×	add-sqr-sqrt_binary64
352×	add-sqr-sqrt_binary64_441
344×	pow-to-exp_binary64_6285
343×	add-sqr-sqrt_binary64_2146
335×	cbrt-div_binary64_2497
324×	frac-times_binary64_2475
322×	flip3-+_binary64_2468 flip-+_binary64_2439
320×	add-sqr-sqrt_binary64_2487
317×	add-exp-log_binary64_116
309×	*-un-lft-identity_binary64
308×	add-sqr-sqrt_binary64_3169
293×	associate-*r/_binary64_2407
281×	add-exp-log_binary64_1821 add-cube-cbrt_binary64_2159
279×	add-exp-log_binary64_1139
278×	add-cube-cbrt_binary64_2500
277×	times-frac_binary64_2471
272×	add-cbrt-cube_binary64_114
267×	associate-*l/_binary64_2408
266×	associate-*r/_binary64_4453
265×	add-exp-log_binary64_798
262×	distribute-lft-out--_binary64_371 add-cbrt-cube_binary64_1819
255×	times-frac_binary64_425
253×	add-cube-cbrt_binary64_454
247×	cbrt-prod_binary64_450
246×	*-un-lft-identity_binary64_3147
243×	add-cbrt-cube_binary64_1137
242×	distribute-lft-neg-in_binary64_5832 pow-prod-down_binary64 distribute-rgt-neg-in_binary64_5833
230×	pow1_binary64_480
215×	times-frac_binary64
210×	add-cube-cbrt_binary64
204×	*-un-lft-identity_binary64_5534 div-exp_binary64 frac-sub_binary64_2474
202×	add-sqr-sqrt_binary64_5556 add-exp-log_binary64_2844
201×	add-sqr-sqrt_binary64_100
198×	difference-of-squares_binary64_729
189×	associate-/l/_binary64_2412
188×	add-exp-log_binary64_2162
184×	distribute-neg-frac_binary64_2429
179×	add-exp-log_binary64_457
174×	*-un-lft-identity_binary64_6216
172×	sqrt-div_binary64_5892
169×	*-un-lft-identity_binary64_4170
168×	add-cbrt-cube_binary64_2160
165×	associate-/r*_binary64_2750 add-sqr-sqrt_binary64_6238
163×	times-frac_binary64_5540
162×	distribute-lft-out_binary64_5826
160×	add-sqr-sqrt_binary64_1464
154×	add-cbrt-cube_binary64_455 pow1_binary64_139 add-cbrt-cube_binary64_796
153×	distribute-lft-out_binary64_370
151×	distribute-lft-out_binary64_1734
150×	add-cbrt-cube_binary64_2842
148×	distribute-lft-out_binary64_711
144×	*-un-lft-identity_binary64_78
143×	times-frac_binary64_3153 add-cbrt-cube_binary64_2501
141×	add-exp-log_binary64_2503
140×	add-cube-cbrt_binary64_113
139×	prod-exp_binary64_127
136×	associate-/l*_binary64_1046
134×	*-un-lft-identity_binary64_1442 add-cube-cbrt_binary64_1477
132×	cbrt-prod_binary64_791
131×	log-pow_binary64_508
129×	add-sqr-sqrt_binary64_4192
128×	cbrt-prod_binary64_2496
127×	add-cube-cbrt_binary64_3182 pow1_binary64_1503
125×	associate-/r*_binary64_1727 associate-*r*_binary64_1041 associate-*r*_binary64_5815
124×	flip--_binary64_2440 flip3--_binary64_2469 add-exp-log_binary64_1480
123×	add-cbrt-cube_binary64_1478
116×	cbrt-unprod_binary64_111 1-exp_binary64_6260 rec-exp_binary64_6266 pow1_binary64_2526 associate-/r*_binary64_704
115×	add-log-exp_binary64_2845
105×	associate-*l*_binary64_360
104×	cancel-sign-sub-inv_binary64_2772 associate-*l*_binary64
103×	difference-of-squares_binary64_2775
98×	div-inv_binary64_757
97×	add-log-exp_binary64_2504
96×	times-frac_binary64_4176 swap-sqr_binary64_1750 associate-/r*_binary64_5819 pow-exp_binary64
95×	pow1_binary64_1162
94×	add-cube-cbrt_binary64_5569
93×	associate-*r*_binary64
92×	pow1_binary64_821
91×	sqrt-prod_binary64_2481 div-exp_binary64_1834
89×	difference-of-squares_binary64_1752
88×	associate-*r*_binary64_1723
87×	swap-sqr_binary64_386
86×	div-exp_binary64_1152
85×	flip3-+_binary64_5878 flip-+_binary64_5849 add-log-exp_binary64_1822
83×	cbrt-undiv_binary64_1817
82×	div-exp_binary64_811
80×	add-log-exp_binary64_2163 pow1_binary64_1844
78×	pow1_binary64_4572 prod-exp_binary64_809 associate-*r/_binary64_5817
77×	pow1_binary64_2867 times-frac_binary64_6222
74×	sqrt-prod_binary64_776 add-cube-cbrt_binary64_6251 add-log-exp_binary64_117
73×	cos-mult_binary64_4665 associate-*r*_binary64_18
71×	times-frac_binary64_84 log-prod_binary64_6302
70×	cbrt-undiv_binary64_1135 add-log-exp_binary64_1481 div-inv_binary64_1098 associate-/l*_binary64_1728
69×	cbrt-undiv_binary64 cbrt-prod_binary64_1814 unpow-prod-down_binary64_2885 div-exp_binary64_2175
68×	add-exp-log_binary64_4890 flip3--_binary64 associate-*l/_binary64_5818 flip--_binary64 difference-of-squares_binary64_3116 add-cbrt-cube_binary64_4888
67×	difference-of-squares_binary64_5503 add-log-exp_binary64_458
66×	distribute-lft-out--_binary64_1735 add-sqr-sqrt_binary64_5215
65×	associate-*r*_binary64_359
64×	frac-add_binary64_5883 log-prod_binary64_4256 cbrt-unprod_binary64_1816 unpow-prod-down_binary64_2544 prod-exp_binary64_1832 unpow-prod-down_binary64_839
63×	add-exp-log_binary64_3185 associate-/r*_binary64_1045 div-inv_binary64_1780 associate-/l*_binary64_2069 add-cube-cbrt_binary64_4205
62×	add-log-exp_binary64 associate-*l*_binary64_1042 pow1_binary64_5936 difference-of-squares_binary64 associate-*r*_binary64_2746 prod-exp_binary64_1150 associate-*l*_binary64_1724 distribute-neg-frac_binary64_5839
61×	associate-*l*_binary64_19 pow1_binary64_2185
60×	sqrt-prod_binary64_2822 cancel-sign-sub-inv_binary64 cube-prod_binary64_2493 cancel-sign-sub-inv_binary64_1749
59×	distribute-lft-out_binary64_2416 *-un-lft-identity_binary64_3488 associate-/l*_binary64_2410
58×	unpow2_binary64_825 *-un-lft-identity_binary64_4511 div-exp_binary64_2857 sqr-pow_binary64_732 add-log-exp_binary64_3186 sqrt-prod_binary64
56×	cbrt-undiv_binary64_2158 add-exp-log_binary64_4549 add-cbrt-cube_binary64_4547 add-sqr-sqrt_binary64_4533 distribute-lft-out--_binary64_2758
55×	add-log-exp_binary64_1140 associate-/r*_binary64_2068
54×	associate-*r*_binary64_1382 associate-*r*_binary64_700 associate-*l/_binary64
53×	associate-+r+_binary64_2738 frac-times_binary64
52×	cancel-sign-sub-inv_binary64_6182 cbrt-unprod_binary64_1134 div-inv_binary64_2803
51×	add-cbrt-cube_binary64_3183 log-prod_binary64_2892
50×	associate-/l*_binary64_705 associate-/r/_binary64_2411
49×	pow-to-exp_binary64 cube-prod_binary64_2834 associate-/r*_binary64_2409
48×	add-log-exp_binary64_799 associate-*l*_binary64_1383 associate-*r*_binary64_3087
47×	sqrt-prod_binary64_1117 associate-/r*_binary64_363 add-sqr-sqrt_binary64_4874 pow-prod-down_binary64_149
46×	add-cbrt-cube_binary64_5911 div-exp_binary64_129 add-exp-log_binary64_5913 *-un-lft-identity_binary64_5193 associate-/l*_binary64_364 pow1_binary64_6277
45×	difference-of-squares_binary64_6185 associate-/r/_binary64_5821
44×	distribute-lft-neg-in_binary64_717 distribute-rgt-neg-in_binary64_718
43×	div-inv_binary64_2121
42×	associate-/r*_binary64 add-cube-cbrt_binary64_4546
41×	difference-of-sqr-1_binary64_1753 associate-*l*_binary64_701
40×	cbrt-undiv_binary64_794 associate-/r/_binary64_1729 div-exp_binary64_470 prod-exp_binary64_2855 frac-times_binary64_5885
39×	*-un-lft-identity_binary64_4852 associate-*r*_binary64_4451 add-exp-log_binary64_5572 associate-/l*_binary64_5820
38×	cbrt-undiv_binary64_2840 prod-exp_binary64_468 swap-sqr_binary64_727
37×	add-sqr-sqrt_binary64_3510 pow1_binary64_3208 distribute-lft-out--_binary64_5486
36×	associate-*l*_binary64_5475 add-cbrt-cube_binary64_6252 add-exp-log_binary64_5231 add-cbrt-cube_binary64_5229 difference-of-squares_binary64_4139 unpow-prod-down_binary64_6295
35×	associate-/r*_binary64_3091 cbrt-unprod_binary64_452 times-frac_binary64_3494
34×	associate-/l/_binary64_707 cancel-sign-sub-inv_binary64_2090 associate-*r*_binary64_2064 flip--_binary64_5850 associate-/r/_binary64_2070 cbrt-undiv_binary64_112 flip3--_binary64_5879
33×	add-cube-cbrt_binary64_4887 neg-mul-1_binary64_5871 cbrt-div_binary64_792 associate-*r/_binary64_702 cbrt-prod_binary64_1473 sqrt-div_binary64_777
32×	distribute-lft-neg-in_binary64_2422 cbrt-prod_binary64_2155 distribute-rgt-neg-in_binary64_2423 add-log-exp_binary64_5232
31×	distribute-lft-out--_binary64 associate-*r/_binary64 prod-exp_binary64_2173 times-frac_binary64_4858 distribute-rgt-in_binary64 distribute-rgt-out_binary64_713 cbrt-unprod_binary64_793 sqrt-prod_binary64_3163 distribute-lft-in_binary64
30×	add-cube-cbrt_binary64_5228 distribute-lft-out_binary64_2075 cancel-sign-sub-inv_binary64_5500 div-exp_binary64_2516 flip3-+_binary64_763 associate-/l/_binary64_5822 flip-+_binary64_734 sqrt-prod_binary64_2140 cbrt-undiv_binary64_2499 sqrt-prod_binary64_435 cancel-sign-sub-inv_binary64_44 pow1_binary64_5254
29×	distribute-lft-out--_binary64_3099 cbrt-unprod_binary64_1475 cancel-sign-sub-inv_binary64_3113 frac-add_binary64_768 pow-prod-down_binary64_1513 cbrt-unprod_binary64_2157 cbrt-undiv_binary64_453 prod-exp_binary64_1491 associate-/l*_binary64_2751
28×	associate-*l*_binary64_2747 add-exp-log_binary64_4208 distribute-lft-out_binary64_2757
27×	add-cbrt-cube_binary64_5570 unswap-sqr_binary64_1069 sqr-pow_binary64_2778 add-sqr-sqrt_binary64_3851
26×	associate-/r/_binary64_1047 associate--l+_binary64_6153 associate-*l*_binary64_6157 distribute-lft-out--_binary64_6168 sqrt-pow1_binary64_2483 cancel-sign-sub-inv_binary64_385 times-frac_binary64_4517 cbrt-unprod_binary64_2839 tan-quot_binary64_919 associate--r+_binary64_6152 distribute-lft-out_binary64_4121
25×	distribute-lft-out--_binary64_712 unpow-prod-down_binary64_498 div-inv_binary64_416 flip-+_binary64_2098 flip3-+_binary64_2127 associate-/r*_binary64_5478 difference-of-squares_binary64_2093 pow-prod-down_binary64_4582
24×	unpow3_binary64_1849 unswap-sqr_binary64_387 cube-prod_binary64_1811 unpow-prod-down_binary64_1862 unswap-sqr_binary64 associate-*r*_binary64_2405
23×	pow-prod-down_binary64_490 flip3--_binary64_423 pow-prod-down_binary64_5946 add-cube-cbrt_binary64_3523 difference-of-squares_binary64_388 add-log-exp_binary64_4550 distribute-lft-out--_binary64_2076 flip--_binary64_394 frac-times_binary64_770 associate-*r/_binary64_20 pow1_binary64_5595
22×	difference-of-squares_binary64_2434 flip3--_binary64_2810 associate-/r/_binary64_5480 cbrt-unprod_binary64_4544 cbrt-unprod_binary64_2498 sqrt-div_binary64_2141 flip--_binary64_2781 sum-log_binary64_2897 cube-prod_binary64_1470 prod-exp_binary64_2514 add-log-exp_binary64_6255 unpow-prod-down_binary64_1521 prod-exp_binary64_4560
21×	exp-prod_binary64_1494 flip3-+_binary64 associate-*l/_binary64_703 flip3--_binary64_1787 cbrt-unprod_binary64_4885 unpow-prod-down_binary64_2203 associate-*l*_binary64_3088 associate-/r/_binary64_365 associate-*r/_binary64_361 prod-exp_binary64_4901 pow-prod-down_binary64_1172 flip--_binary64_1758 flip-+_binary64
20×	frac-2neg_binary64_1794 sqrt-prod_binary64_5209 clear-num_binary64_1782 associate-/r/_binary64_706 unswap-sqr_binary64_46 pow1/2_binary64_2545
19×	associate-*l/_binary64_362 flip3--_binary64_2128 cbrt-div_binary64_451 log-div_binary64_2893 cancel-sign-sub-inv_binary64_2431 flip-+_binary64_2780 flip3-+_binary64_1786 flip-+_binary64_1757 cbrt-undiv_binary64_4886 clear-num_binary64_1100 frac-2neg_binary64_1112 flip--_binary64_2099 flip3-+_binary64_2809 div-inv_binary64_2462 cosh-undef_binary64_613 associate-*r*_binary64_3769 *-commutative_binary64 div-exp_binary64_4903
18×	sqrt-pow1_binary64_5893 log-div_binary64_6303 frac-add_binary64 pow-unpow_binary64_1519 associate-/l*_binary64 *-commutative_binary64_1373 distribute-lft-out--_binary64_4122 associate-*r/_binary64_1725 flip--_binary64_3122 rem-sqrt-square_binary64_2478 flip3--_binary64_3151 associate-/l*_binary64_3092 diff-log_binary64_2898 log-pow_binary64_6305 cbrt-div_binary64_5566
17×	distribute-neg-frac_binary64_724 *-commutative_binary64_1032 unpow-prod-down_binary64 pow1_binary64_4913 associate-*r/_binary64_2066 pow-prod-down_binary64_2536
16×	difference-of-squares_binary64_5162 frac-sub_binary64_1792 unpow-prod-down_binary64_3226 unswap-sqr_binary64_3115 unpow-prod-down_binary64_157 distribute-lft-out_binary64_6167 frac-2neg_binary64_771 cos-sum_binary64_212 associate-*r/_binary64_6158 difference-of-squares_binary64_47 clear-num_binary64_759 sin-diff_binary64_1578 add-log-exp_binary64_5914 log-pow_binary64_1531 add-cbrt-cube_binary64_4206
15×	*-commutative_binary64_9 distribute-lft-out_binary64_3098 add-exp-log_binary64_3867 associate-*l*_binary64_4111 log-prod_binary64_1528 div-sub_binary64_1447 pow-exp_binary64_828 unpow3_binary64_2872 associate-/l/_binary64_1048 add-log-exp_binary64_5573 *-un-lft-identity_binary64_3829 cancel-sign-sub-inv_binary64_5159 associate-/l*_binary64_5479 clear-num_binary64_2123 cube-mult_binary64_2836 div-inv_binary64 log-prod_binary64_846 frac-2neg_binary64_2135
14×	sqrt-div_binary64_436 sub-neg_binary64 flip3-+_binary64_422 cancel-sign-sub-inv_binary64_1408 add-exp-log_binary64_3526 flip-+_binary64_6190 sub-neg_binary64_2799 diff-log_binary64_2216 prod-exp_binary64_3196 add-cbrt-cube_binary64_3524 flip-+_binary64_393 sqr-pow_binary64_5506 cbrt-prod_binary64_109 flip3-+_binary64_6219 pow-prod-up_binary64 unpow-prod-down_binary64_5613
13×	unswap-sqr_binary64_728 clear-num_binary64_418 add-log-exp_binary64_4891 pow1/3_binary64_501 distribute-frac-neg_binary64_723 flip3--_binary64_6220 frac-2neg_binary64_430 sin-cos-mult_binary64_1598 flip--_binary64_6191 add-cube-cbrt_binary64_3864 cube-prod_binary64_4880 unpow-prod-down_binary64_4931 add-log-exp_binary64_3527 distribute-rgt-out_binary64_1736 log-prod_binary64_505 unswap-sqr_binary64_2774 unswap-sqr_binary64_1410
12×	flip3--_binary64_5197 associate-*r*_binary64_6156 flip--_binary64_5168 pow1_binary64_4231 cube-prod_binary64_447 diff-log_binary64_1875 associate-/l*_binary64_5138 unpow2_binary64_143 sqr-pow_binary64_50 associate-/r/_binary64_3093 distribute-lft-neg-out_binary64_719 sin-mult_binary64_1597 div-inv_binary64_6213 flip-+_binary64_5508 *-commutative_binary64_350 sqrt-prod_binary64_1799 pow1/3_binary64_842 sqrt-div_binary64_2823 times-frac_binary64_5199 associate--l+_binary64_2061 cos-sum_binary64_1576 sin-sum_binary64_211 associate-/r*_binary64_4114 frac-sub_binary64_2133 sqrt-prod_binary64_4527 flip--_binary64_735 flip3--_binary64_764 flip3--_binary64_1105 flip--_binary64_1076
11×	div-inv_binary64_5531 distribute-lft-out_binary64_3439 associate-/r/_binary64 associate-*l/_binary64_21 diff-log_binary64_2557 distribute-rgt-neg-out_binary64 flip3-+_binary64_5537 cosh-undef_binary64_3682 div-exp_binary64_5585 div-inv_binary64_5872 frac-2neg_binary64_2476 sub-neg_binary64_3140 sub-neg_binary64_2458 neg-mul-1_binary64_756 sub-neg_binary64_2117 sub-neg_binary64_1776 pow-flip_binary64_5608 associate-/r/_binary64_2752 unswap-sqr_binary64_1751 clear-num_binary64_2464 sqr-pow_binary64
10×	associate-/l/_binary64 associate-/r*_binary64_3432 cbrt-unprod_binary64_5908 cos-mult_binary64_1596 associate-*r*_binary64_4792 pow-exp_binary64_146 pow1/3_binary64_1865 distribute-lft-out_binary64_5485 prod-exp_binary64_5924 clear-num_binary64_2805 add-log-exp_binary64_4209 associate-*r*_binary64_4110 frac-2neg_binary64_2817 sqrt-div_binary64
9×	associate-*r/_binary64_1384 add-log-exp_binary64_3868 associate-/l/_binary64_1730 cbrt-prod_binary64_5565 frac-times_binary64_1452 pow-to-exp_binary64_829 flip--_binary64_5509 pow1/2_binary64_5955 difference-of-squares_binary64_1070 flip-+_binary64_3121 difference-of-sqr-1_binary64_3117 frac-sub_binary64_87 pow1/2_binary64 add-cbrt-cube_binary64_3865 associate-*l*_binary64_4452 sqr-pow_binary64_391 pow-unpow_binary64_837 flip3-+_binary64_3150 sqrt-pow1_binary64 distribute-lft-out--_binary64_2417 distribute-rgt1-in_binary64_716 pow-unpow_binary64_2201 sub-neg_binary64_6209 tan-quot_binary64_1260 div-sub_binary64_2129 pow-prod-down_binary64_831 pow1/3_binary64_5616 diff-log_binary64_3239 sub-neg_binary64_71 associate-*l*_binary64_5816
8×	frac-times_binary64_1793 cbrt-undiv_binary64_5909 unpow3_binary64_2531 sqr-pow_binary64_2437 distribute-rgt-in_binary64_369 sqr-pow_binary64_1755 associate-/r/_binary64_6162 distribute-lft-out_binary64_4462 pow-prod-down_binary64_1854 cube-mult_binary64_1813 clear-num_binary64 swap-sqr_binary64_3114 distribute-lft-in_binary64_6165 cbrt-unprod_binary64_5226 associate-/l*_binary64_4115 associate-/l*_binary64_4797 associate-*l/_binary64_1726 frac-times_binary64_429 sqrt-div_binary64_5210 unpow-prod-down_binary64_4249 associate-/r/_binary64_4116 div-exp_binary64_5926 cube-mult_binary64_2495 1-exp_binary64_1145 rec-exp_binary64_1151 distribute-lft-in_binary64_368 unpow-prod-down_binary64_3908 sqr-pow_binary64_1414 distribute-lft-out--_binary64_5145 prod-exp_binary64_5242 frac-2neg_binary64 cube-mult_binary64_1472 unpow3_binary64_1508 frac-sub_binary64_2815 cbrt-unprod_binary64_6249 cube-div_binary64_2494 neg-mul-1_binary64_2461 flip3--_binary64_5538 log-prod_binary64_2551 distribute-rgt-in_binary64_6166 log-pow_binary64_2895 cube-prod_binary64_3175 *-commutative_binary64_691 sqr-pow_binary64_3119 div-inv_binary64_75 frac-times_binary64_88
7×	difference-of-squares_binary64_3457 sub-neg_binary64_5186 sub-neg_binary64_412 unswap-sqr_binary64_3797 rem-cube-cbrt_binary64_1465 +-commutative_binary64_2395 diff-log_binary64_5285 sum-log_binary64_2556 exp-sum_binary64_2511 unpow2_binary64 log-prod_binary64_3233 pow1_binary64_3549 associate-*l*_binary64_2406 associate-*r/_binary64_1043 cos-diff_binary64_1579 associate-/l*_binary64_3433 rem-log-exp_binary64_2847 associate-*l*_binary64_2065 pow1/3_binary64_2547 associate-/l*_binary64_23 pow-exp_binary64_1510 unpow-prod-down_binary64_1180 difference-of-sqr-1_binary64_5504 cancel-sign-sub-inv_binary64_1067 distribute-lft-out--_binary64_3440 associate--l+_binary64_2743 associate-*r/_binary64_2748 log-pow_binary64_3236 diff-log_binary64_511 unswap-sqr_binary64_4138 cbrt-undiv_binary64_5568 +-commutative_binary64_2736 sinh-undef_binary64_3681 pow-pow_binary64_1514 sum-log_binary64_3238
6×	pow-prod-down_binary64_5264 exp-prod_binary64_3199 pow-exp_binary64_2874 acos-asin_binary64_1623 pow1/2_binary64_2886 log-div_binary64_2552 cbrt-undiv_binary64_3181 difference-of-squares_binary64_4821 clear-num_binary64_3146 distribute-rgt-neg-in_binary64_6174 associate--l-_binary64_6154 flip-+_binary64_4485 cbrt-unprod_binary64_3180 *-commutative_binary64_2737 distribute-lft-neg-in_binary64_6173 flip3-+_binary64_4514 distribute-lft-out_binary64 sub-neg_binary64_1435 flip-+_binary64_1416 flip3-+_binary64_1445 rec-exp_binary64_2856 difference-of-sqr-1_binary64_389 prod-exp_binary64_4219 sqrt-pow1_binary64_2824 prod-exp_binary64_3878 associate-*l*_binary64_3770 exp-prod_binary64_2517 cos-diff_binary64_215 difference-of-sqr-1_binary64 pow-prod-down_binary64_2877 frac-sub_binary64 div-inv_binary64_4849 sum-log_binary64_510 div-inv_binary64_3144 pow-unpow_binary64_2542 pow-to-exp_binary64_2875 associate-*r*_binary64_5133 rem-sqrt-square_binary64_2819 *-commutative_binary64_1714 1-exp_binary64_2850 +-commutative_binary64_2054 *-commutative_binary64_3078 +-commutative_binary64_3077 frac-times_binary64_5544 associate--r-_binary64_6155 unswap-sqr_binary64_4479 div-exp_binary64_3198 pow-prod-up_binary64_830 sum-log_binary64_2215 associate-+r+_binary64_10 frac-add_binary64_1450 pow-sqr_binary64_733 pow1/3_binary64_160 cbrt-prod_binary64_1132 frac-2neg_binary64_3158 pow-pow_binary64_6288 associate-/l/_binary64_2071 pow-unpow_binary64_6293 exp-sum_binary64_1488 pow-to-exp_binary64_1511
5×	pow-prod-up_binary64_4581 pow-to-exp_binary64_147 pow1/2_binary64_2204 pow2_binary64_841 diff-log_binary64_6308 pow-prod-up_binary64_148 pow-prod-down_binary64_2195 frac-add_binary64_1791 distribute-rgt-in_binary64_1392 pow-pow_binary64_2196 log-pow_binary64_2554 sub-neg_binary64_1094 rem-sqrt-square_binary64_5888 sqrt-pow1_binary64_2142 pow-plus_binary64_141 pow-plus_binary64_823 *-commutative_binary64_4442 associate-*l/_binary64_1385 frac-2neg_binary64_5545 acos-asin_binary64_2305 prod-exp_binary64_5583 distribute-lft-in_binary64_3096 distribute-lft-in_binary64_1391 sum-log_binary64_1874 rem-sqrt-square_binary64_2137 clear-num_binary64_5533 asin-acos_binary64_1622 pow1/3_binary64_1524 associate-/r*_binary64_4796 associate--r+_binary64_355 1-exp_binary64_2168 distribute-rgt-in_binary64_3097 pow1_binary64_3890 pow-sqr_binary64_4484
4×	associate--r+_binary64_2401 frac-2neg_binary64_5886 exp-prod_binary64_4222 associate--r-_binary64_2404 pow-exp_binary64_3215 sin-sum_binary64_1575 +-commutative_binary64_1713 cbrt-undiv_binary64_6250 exp-sum_binary64_3193 flip3--_binary64_4174 associate-*r*_binary64_5474 rem-log-exp_binary64_4211 cube-mult_binary64_449 1-exp_binary64_1827 sqr-pow_binary64_4142 rec-exp_binary64_1833 swap-sqr_binary64_4478 clear-num_binary64_5874 cube-prod_binary64_3857 pow-to-exp_binary64_3216 cancel-sign-sub-inv_binary64_4818 pow-pow_binary64_2878 rec-exp_binary64_5584 flip3-+_binary64_3491 cbrt-undiv_binary64_5227 pow-prod-down_binary64_6287 sqrt-pow1_binary64_5211 cube-prod_binary64_4198 pow1/2_binary64_5273 associate-+l+_binary64 log-div_binary64_506 sqr-pow_binary64_3801 div-inv_binary64_4167 pow1/3_binary64_2206 associate-*l*_binary64_4793 div-exp_binary64_5244 associate-/l/_binary64_5140 associate-+r+_binary64_6148 cos-atan_binary64_1280 sqrt-div_binary64_1800 rem-sqrt-square_binary64_5206 log-pow_binary64_4259 1-exp_binary64_5578 div-sub_binary64_2470 cbrt-div_binary64_2156 frac-times_binary64_3157 unpow-prod-down_binary64_5954 unswap-sqr_binary64_5843 frac-add_binary64_2814 flip-+_binary64_3462 associate-+r-_binary64_2058 cos-atan_binary64_939 rec-exp_binary64_810 associate-*r/_binary64_5476 unpow3_binary64_485 pow-to-exp_binary64_1852 sqrt-pow1_binary64_437 unswap-sqr_binary64_6184 pow-exp_binary64_1851 flip--_binary64_4145 pow1/2_binary64_4591 pow-prod-down_binary64_4923 pow1/2_binary64_499 difference-of-sqr-1_binary64_2094 associate-/l/_binary64_4117 rem-sqrt-square_binary64_4524 pow-prod-up_binary64_489 associate-*r/_binary64_3089 cbrt-undiv_binary64_4545 atan-neg_binary64_944 1-exp_binary64_804 div-exp_binary64_4221 pow-exp_binary64_487 associate-/r/_binary64_3434 div-exp_binary64_4562 frac-add_binary64_6224 cos-neg_binary64_891 *-commutative_binary64_6147 exp-sum_binary64_4216 distribute-frac-neg_binary64_5838 sqrt-pow1_binary64_4529 sub-neg_binary64_5527
3×	associate-*l/_binary64_5477 distribute-lft-out--_binary64_4804 +-commutative_binary64_8 sum-log_binary64_4602 exp-prod_binary64_2858 1-exp_binary64_463 cancel-sign-sub-inv_binary64_3795 flip3--_binary64_4856 associate--l+_binary64_356 rem-cube-cbrt_binary64_2488 flip--_binary64_53 pow-exp_binary64_2533 pow-plus_binary64_4574 swap-sqr_binary64 associate-/l/_binary64_3435 diff-log_binary64 *-commutative_binary64_2396 unswap-sqr_binary64_2092 flip-+_binary64_52 div-sub_binary64_765 rem-log-exp_binary64_6257 pow-sqr_binary64_51 swap-sqr_binary64_45 distribute-lft-in_binary64_2755 sqrt-prod_binary64_4868 associate-/l/_binary64_4799 associate--r+_binary64_1719 distribute-rgt-in_binary64_28 rem-log-exp_binary64_1483 pow-flip_binary64_1857 unpow2_binary64_1166 pow-exp_binary64_2192 *-commutative_binary64_2055 distribute-frac-neg_binary64_2087 inv-pow_binary64_5619 flip--_binary64_4827 sin-diff_binary64_214 acos-neg_binary64_2307 pow-unpow_binary64_496 distribute-rgt1-in_binary64_1739 cancel-sign-sub-inv_binary64_3454 sum-log_binary64 clear-num_binary64_4851 distribute-lft-out--_binary64_1053 pow-prod-down_binary64_5605 flip-+_binary64_4144 flip3-+_binary64_1104 associate-/l/_binary64_2753 pow2_binary64_159 distribute-lft-in_binary64_27 rec-exp_binary64_469 pow-unpow_binary64_2883 pow-unpow_binary64 flip3-+_binary64_4173 sqr-pow_binary64_2096 pow-to-exp_binary64_488 frac-times_binary64_2816 diff-log_binary64_1193 log-div_binary64_847 cbrt-unprod_binary64_5567 flip-+_binary64_1075 pow-unpow_binary64_155 div-sub_binary64_5880 associate-*r/_binary64_4794 unpow2_binary64_2871 pow-to-exp_binary64_2193 rem-sqrt-square_binary64 rem-sqrt-square_binary64_1114 pow-unpow_binary64_4929 pow-flip_binary64_1175 associate--l-_binary64_2062 sqrt-pow1_binary64_1119 div-exp_binary64_3539 cbrt-undiv_binary64_3522 flip3--_binary64_82 sqr-pow_binary64_1073 *-commutative_binary64_5806 pow-unpow_binary64_1178 associate-*l/_binary64_2749 +-commutative_binary64_349 frac-2neg_binary64_4863 pow1/2_binary64_1181 pow-pow_binary64_832 sum-log_binary64_169 flip3-+_binary64_81 distribute-rgt-in_binary64_2756 distribute-lft-neg-out_binary64
2×	pow-to-exp_binary64_4239 cbrt-div_binary64_110 pow-to-exp_binary64_2534 distribute-rgt-in_binary64_1733 neg-sub0_binary64_5870 cube-mult_binary64_3177 rem-cube-cbrt_binary64_4875 distribute-lft-neg-out_binary64_6175 div-sub_binary64_1788 inv-pow_binary64_1186 distribute-rgt-neg-out_binary64_5835 diff-log_binary64_5626 flip3--_binary64_3492 inv-pow_binary64_1868 sqrt-pow1_binary64_1801 frac-2neg_binary64_3499 distribute-lft-in_binary64_1732 pow-pow_binary64_491 pow3_binary64 associate-*l/_binary64_3090 diff-log_binary64_170 +-commutative_binary64_4441 pow-exp_binary64_4920 flip3--_binary64_1446 rem-exp-log_binary64_1482 flip-+_binary64_5167 frac-2neg_binary64_89 pow-plus_binary64_1846 pow-to-exp_binary64_3898 distribute-lft-in_binary64_1050 clear-num_binary64_4169 pow-prod-up_binary64_5604 cbrt-unprod_binary64_4203 pow-exp_binary64_3897 clear-num_binary64_77 flip--_binary64_3463 pow-prod-down_binary64_3218 unswap-sqr_binary64_5502 associate-+l+_binary64_6149 log-div_binary64_4257 associate-/r*_binary64_5137 pow1/2_binary64_1863 frac-2neg_binary64_4181 unpow3_binary64_3213 div-inv_binary64_5190 pow-exp_binary64_4238 sub-neg_binary64_4845 inv-pow_binary64_845 frac-sub_binary64_428 distribute-frac-neg_binary64_2428 frac-2neg_binary64_5204 clear-num_binary64_5192 associate-+r-_binary64_4445 associate-/l/_binary64_366 pow-pow_binary64_150 pow-flip_binary64_834 *-commutative_binary64_4783 associate--l-_binary64_2744 associate-+r+_binary64_4443 sqrt-div_binary64_3164 *-commutative_binary64_5124 pow-exp_binary64_1169 flip3-+_binary64_5196 flip--_binary64_1417 +-commutative_binary64_3418 pow-sqr_binary64_1756 distribute-lft-in_binary64_5483 pow-sqr_binary64_5507 pow-flip_binary64_6290 diff-log_binary64_1534 unswap-sqr_binary64_2433 associate-/r*_binary64_22 exp-diff_binary64_1490 cos-diff_binary64_2261 clear-num_binary64_3487 associate-*l*_binary64_5134 sqr-pow_binary64_6188 pow1/3_binary64_1183 cbrt-undiv_binary64_4204 pow-pow_binary64_2537 frac-times_binary64_1111 sin-mult_binary64_233 *-commutative_binary64_3760 sinh-def_binary64_3673 rem-log-exp_binary64_460 associate-*l/_binary64_1044 neg-mul-1_binary64_6212 *-commutative_binary64_4101 pow-to-exp_binary64_1170 cube-div_binary64_4881 distribute-rgt-in_binary64_1051 diff-log_binary64_4944 cbrt-unprod_binary64_3862 sum-log_binary64_3579 pow-sqr_binary64_392 pow2_binary64_4592 rem-sqrt-square_binary64_1796 rem-exp-log_binary64_2505 rem-cbrt-cube_binary64_2489 distribute-lft-out--_binary64_30 inv-pow_binary64_6301 sub-div_binary64_85 div-inv_binary64_4508 cos-sum_binary64_4645 div-inv_binary64_3485 pow2_binary64_1864 div-sub_binary64_1106 rem-cbrt-cube_binary64_1466 neg-sub0_binary64_2460 pow-prod-up_binary64_1853 div-sub_binary64_5198 distribute-rgt-in_binary64_5484
1×	associate-+r-_binary64_2740 flip3-+_binary64_3832 pow2_binary64_5615 distribute-rgt-out--_binary64_2760 pow-pow_binary64_4924 sqr-abs_binary64_93 sinh-def_binary64_4014 associate-/r*_binary64_6160 flip--_binary64_3804 unswap-sqr_binary64_4820 sum-log_binary64_851 distribute-lft-out--_binary64_3781 associate-+l-_binary64 distribute-lft-out--_binary64_5827 clear-num_binary64_6215 associate--r+_binary64_2742 cbrt-prod_binary64_4883 cancel-sign-sub-inv_binary64_726 unpow3_binary64_3895 flip-+_binary64_3803 pow1/2_binary64_840 div-sub_binary64_4857 pow-plus_binary64_5597 pow-pow_binary64_1173 cube-mult_binary64_3859 rem-log-exp_binary64_3188 cancel-sign-sub-inv_binary64_4477 frac-sub_binary64_5543 cube-mult_binary64_4200 unpow3_binary64_4918 unpow2_binary64_484 cbrt-div_binary64_1815 diff-log_binary64_3580 associate-+l+_binary64_2739 inv-pow_binary64_504 cube-div_binary64_1471 associate--r-_binary64_358 *-commutative_binary64_5465 div-sub_binary64_3493 sub-neg_binary64_3822 tanh-def-a_binary64_3675 pow2_binary64_500 sin-mult_binary64_4666 prod-exp_binary64_3537 distribute-rgt-in_binary64_5825 tanh-def-c_binary64_3677 sum-log_binary64_6307 pow-sqr_binary64_3120 +-commutative_binary64_5123 sqr-pow_binary64_4824 distribute-lft-in_binary64_5824 neg-sub0_binary64_755 tanh-def-b_binary64_3676 +-commutative_binary64_6146 log-pow_binary64_849 cbrt-unprod_binary64_3521 frac-2neg_binary64_6227 rem-sqrt-square_binary64_773 pow-plus_binary64_482 associate-/l*_binary64_6161 diff-log_binary64_4603 exp-diff_binary64_3195 +-commutative_binary64_4100 pow-plus_binary64_3210 unpow3_binary64_4236 associate-*r/_binary64_3430 pow-flip_binary64_2880 +-commutative_binary64_690 pow-to-exp_binary64_4921 pow1/3_binary64_4934 cbrt-div_binary64_4884 sinh-undef_binary64_4022 diff-log_binary64_852 pow-plus_binary64 pow-flip_binary64_493 pow2_binary64_3228 +-commutative_binary64_3759 associate-+r-_binary64_353 cos-sum_binary64_2258 pow-prod-up_binary64_3217 rem-log-exp_binary64_801 sum-log_binary64_4261 sub-neg_binary64_4504 sum-log_binary64_3920 tanh-undef_binary64_3683 inv-pow_binary64_2891 pow-flip_binary64_2198 sqrt-unprod_binary64_439 unpow2_binary64_2189 associate--l+_binary64_3084 sum-log_binary64_5284 pow-sqr_binary64 sqr-abs_binary64 un-div-inv_binary64_2804 cube-mult_binary64_4882 rem-exp-log_binary64_4210 sub-neg_binary64_753 pow-pow_binary64 +-commutative_binary64 log-div_binary64_1529 sqrt-pow1_binary64_778 mul0-rgt_binary64 sqr-cos-a_binary64_4660 pow3_binary64_502 frac-add_binary64_2132 un-div-inv_binary64_758 inv-pow_binary64_2209 rem-log-exp_binary64_2506 pow2_binary64 sub-neg_binary64_3481 exp-diff_binary64_2513 difference-of-squares_binary64_3798 associate--l+_binary64 diff-log_binary64_3921 log-div_binary64_3234 rec-exp_binary64_2174 div-sub_binary64_2811 rem-sqrt-square_binary64_432 sin-cos-mult_binary64_234 flip3--_binary64_3833

Calls

661 calls:

286.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))))
73.0ms	(-.f64 (/.f64 (/.f64 2 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1)
63.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))))
61.0ms	(*.f64 (cbrt.f64 (-.f64 (log.f64 2) (+.f64 (/.f64 3/32 (pow.f64 x 4)) (-.f64 (/.f64 1/4 (*.f64 x x)) (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 2) (+.f64 (/.f64 3/32 (pow.f64 x 4)) (-.f64 (/.f64 1/4 (*.f64 x x)) (log.f64 x))))))
58.0ms	(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (-.f64 (+.f64 A C) (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B)))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))) (cbrt.f64 (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (*.f64 B B))))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))